Pseudo-réflexion

En mathématiques, une pseudo-réflexion est une transformation linéaire inversible d'un espace vectoriel de dimension finie différente de la transformation d'identité, d'ordre fini et qui fixe un hyperplan. La notion de pseudo-réflexion généralise les notions de réflexion et réflexion complexe ; elle est parfois appelée simplement réflexion par certains mathématiciens. Les pseudo-réflexions jouent un rôle important dans la théorie des invariants des groupes finis, notamment dans le théorème de Chevalley-Shephard-Todd^[1].

Définition formelle[modifier | modifier le code]

Soit V un espace vectoriel sur un corps K, de dimension finie notée n. Une pseudo-réflexion est un endomorphisme linéaire inversible $g:V\to V$ dont l'ordre est fini et dont le sous-espace fixe $V^{g}=\{v\in V:\ gv=v\}$ de tous les vecteurs de V fixés par g est de dimension n – 1.

Classification[modifier | modifier le code]

Valeurs propres[modifier | modifier le code]

Une pseudo-réflexion g a une valeur propre 1 avec multiplicité n – 1 et une autre valeur propre r de multiplicité 1. Puisque g est d'ordre fini, la valeur propre r doit être une racine de l'unité dans le corps K. Il peut arriver que r = 1 (voir le paragraphe sur les transvections).

Pseudo-réflexions diagonalisables[modifier | modifier le code]

Soit p la caractéristique du corps K. Si l'ordre de g est premier à p, alors g est diagonalisable et représenté dans une base convenable par une matrice diagonale

\mathrm {diag} (1,\dots ,1,r)={\begin{bmatrix}1&0&0&\cdots &0\\0&1&0&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &1&0\\0&0&0&\cdots &r\\\end{bmatrix}}

,

où r est une racine de l’unité différente de 1. Cela inclut le cas où K est de caractéristique zéro, comme le corps des nombres réels et le corps des nombres complexes.

Une pseudo-réflexion diagonalisable est parfois appelée réflexion semi-simple.

Les corps des réels et des complexes ont une importance particulière.

Réflexions réelles[modifier | modifier le code]

Lorsque K est le corps des nombres réels, une pseudo-réflexion a pour matrice diag(1,..., 1, –1) dans une base convenable. Une pseudo-réflexion admettant une telle matrice est appelée une réflexion réelle. Si l'espace sur lequel agit cette transformation admet une forme bilinéaire symétrique, de sorte que l'orthogonalité des vecteurs puisse être définie, alors la transformation est une véritable réflexion.

Réflexions complexes[modifier | modifier le code]

Lorsque K est le corps des nombres complexes, une pseudo-réflexion est appelée une réflexion complexe. Elle peut être représentée par une matrice diagonale diag(1,..., 1, r), où r est une racine complexe de l'unité différente de 1.

Transvections[modifier | modifier le code]

Si la pseudo-réflexion g n'est pas diagonalisable, alors r = 1 et g admet pour forme normale de Jordan

{\begin{bmatrix}1&0&0&\cdots &0\\0&1&0&\cdots &0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &1&1\\0&0&0&\cdots &1\\\end{bmatrix}}

.

Dans ce cas, g est appelé une transvection. Une pseudo-réflexion g est une transvection si et seulement si la caractéristique p du corps K est positive et l'ordre de g est p. Les transvections sont utiles pour l'étude des géométries finies et la classification de leurs groupes d'automorphismes^[2].

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Pseudoreflection » (voir la liste des auteurs).

↑ Mara D. Neusel et Larry Smith, Invariant Theory of Finite Groups, Providence, RI, American Mathematical Society, 2002 (ISBN 0-8218-2916-5).
↑ Emil Artin, Geometric algebra, New York, John Wiley & Sons Inc., coll. « Wiley Classics Library », 1988 (1^re éd. 1957), x+214 p. (ISBN 0-471-60839-4, MR 1009557).

Articles connexes[modifier | modifier le code]

Portail des mathématiques

[1] Mara D. Neusel et Larry Smith, Invariant Theory of Finite Groups, Providence, RI, American Mathematical Society, 2002 (ISBN 0-8218-2916-5).

[2] Emil Artin, Geometric algebra, New York, John Wiley & Sons Inc., coll. « Wiley Classics Library », 1988 (1^re éd. 1957), x+214 p. (ISBN 0-471-60839-4, MR 1009557).

[1]

[2]