Lemme de Schur

Lemme de Schur

En mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes.

Il a été démontré en 1907 par Issai Schur dans le cadre de ses travaux sur la théorie des représentations d'un groupe fini[1],

Ce lemme est à la base de l'analyse d'un caractère d'une représentation d'un groupe fini. il permet, par exemple de caractériser les groupes abéliens finis.

Sommaire

Contexte

Motivation

Le lemme de Schur représente l'un des fondements de la théorie des représentations d'un groupe fini et de l'analyse de l'algèbre des modules semi-simples. Une représentation d'un groupe est la donnée d'un morphisme d'un groupe G dans l'ensemble des automorphismes d'un espace vectoriel. Cette approche initiée par Ferdinand Georg Frobenius dans un article[2] de 1896 s'avère fructueuse. Trois ans plus tard, Heinrich Maschke (de) démontre[3] que toute représentation est somme directe de représentations irréductibles.

Le lemme de Schur est un lemme technique essentiel pour la démonstration d'un résultat majeur : non seulement les représentations irréductibles s'identifient par leur caractère, mais en plus les caractères de ces représentations sont toutes orthogonales entre elles. Cette approche apporte des résultats majeurs pour la théorie des groupes finis. Elle a finalement permis la classification des groupes simples, mais aussi la démonstration de résultats comme une conjecture de William Burnside (1852-1927) stipulant que tout groupe fini d'ordre impair est résoluble. Ce résultat est à l'origine de la Médaille Fields de Thompson en 1970.

Si ce lemme est aussi utilisé dans d'autres contextes, celui de la représentation est néanmoins le plus important.

Représentations d'un groupe fini

Article détaillé : Représentation de groupe.

Rappelons la définition d'une représentation et fixons les notations pour le reste de l'article. G désigne ici un groupe fini d'ordre g. Son élément neutre est noté 1, et si s et t sont deux éléments de G la loi de composition interne du groupe sur s et t est noté st. E désigne un espace vectoriel sur un corps commutatif noté K.

Une représentation (E, ρ) du groupe G est la donnée d'un espace vectoriel E de dimension finie notée n et d'un morphisme de groupes ρ de G vers le groupe linéaire GL(E).

Théorème de Maschke

Article détaillé : Théorème de Maschke.
  • Une représentation (V, ρ) est dite irréductible si les sous-espaces V et {0} sont distincts et sont les deux seuls sous-espaces stables.

La classification des représentations est une conséquence du théorème suivant connu sous le nom de théorème de Maschke:

Connaître toutes les représentations d'un groupe fini revient donc à connaître ses représentation irréductibles, les autres s'obtiennent par somme directe.

Dans le cadre du lemme de Schur une définition plus légère suffit :

  • Soit U une partie de L(E), l'ensemble des endomorphismes de E. U est dit irréductible s'il n'existe aucun sous-espace non trivial stable par tout élément de U.

Lemme

Soient E et F deux K espaces vectoriels et Φ une application linéaire non nulle de E dans F.

  1. S'il existe une partie irréductible U de L(E) telle que
    \forall u\in U \quad \exists v\in \mathcal L(F)\quad / \quad \phi\circ u=v\circ \phi,
    alors Φ est injective.
  2. S'il existe une partie irréductible V de L(F) telle que
    \forall v\in V \quad \exists u\in \mathcal L(E)\quad / \quad \phi\circ u=v\circ \phi,
    alors \quad\phi est surjective.

Corollaires

Corollaire 1

Soient E un espace vectoriel de dimension finie sur un corps K algébriquement clos et U une partie irréductible de L(E). Si un endomorphisme Φ de E commute avec tout élément de U, alors Φ est une homothétie.

Dans le cas de la représentation d'un groupe d'exposant fini e, alors tout automorphisme de l'image possède pour polynôme annulateur Xe - 1. En conséquence, si ce polynôme est scindé sur K, le corollaire s'applique encore.

Corollaire 2

Toute représentation irréductible d'un groupe abélien dans un espace de dimension finie sur un corps algébriquement clos est de degré 1.

En effet, soient (V,ρ) une telle représentation et D une droite de V. Quel que soit l'élément s du groupe, ρs commute avec tous les endomorphismes de la représentation. D'après le corollaire 1, ρs est une homothétie. Ainsi, D est invariante donc égale à V.

Cas des groupes finis

Corollaire 3

Soient (E, ρ1) et (F, ρ2) deux représentations de G irréductibles sur un corps K dont la caractéristique ne divise pas l'ordre g du groupe et sur lequel le polynôme Xg-1 est scindé, et ψ une application linéaire de E dans F, on définit l'application linéaire φ de E dans F par :

\varphi=\frac1g\sum_{s\in G}\rho_s^2\circ\psi\circ(\rho_s^1)^{-1}.
  1. Si les représentations ne sont pas isomorphes, alors φ est nulle.
  2. Si les représentations sont (non seulement isomorphes mais) égales, alors φ est une homothétie de rapport (1/n).Tr(ψ).
Remarque.

Si la caractéristique p de K est non nulle, la preuve de ce corollaire met en évidence que le nombre premier p ne divise pas n. Comme on a supposé que p ne divise pas g, ceci n'est pas surprenant quand on sait que le degré n d'une représentation irréductible divise toujours l'ordre g du groupe.[réf. souhaitée]

Corollaire 4

C'est un quatrième corollaire qui est utilisé dans la théorie des caractères. Il correspond à la traduction en termes de matrices du corollaire précédent. Utilisons les notations suivantes : soient A et B deux représentations matricielles d'un groupe fini G d'ordre g sur un même corps K dont la caractéristique ne divise pas g et sur lequel le polynôme Xg - 1 soit scindé. Les dimensions respectives de E et F sont notées n et m. L'image d'un élément s de G par A (resp. B) est noté aij(s) (resp. bij(s))

On a alors, sous les hypothèses du corollaire précédent :

  1. Si les représentations A et B ne sont pas isomorphes, alors :
    \forall i,j \in [1,n] \; \forall k,l \in [1,m] \quad \sum_{s\in G} a_{ij}(s).b_{kl}(s^{-1})=0.
  2. En notant δij le symbole de Kronecker, on a :
    \forall i,j,k,l \in [1,n] \quad \frac1g\sum_{s\in G} a_{ij}(s).a_{kl} (s^{-1})=\frac1n\delta_{il}\delta_{jk}.

Applications

Caractère

C'est la première application historique du lemme. On suppose ici que K est le corps ℂ des nombres complexes et on munit ℂG (l'espace vectoriel – de dimension g – des applications de G dans ℂ) du produit hermitien < | > suivant :

\forall f,h\in\C^G\quad <f|h>=\frac1g\sum_{s\in G}f(s)\overline{h(s)}.

(Si z désigne un nombre complexe, z désigne ici son conjugué.)

Les caractères irréductibles d'un groupe fini G forment famille orthonormale de ℂG.

Ce résultat est un des fondements de la théorie des caractères.

Groupe abélien fini

Article détaillé : Théorème de Kronecker.

D'autres applications existent. Le lemme de Schur permet de démonter directement que tout groupe abélien fini est un produit de cycles. La démonstration se fonde essentiellement sur l'algèbre linéaire.

Ce résultat se démontre aussi directement (cf article détaillé), ou par l'analyse des caractères.

Notes et références

Notes

  1. (de) I. Schur, « Untersuchungen über die Darstellung der endlichen Gruppen durch gebrochenen linearen Substitutionen », dans J. Reine. Angew. Math., vol. 132, 1907, p. 85-137 [texte intégral] 
  2. (de) Von G. Frobenius, « Über Gruppencharaktere », dans Sitzungsber. K. Pr. Akad. Wiss. Berlin, 1896 [texte intégral] 
  3. (de) H. Maschke, « Beweiss des Satzes, dass diejenigen endlichen linearen Substitutionsgruppen… », dans Mathematische Annalen, vol. 52, 1899, p. 363-368 [texte intégral] 

Références

  • Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]
  • (en) Marshall Hall, Jr. (en), The theory of groups [détail des éditions]
  • Serge Lang, Algèbre [détail des éditions]
  • N. Bourbaki, Éléments de mathématique, Algèbre, chap. VIII
  • Pierre Colmez, Eléments d'analyse et d'algèbre (et de théorie des nombres), Éditions de l'École polytechnique

Lien externe

Cours de représentation des groupes finis par Michel Broué de l'université de Paris VII


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Lemme de Schur de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Lemme De Schur — En mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur (1875 1941) dans le cadre de… …   Wikipédia en Français

  • Lemme de schur — En mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur (1875 1941) dans le cadre de… …   Wikipédia en Français

  • Schur — Issai Schur Issai Schur, né à Moguilev le 10 janvier 1875 et mort à Tel Aviv le 10 janvier 1941, est un mathématicien russe qui a surtout travaillé en Allemagne. Il a étudié à Berlin sous Frobenius, a obtenu son doctorat en 1901 et est devenu… …   Wikipédia en Français

  • Issai Schur — Issai Schur, né à Moguilev le 10 janvier 1875 et mort à Tel Aviv le 10 janvier 1941, est un mathématicien russe qui a surtout travaillé en Allemagne. Il a étudié à Berlin sous Frobenius, a obtenu son doctorat en 1901 et est… …   Wikipédia en Français

  • Complément de Schur —  Ne doit pas être confondu avec la méthode du complément de Schur (en) en analyse numérique. En algèbre linéaire et plus précisément en théorie des matrices, le complément de Schur est défini comme suit. Soit …   Wikipédia en Français

  • Complement de Schur — Complément de Schur En algèbre linéaire et plus précisément en théorie des matrices, le complément de Schur est défini comme suit. Soit une matrice de dimension (p+q)×(p+q), où les blocs A, B, C, D sont des matrices de dimensions respectives p×p …   Wikipédia en Français

  • Complément De Schur — En algèbre linéaire et plus précisément en théorie des matrices, le complément de Schur est défini comme suit. Soit une matrice de dimension (p+q)×(p+q), où les blocs A, B, C, D sont des matrices de dimensions respectives p×p, p×q, q×p and q×q,… …   Wikipédia en Français

  • Complément de schur — En algèbre linéaire et plus précisément en théorie des matrices, le complément de Schur est défini comme suit. Soit une matrice de dimension (p+q)×(p+q), où les blocs A, B, C, D sont des matrices de dimensions respectives p×p, p×q, q×p and q×q,… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”