GRUPOS DE PONTOS COMO PRODUTOS SEMI-DIRETOS 217

1. INTRODUÇÃO
Um dos maiores problemas no estudo das simetrias dos grupos de pontos consiste na derivação de
funções que pertencem às representações irredutíveis desses grupos, que devemos chamar, segundo
Melvin (1956), funções adaptadas à simetria. Para fazer isso deve-se usar alguns Simétricos bem
conhecidos ou operadores de projeção que será descrita mais tarde neste artigo. Quando as funções em
questão são harmônicas esféricas-que são necessárias em uma variedade de problemas, tais como
cálculos celulares e metais ou o estudo de híbridos moleculares - a aplicação desses operadores para os
grupos de ponto pode ser feita de forma sistemática e simples, como mostrado por Altmann (1957). No
entanto, o uso dos operadores Simétricos pode ser bastante cansativo nos casos mais gerais e Melvin
(1956) deu um método para simplificar o trabalho. O método de Melvin, no entanto, é amplamente
empírico, sendo baseado em algumas características observadas das representações.
Consequentemente, Altmann (1957 b) sugeriu um procedimento mais sistemático, baseado na aplicação
do método utilizado pela primeira vez por Silva (1936) e desenvolvido pela Bouckaert et al (1936) para
a redução dos grupos espaciais. A possibilidade desta aplicação levanta-se do fato que todos os grupos
do ponto Cristalográfico admitem um subgrupo invariável que seja cíclico ou um produto direto de
grupos cíclicos. Isso pode, portanto, tomar o lugar do grupo de tradução na teoria de Silva e, assim como
para os grupos espaciais, as representações irredutíveis do grupo podem ser geradas em termos das
representações irredutíveis de seu subgrupo invariável. Naturalmente, para realizar esta tarefa parece
ser um problema de mero interesse acadêmico, porque a redução dos grupos de pontos é um problema
totalmente resolvido. No entanto, quando é realizado pelo método sugerido, constata-se que uma
simplificação considerável pode ser obtida na manipulação dos operadores Simétricos. Portanto,
seguindo a sugestão acima mencionada, McIntosh (1960) comentou que o procedimento acima equivale
a expressar os grupos de pontos como produtos semidiretos, como introduzido por Mackey (1949, 1952).
Na verdade, Mackey e outros (ver Lomont 1959, capítulo V) deram uma série de teoremas poderosos
para a redução de produtos semidiretos. A vantagem desta abordagem, originalmente sugerida pelo
atual autor reside no fato de que a teoria do produto semidireto pode ser usada para subgrupos
invariáveis que não são Abelian: a teoria dada por Silva(Seitz) fornecido apenas para subgrupos de
Abelian, uma vez que o subgrupo de tradução de um grupo espacial sempre satisfaz essa condição.
Consequentemente, McIntosh (1958, i960) desenvolveu em pormenor a teoria da redução dos produtos
semi-diretos. No entanto, McIntosh construiu sua teoria a partir das representações de Matrix e indo
deles para as bases correspondentes. Nós mostraremos neste artigo que se esta aproximação é invertida
obtém-se um Formalismo que seja muito mais fácil de se usar. Não propomos neste documento a
prestação de um tratamento exaustivo dos produtos semi-diretos, uma vez que tal pode ser obtido a
partir das referências dadas. Em vez disso, queremos usar a teoria muito mais como Bouckaert et al.
(1936) usou a teoria de Silva(Seitz), para fornecer um formalismo que é tanto gráfica como
extremamente fácil de usar. No entanto, vamos dar no § 5 algumas provas formais de tais partes da
teoria como são obrigados para colocar o nosso formalismo em um pé certo.
Note-se que, independentemente da sua utilização na derivação de funções adaptadas à simetria, a
teoria dos produtos semi-diretos dos grupos de pontos proporciona a abordagem mais sistemática
para o seu estudo e, portanto, é uma ferramenta valiosa por si só. É extremamente útil
VOl. 255. Um.
28
218 S. L. Altmann
no detalhe em trazer claramente as relações, que puderam apropriadamente ser chamadas
genealogia, entre as simetrias de dois grupos de ponto (veja § 4).
Finalmente, o estudo desta teoria pôde ser achado útil como preliminar ao trabalho mais pesado
exigido na redução de grupos de espaço. De facto, o presente trabalho e os exemplos aqui
apresentados podem ser considerados como um modelo do trabalho exigido na redução dos grupos
espaciais sem parafusos ou deslizes, com a vantagem de que, devido à pequena ordem dos grupos
em causa, todas as características do trabalho podem ser mais facilmente analisadas.
Vamos começar revisando, no § 2 E § 3, algumas propriedades bem conhecidas dos grupos de
ponto e produtos semidiretos.

2. REVISÃO DOS PONTOS DE GRUPOS

Vamos primeiro considerar alguns conceitos que são importantes na teoria dos grupos de rotação
proposta (ver Zassenhauss 1949 ou, para um tratamento mais completo, Burckhardt 1947). Uma ideia
básica nesta teoria é a dos Polos de uma rotação, que são os dois pontos da unidade esfera unitária
que são deixados invariantes pela rotação: se 𝐺∝ é uma rotação com 𝛼 nós podemos escrever 𝐺∝ 𝛼 =
𝛼 , uma operação 𝑋 vai transformar o polo 𝛼 de em outro 𝐺∝ dentro de outro polo 𝛽: 𝑋∝ = 𝛽 .
Dizemos que 𝛼 e 𝛽 São Conjugado e nós vamos provar que 𝛽 é o polo da rotação 𝑋𝐺∝ 𝑋 −1 .
Facto
𝑋𝐺∝ 𝑋 −1 𝑠𝑒 = 𝑋𝐺∝ 𝑋 −1 𝑋𝛼 = 𝑋𝐺∝ 𝛼 = 𝑋𝛼 = 𝛽. 1)

A fim de exprimir brevemente este resultado, definimos um conceito que será muito utilizado neste
documento, ou seja, o da operador de conjugação: Notamos que 𝑋𝐺∝ 𝑋 −1 pode ser levado a definir
um operador 𝑋̂ que transforma uma rotação 𝐺∝ em outra 𝑋𝐺∝ 𝑋 −1 . A relação 𝑋̂𝐺∝ ≡ 𝑋𝐺∝ 𝑋 −1 é uma
definição do operador de conjugação 𝑋̂. O resultado que obtivemos em (1) pode agora ser indicado
como segue: se 𝛼 é o pólo de 𝐺∝ , 𝑋𝛼 é o pólo de 𝑋̂𝐺∝ : 𝑋𝐺∝ = 𝑋𝐺𝑋𝛼 Até agora, não fizemos uso
de propriedades do grupo. Se pertence a um grupo G e X e G, nós dizemos que 𝑎𝑒 = 𝑋𝑎 são
conjugados o Grupo G e nós polos conjugados correspondem às operações conjugadas, isto é, às
operações na mesma classe. As considerações acima são muito úteis em discutir Propriedades da
invariância. Vamos considerar um grupo de operações n com poloneses...,/>, e supor que N é
invariável conjugação com uma determinada operação Cou seja, que CN e N para todos W mais
compacta como (? N-n. Agora os pólos de CN são TPI,..., CP e como CN coincide com N este conjunto
deve ser o mesmo que a, (3, .,/? Exceto, talvez, para o ou SeN é invariante C, o último permutas os
pólos N. Claramente, se N é um subgrupo invariável de g é invariável a conjugação com cada operação
de g. Isto é: os pólos de um subgrupo invariável são permutados entre si por todos as operações do
grupo. Como exemplo, considere o grupo das rotações do cubo, o. Há três eixos binários C2 paralela
às bordas do cubo. Claramente eles (e, portanto, seus poloneses) são permutados em torno de todas
as operações do cubo. Daí o subgrupo composto da identidade e estes 3C2 (que é o grupo diedro D2)
é um subgrupo invariável de o (bem como de T e TD como pode ser facilmente visto). Outro fato bem
conhecido sobre os pólos de um grupo de ponto é que eles se separam em sistemas desarticulados
de pólos conjugados e isso leva à existência de apenas dez grupos de rotação pura Crystallographic.
 Transferido de http://RSTA.royalsocietypublishing.org/ em 18 de maio de 2018

Grupos de pontos como produtos semi-diretos 219

Para formar os grupos de rotação inadequados (que são grupos que contêm operações diferentes das rotações
apropriadas — que podem sempre ser dadas como inversões rotativas) temos de proceder em qualquer uma das
duas formas seguintes (ver Weyl 1952 para uma prova simples deste resultado).

(i) Tomamos qualquer grupo de rotação pura g e formamos o grupo g = g + gz ". Aqui está a inversão eo sinal
de mais, como muitas vezes neste papel, deve ser compreendido no sentido de Galois como d e n o t i n g . uma
justaposição de elementos. Como comuta com qualquer rotação, o lado direito aqui pode ser escrito como um
produto direto g — g x C2, onde C, = e Esi o elemento Identity.
(ii) Encontramos um subgrupo de G de índice 2 (portanto invariante) que vamos chamar de Metade Subgrupo
H, e formar o grupo impróprio g ' = H + (g-h) z (aqui g — h significa o conjunto de elementos de G que não pertence
a H). É fácil encontrar os subgrupos de metade para todos os grupos de rotação pura, usando o critério dado na
última declaração em itálico acima. Para os grupos cíclicos c ", H — c ^" (se n é mesmo). Para o DN, H = C "e, se n é
mesmo, também
H — D ^ n (exceto quando n = 2 quando H é o grupo de identidade trivial). Th subgrupo de T é D2, que não é metade,
e para O e TD, H = T. Para referência futura,

é importante notar que, com exceção do Co Grou a metade subgrupo H.