Em matemática, o teorema de Maschke, assim chamado em homenagem a Heinrich Maschke, é um teorema da teoria das representações de grupos que trata da decomposição de representações de um grupo finito em partes irredutíveis. O teorema de Maschke permite tirar conclusões gerais sobre representações de um grupo finito G sem realmente calculá-las. Ele reduz a tarefa de classificar todas as representações a uma tarefa mais administrável de classificar representações irredutíveis, pois quando o teorema se aplica, qualquer representação é uma soma direta de partes irredutíveis (constituintes). Além disso, segue-se do teorema de Jordan–Hölder que, embora a decomposição em uma soma direta de subrepresentações irredutíveis possa não ser única, as partes irredutíveis têm multiplicidades bem definidas. Em particular, uma representação de um grupo finito sobre um corpo de característica zero é determinada a menos de isomorfismo por seu caractere.

Formulações

O teorema de Maschke aborda a questão: quando uma representação geral (de dimensão finita) é construída a partir de subrepresentações irredutíveis usando a operação de soma direta? Esta questão (e sua resposta) são formuladas de maneira diferente para diferentes perspectivas sobre a teoria das representações de grupos.

Teoria de grupos

O teorema de Maschke é comumente formulado como um corolário do seguinte resultado:

Então o corolário é

O espaço vetorial de funções de classe de valor complexo de um grupo tem uma estrutura natural de produto interno -invariante, descrita no artigo relações de ortogonalidade de Schur. O teorema de Maschke foi originalmente provado para o caso de representações sobre construindo como o complemento ortogonal de sob este produto interno.

Teoria de módulos Uma das abordagens para representações de grupos finitos é através da teoria de módulos. Representações de um grupo são substituídas por módulos sobre sua álgebra de grupo  (para ser preciso, há um isomorfismo de categorias entre e , a categoria de representações de ). Representações irredutíveis correspondem a módulos simples. Na linguagem da teoria de módulos, o teorema de Maschke pergunta: um módulo arbitrário é semissimples? Neste contexto, o teorema pode ser reformulado da seguinte forma:

A importância deste resultado decorre da teoria bem desenvolvida de anéis semissimples, em particular, sua classificação dada pelo teorema de Wedderburn–Artin. Quando é o corpo dos números complexos, isso mostra que a álgebra é um produto de várias cópias de álgebras de matrizes complexas, uma para cada representação irredutível.O número das parcelas pode ser calculado e resulta ser igual ao número de classes de conjugação do grupo. Se o corpo tem característica zero, mas não é algebricamente fechado, por exemplo, se é o corpo dos números reais ou racionais, então uma afirmação um pouco mais complicada é válida: a álgebra de grupo é um produto de álgebras de matrizes sobre anéis de divisão sobre . As parcelas correspondem a representações irredutíveis de sobre .Deve-se ter cuidado, pois uma representação pode decompor-se de forma diferente sobre corpos diferentes: uma representação pode ser irredutível sobre os números reais, mas não sobre os números complexos.

Teoria das categorias

Reformulado na linguagem das categorias semissimples, o teorema de Maschke afirma

Provas Teoria de grupos Seja U um subespaço de V complementar de W. Seja a função projeção, i.e., para quaisquer .

Defina , onde é uma abreviatura de , com sendo a representação de G em W e V. Então, é preservado por G sob a representação : para quaisquer ,

portanto, implica que . Logo, a restrição de a também é uma representação.

Pela definição de , para qualquer , , então , e para qualquer , . Assim, , e . Portanto, .

Teoria de módulos Seja V um K[G]-submódulo. Provaremos que V é uma parcela direta. Seja π uma projeção K-linear qualquer de K[G] sobre V. Considere o mapa

Então φ é novamente uma projeção: é claramente K-linear, mapeia K[G] em V e induz a identidade em V (portanto, mapeia K[G] sobre V). Além disso, temos

portanto, φ é de fato K[G]-linear. Pelo lema do splitting, . Isso prova que todo submódulo é uma parcela direta, ou seja, K[G] é semissimples.

Afirmação recíproca A prova acima depende do fato de que #G é invertível em K. Isso pode levar alguém a perguntar se a recíproca do teorema de Maschke também é válida: se a característica de K divide a ordem de G, segue-se que K[G] não é semissimples? A resposta é sim.

Prova. Para defina . Seja . Então I é um K[G]-submódulo. Provaremos que para todo submódulo não trivial V de K[G], . Seja V dado, e seja um elemento não nulo qualquer de V. Se , a afirmação é imediata. Caso contrário, seja . Então então e

de modo que é um elemento não nulo tanto de I quanto de V. Isso prova que V não é um complemento direto de I para todo V, portanto K[G] não é semissimples.

Não exemplos O teorema não pode ser aplicado ao caso em que G é infinito, ou quando o corpo K tem características dividindo #G. Por exemplo,

Considere o grupo infinito e a representação definida por . Seja , um subespaço 1-dimensional de gerado por . Então a restrição de a W é uma subrepresentação trivial de . No entanto, não existe U tal que tanto W quanto U sejam subrepresentações de e : qualquer tal U precisa ser 1-dimensional, mas qualquer subespaço 1-dimensional preservado por tem que ser gerado por um autovetor para , e o único autovetor para essa matriz é . Considere um primo p, e o grupo , corpo , e a representação definida por . Cálculos simples mostram que há apenas um autovetor para aqui, portanto, pelo mesmo argumento, a subrepresentação 1-dimensional de é única, e não pode ser decomposta na soma direta de duas subrepresentações 1-dimensionais.

Referências

Bibliografia

Categoria:Matemática Categoria:Teoria dos Grupos