| prop-fr:contenu
| - * Ou bien il existe un sous-groupe H de G contenant N et différent G tel que soit induite par une représentation irréductible de H, ou bien la restriction de σ à N est isotypique.
Soit Wi, où i varie de 1 à n, la décomposition canonique de la restriction de σ à N en composantes isotypiques. On dispose alors de l'égalité :
Si s est un élément de G et si i est un entier compris entre 1 et n, alors σWi est encore une composante isotypique. On remarque que, comme W est une représentation irréductible de G, l'action du groupe σ est transitive sur la famille des Wi.
Si n est égal à 1, c'est-à-dire que W1 est égal à W, alors la restriction de σ à N est isotypique.
Dans le cas contraire, considérons le sous-groupe H de G formé des éléments laissant globalement invariant W1. Il est distinct de G et contient N. Soient θ' la restriction de σ à H et θ la sous-représentation de θ' sur le sous-espace W1. Alors θ est irréductible et σ est induite par θ.
Pour démontrer la proposition suivante, un lemme, dû à Schur, est nécessaire :
* Si C est le centre du groupe G, alors le degré de toute représentation irréductible de G divise l'ordre du groupe quotient G/C.
Notons c l'ordre du sous-groupe C de G, et une représentation irréductible de G, de degré d. Si z est un élément de C, alors σ commute avec tous les éléments σ si s parcourt G. Le lemme de Schur permet de conclure que σ est une homothétie, notons λ son rapport. On remarque que l'application λ est un morphisme de groupes de C dans K*.
Considérons alors un entier strictement positif m et la représentation irréductible σ⊗m de Gm sur W⊗m. L'image par σ de tout élément de Cm est l'homothétie de rapport λ.
Notons H le sous-groupe de Cm formé des éléments tels que le produit des m composantes soit égal à un. Ce sous-groupe normal de Gm est inclus dans le noyau de σ⊗m. Par passage au quotient, on obtient une représentation irréductible du groupe Gm/H. Son degré, dm, est donc un diviseur de l'ordre du groupe, gm/cm-1. Cette relation est vraie pour tout m, ce qui démontre le lemme.
* Si N est un sous-groupe normal abélien de G, alors le degré de toute représentation irréductible de G divise l'ordre du groupe quotient G/N.
Démontrons cette proposition par récurrence sur l'ordre de G. La représentation irréductible de G est ici notée .
Si la restriction de σ à N est isotypique, alors, comme N est abélien et que les seules représentations irréductibles d'un groupe abélien fini sont de degré un, l'image de N par σ est composée d'homothéties. Notons G' et N' les images de G et N par σ. Considérons la représentation identité de G' à valeur dans GL. Le lemme précédent montre que le degré de cette représentation divise l'ordre du groupe quotient de G' par son centre. Or son centre contient N' car ce sous-groupe est composé d'homothéties. Le degré de σ, c'est-à-dire la dimension de W est donc un diviseur de l'ordre de G' /N' . Enfin l'application canonique de G/N dans G' /N' est surjective donc l'ordre de G' /N' est un diviseur de celui de G/N, ce qui termine la démonstration dans ce cas.
Si la restriction de σ à N n'est pas isotypique, alors il existe un groupe H distinct de G et contenant N, tel que la représentation soit induite par une représentation irréductible de H. Alors le degré de la représentation θ divise l'indice [H:N] par hypothèse de récurrence. Le degré de σ est égal à celui de θ que multiplie l'indice [G:H] et donc est un diviseur de [G:H].[H:N], c'est-à-dire de [G:N]. (fr)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)