Groupe de réflexions complexe

En mathématiques, un groupe de réflexions complexe est un groupe fini qui agit sur un espace vectoriel complexe de dimension finie engendré par des réflexions complexes, c'est-à-dire des éléments non triviaux qui fixent point par point un hyperplan complexe.

Les groupes de réflexions complexes apparaissent dans l'étude de la théorie des invariants des anneaux de polynômes. Au milieu du XX^e siècle, ils ont été entièrement classés dans les travaux de Shephard et Todd. Certains de ces groupes sont très familiers : le groupe symétrique des permutations, les groupes diédraux et plus généralement tous les groupes de réflexions réels finis (les groupes de Coxeter, parmi lesquels figurent les groupes de Weyl et les groupes de symétries des polyèdres réguliers).

Définition modifier

Une réflexion complexe r (parfois appelée pseudo-réflexion) d'un espace vectoriel complexe de dimension finie V est un élément $r\in GL(V)$ d'ordre fini qui fixe un hyperplan complexe point par point, c'est-à-dire que l'espace des points fixes $\operatorname {Fix} (r):=\operatorname {ker} (r-\operatorname {Id} _{V})$ est de codimension 1.

Un groupe de réflexions complexe (fini) $W\subseteq GL(V)$ est un sous-groupe fini de $GL(V)$ qui est engendré par les réflexions complexes qu'il contient.

Propriétés modifier

Tout groupe de réflexions réels devient un groupe de réflexions complexe si l'on étend les scalaires de R à C. En particulier, tous les groupes de Coxeter finis, notamment tous les groupes de Weyl, sont des exemples de groupes de réflexions complexes.

Un groupe de réflexions complexe W est dit irréductible si le seul sous-espace propre W-invariant de l'espace vectoriel correspondant est le sous-espace trivial. Dans ce cas, la dimension de l’espace vectoriel est appelée le rang de W.

Le nombre de Coxeter $h$ d'un groupe de réflexions complexe irréductible W de rang $n$ est défini comme

h={\frac {|{\mathcal {R}}|+|{\mathcal {A}}|}{n}}

où ${\mathcal {R}}$ désigne l'ensemble des réflexions et ${\mathcal {A}}$ désigne l'ensemble des hyperplans de réflexion. Dans le cas de groupes de réflexions réels, on retrouve le nombre de Coxeter pour les systèmes de Coxeter finis.

Classification modifier

Tout groupe de réflexions complexe se décompose comme un produit de groupes de réflexion complexes irréductibles qui agit sur la somme directe des espaces vectoriels correspondants^[1]. Il suffit donc de classer les groupes de réflexions complexes irréductibles.

Les groupes de réflexions complexes irréductibles ont été classés par G. C. Berger et J. A. Todd en 1954. Ils ont démontré que tout irréductible appartenait à une famille infinie G(m, p, n) dépendant de trois paramètres entiers positifs (avec p divisant m) ou à la famille de 34 cas exceptionnels, qu'ils ont numérotés de 4 à 37^[2]. Le groupe G(m, 1, n) est le groupe symétrique généralisé (en) ; on peut le décrire comme le produit en couronne du groupe symétrique Sym(n) par un groupe cyclique d'ordre m. On peut le réaliser comme le groupe des matrices ayant un seul coefficient non nul par ligne et par colonne qui est une racine m-ième de l'unité.

Le groupe G(m, p, n) est un sous-groupe d'indice p de G(m, 1, n). Son ordre est mⁿ⋅n!/p. Il peut être réalisé comme le sous-groupe des matrices dont le produit des coefficients non nuls est une racine (m/p)-ième de l'unité (et pas seulement une racine m-ième). Algébriquement, G(m, p, n) est le produit semi-direct d'un groupe abélien d'ordre mⁿ/p par le groupe symétrique Sym(n) ; les éléments du groupe abélien sont de la forme (θ^a₁, θ^a₂,..., θ^a_n), où θ est une racine primitive m-ième de l'unité et Σ a_i ≡ 0 mod p ; sur ce groupe, le groupe symétrique Sym(n) agit par permutations des coordonnées^[3].

Le groupe G(m, p, n) agit de manière irréductible sur Cⁿ sauf dans les cas m = 1, n > 1 (le groupe symétrique) et G(2, 2, 2) (le groupe de Klein). Dans ces cas, Cⁿ est la somme directe de représentations irréductibles de dimensions 1 et n − 1.

Cas particuliers de G(m, p, n) modifier

Groupes de Coxeter modifier

Article détaillé : Groupe de Coxeter.

Lorsque m = 2, la représentation décrite dans le paragraphe précédent est constituée de matrices réelles, et donc dans ces cas G(m, p, n) est un groupe de Coxeter fini. En particulier^[4] :

G(1, 1, n) est de type A_n−1 = [3, 3,..., 3, 3] = ... : c'est le groupe symétrique d'ordre n! ;
G(2, 1, n) est de type B_n = [3, 3,..., 3, 4] = ⋅⋅⋅ ; c'est le groupe hyperoctaédral (en) d'ordre 2ⁿ⋅n! ;
G(2, 2, n) est de type D_n = [3, 3,..., 3^1,1] = ⋅⋅⋅ ; il est d'ordre 2ⁿ⋅n!/2.

De plus, lorsque m = p et n = 2, le groupe G(p, p, 2) est le groupe diédral d'ordre 2p ; en tant que groupe de Coxeter, il est de type I₂(p) = [p] = (et c'est le groupe de Weyl G₂ lorsque p = 6).

Autres cas particuliers et coïncidences modifier

Les seules paires de groupes G(m, p, n) isomorphes comme groupes de réflexions complexes sont G(ma, pa, 1) et G(mb, pb, 1) pour tous entiers strictement positifs a, b, qui sont tous deux isomorphes au groupe cyclique d'ordre m/p. Cependant, il existe d'autres paires de groupes qui sont isomorphes en tant que groupes abstraits.

Les groupes G(3, 3, 2) et G(1, 1, 3) sont isomorphes au groupe symétrique Sym(3). Les groupes G(2, 2, 3) et G(1, 1, 4) sont isomorphes au groupe symétrique Sym(4). Les groupes G(2, 1, 2) et G(4, 4, 2) sont tous deux isomorphes au groupe diédral d'ordre 8. Enfin les groupes G(2p, p, 1) sont cycliques d'ordre 2, tout comme G(1, 1, 2).

Liste des groupes de réflexions complexes irréductibles modifier

Il y a quelques doublons dans les trois premières lignes de cette liste ; voir le paragraphe précédent pour plus de détails.

ST est le numéro donné par Shephard-Todd au groupe de réflexion.
Le rang est la dimension de l’espace vectoriel complexe sur lequel le groupe agit.
La structure décrit la structure du groupe. Le symbole * représente un produit central (en) de deux groupes. Pour le rang 2, le quotient par le centre (cyclique) est le groupe des rotations d'un tétraèdre, d'un octaèdre ou d'un icosaèdre (T = Alt(4), O = Sym(4), I = Alt(5), d'ordres 12, 24, 60), comme indiqué dans le tableau. Pour la notation 2¹⁺⁴, voir la notion de groupe extra-spécial (en).
L'ordre est le nombre d'éléments du groupe.
La colonne réflexions décrit le nombre de réflexions : 2⁶4¹² signifie qu'il y a 6 réflexions d'ordre 2 et 12 d'ordre 4.
La colonne degrés donne les degrés des invariants fondamentaux de l'anneau des invariants polynomiaux. Par exemple, les invariants du groupe numéro 4 forment un anneau de polynômes avec 2 générateurs de degrés 4 et 6.

ST	Rang	Structure et nom	Symbole de Coxeter	Ordre	Réflexions	Degrés	Codegrés
1	n−1	Groupe symétrique G(1,1,n) = Sym(n)		n!	2^{n(n − 1)/2}	2, 3,...,n	0,1,...,n − 2
2	n	G(m,p,n) m > 1, n > 1, p\|m (G(2,2,2) est réductible)		mⁿn!/p	2^mn(n−1)/2,d^nφ(d) (d\|m/p, d > 1)	m, 2m,...,(n − 1)m ; mn/p	0,m,..., (n − 1)m if p < m; 0,m,...,(n − 2)m, (n − 1)m − n if p = m
2	2	G(p,1,2) p > 1,	p[4]2 or	2p²	2^p,d^2φ(d) (d\|p, d > 1)	p; 2p	0,p
2	2	Groupe diédral G(p,p,2) p > 2	[p] or	2p	2^p	2,p	0,p-2
3	1	Groupe cyclique G(p,1,1) = Z_p	p[] or	p	d^φ(d) (d\|p, d > 1)	p	0
4	2	W(L₂), Z₂.T	3[3]3 or , ⟨2,3,3⟩	24	3⁸	4,6	0,2
5	2	Z₆.T	3[4]3 or	72	3¹⁶	6,12	0,6
6	2	Z₄.T	3[6]2 or	48	2⁶3⁸	4,12	0,8
7	2	Z₁₂.T	‹3,3,3›₂ or ⟨2,3,3⟩₆	144	2⁶3¹⁶	12,12	0,12
8	2	Z₄.O	4[3]4 or	96	2⁶4¹²	8,12	0,4
9	2	Z₈.O	4[6]2 or or ⟨2,3,4⟩₄	192	2¹⁸4¹²	8,24	0,16
10	2	Z₁₂.O	4[4]3 or	288	2⁶3¹⁶4¹²	12,24	0,12
11	2	Z₂₄.O	⟨2,3,4⟩₁₂	576	2¹⁸3¹⁶4¹²	24,24	0,24
12	2	Z₂.O= GL₂(F₃)	⟨2,3,4⟩	48	2¹²	6,8	0,10
13	2	Z₄.O	⟨2,3,4⟩₂	96	2¹⁸	8,12	0,16
14	2	Z₆.O	3[8]2 or	144	2¹²3¹⁶	6,24	0,18
15	2	Z₁₂.O	⟨2,3,4⟩₆	288	2¹⁸3¹⁶	12,24	0,24
16	2	Z₁₀.I, ⟨2,3,5⟩×Z₅	5[3]5 or	600	5⁴⁸	20,30	0,10
17	2	Z₂₀.I	5[6]2 or	1200	2³⁰5⁴⁸	20,60	0,40
18	2	Z₃₀.I	5[4]3 or	1800	3⁴⁰5⁴⁸	30,60	0,30
19	2	Z₆₀.I	⟨2,3,5⟩₃₀	3600	2³⁰3⁴⁰5⁴⁸	60,60	0,60
20	2	Z₆.I	3[5]3 or	360	3⁴⁰	12,30	0,18
21	2	Z₁₂.I	3[10]2 or	720	2³⁰3⁴⁰	12,60	0,48
22	2	Z₄.I	⟨2,3,5⟩₂	240	2³⁰	12,20	0,28
23	3	W(H₃) = Z₂ × PSL₂(5)	[5,3],	120	2¹⁵	2,6,10	0,4,8
24	3	W(J₃(4)) = Z₂ × PSL₂(7), Klein	[1 1 1⁴]⁴,	336	2²¹	4,6,14	0,8,10
25	3	W(L₃) = W(P₃) = 3¹⁺².SL₂(3) Hessien	3[3]3[3]3,	648	3²⁴	6,9,12	0,3,6
26	3	W(M₃) =Z₂ ×3¹⁺².SL₂(3) Hessien	2[4]3[3]3,	1296	2⁹ 3²⁴	6,12,18	0,6,12
27	3	W(J₃(5)) = Z₂ ×(Z₃.Alt(6)), Valentiner	[1 1 1⁵]⁴, [1 1 1⁴]⁵,	2160	2⁴⁵	6,12,30	0,18,24
28	4	W(F₄) = (SL₂(3)* SL₂(3)).(Z₂ × Z₂)	[3,4,3],	1152	2¹²⁺¹²	2,6,8,12	0,4,6,10
29	4	W(N₄) = (Z₄*2¹⁺⁴).Sym(5)	[1 1 2]⁴,	7680	2⁴⁰	4,8,12,20	0,8,12,16
30	4	W(H₄) = (SL₂(5)*SL₂(5)).Z₂	[5,3,3],	14400	2⁶⁰	2,12,20,30	0,10,18,28
31	4	W(EN₄) = W(O₄) = (Z₄*2¹⁺⁴).Sp₄(2)		46080	2⁶⁰	8,12,20,24	0,12,16,28
32	4	W(L₄) = Z₃ × Sp₄(3)	3[3]3[3]3[3]3,	155520	3⁸⁰	12,18,24,30	0,6,12,18
33	5	W(K₅) = Z₂ ×Ω₅(3) = Z₂ × PSp₄(3)= Z₂ × PSU₄(2)	[1 2 2]³,	51840	2⁴⁵	4,6,10,12,18	0,6,8,12,14
34	6	W(K₆)= Z₃.Ω ₆(3).Z₂, groupe de Mitchell	[1 2 3]³,	39191040	2¹²⁶	6,12,18,24,30,42	0,12,18,24,30,36
35	6	W(E₆) = SO₅(3) = O ₆(2) = PSp₄(3).Z₂ = PSU₄(2).Z₂	[3^2,2,1],	51840	2³⁶	2,5,6,8,9,12	0,3,4,6,7,10
36	7	W(E₇) = Z₂ ×Sp₆(2)	[3^3,2,1],	2903040	2⁶³	2,6,8,10,12,14,18	0,4,6,8,10,12,16
37	8	W(E₈)= Z₂.O ₈(2)	[3^4,2,1],	696729600	2¹²⁰	2,8,12,14,18,20,24,30	0,6,10,12,16,18,22,28

Pour plus d'informations, y compris des diagrammes, des présentations et des codegrés de groupes de réflexions complexes, voir les tableaux de (Broué, Malle et Rouquier 1998).

Degrés modifier

Shephard et Todd ont démontré qu'un groupe fini agissant sur un espace vectoriel complexe est un groupe de réflexions complexe si et seulement si son anneau des invariants est un anneau de polynômes (théorème de Chevalley-Shephard-Todd). En notant $\ell$ le rang du groupe de réflexion, les degrés $d_{1}\leq d_{2}\leq \cdots \leq d_{\ell }$ des générateurs de l'anneau des invariants sont appelés les degrés de W et sont répertoriés dans la colonne ci-dessus intitulée « degrés ». Shephard et Todd ont également montré que de nombreux autres invariants du groupe sont déterminés par les degrés de la façon suivante :

le centre d'un groupe de réflexions irréductible est cyclique d'ordre égal au plus grand diviseur commun des degrés ;
l'ordre d'un groupe de réflexions est le produit de ses degrés ;
le nombre de réflexions est la somme des degrés moins le rang ;
un groupe de réflexions irréductible est issu d'un groupe de réflexions réelles si et seulement s'il a un invariant de degré 2 ;
les degrés d_i satisfont à la formule $\prod _{i=1}^{\ell }(q+d_{i}-1)=\sum _{w\in W}q^{\dim(V^{w})}.$

Codegrés modifier

En notant $\ell$ le rang du groupe de réflexions, les codegrés $d_{1}^{*}\geq d_{2}^{*}\geq \cdots \geq d_{\ell }^{*}$ de W peut être défini par $\prod _{i=1}^{\ell }(q-d_{i}^{*}-1)=\sum _{w\in W}\det(w)q^{\dim(V^{w})}.$

Pour un groupe de réflexions réel, les codegrés sont les degrés moins 2.
Le nombre d'hyperplans de réflexion est la somme des codegrés et du rang.

Groupes de réflexions complexes bien engendrés modifier

Par définition, chaque groupe de réflexion complexe est engendré par ses réflexions. L'ensemble des réflexions n'est cependant pas un ensemble générateur minimal, et tout groupe de réflexions irréductible de rang $\ell$ possède un ensemble générateur minimal constitué soit de $\ell$ , soit de $\ell$ + 1 réflexions. Dans le premier cas, le groupe est dit bien engendré.

On montre que la propriété d'être bien engendré équivaut à la condition $d_{i}+d_{i}^{*}=d_{\ell }$ pour tout $1\leq i\leq \ell$ . Par exemple, on peut lire dans la table ci-dessus que le groupe $G (m, p, n)$ est bien engendré si et seulement si p = 1 ou m.

Pour les groupes de réflexions complexes irréductibles et bien engendrés, le nombre de Coxeter (en) $h$ défini ci-dessus est égal au plus grand degré : $h=d_{\ell }$ . Un groupe de réflexion complexe réductible est dit bien engendré s’il est un produit de groupes de réflexions complexes irréductibles bien engendrés. Tout groupe de réflexions réel fini est bien engendré.

Groupes de Shephard modifier

Les groupes de réflexions complexes bien engendrés comprennent un sous-ensemble appelé groupes de Shephard. Ces groupes sont les groupes de symétrie des polytopes complexes réguliers (en). Figurent en particulier parmi ceux-là les groupes de symétries des polyèdres réels réguliers. Les groupes de Shephard peuvent être caractérisés comme des groupes de réflexions complexes qui admettent une présentation « à la Coxeter » avec un diagramme linéaire. Autrement dit, un groupe de Shephard est défini par des entiers positifs $p 1, ..., p n$ et $q 1, ..., q n - 1$ tels qu'il existe une présentation par générateurs $s 1, ..., s n$ et relations

(s_{i})^{p_{i}}=1

pour

i = 1,..., n

,

s_{i}s_{j}=s_{j}s_{i}

si

|i-j|>1

,

et

s_{i}s_{i+1}s_{i}s_{i+1}\cdots =s_{i+1}s_{i}s_{i+1}s_{i}\cdots

où les produits de chaque côté ont

q i

facteurs pour

i = 1,..., n - 1

.

Cette information est parfois résumée dans le symbole de type Coxeter $p 1 [q 1] p 2 [q 2] \cdot\cdot\cdot [q n - 1] p n$ $p 1 [q 1] p 2 [q 2] \cdot\cdot\cdot [q n - 1] p n$ , comme indiqué dans la table ci-dessus.

Parmi les groupes de la famille infinie $G (m, p, n)$ , les groupes de Shephard sont ceux pour lesquels $p = 1$ . Il existe également 18 groupes de Shephard exceptionnels, dont trois réels^[5]^,^[6].

Matrices de Cartan modifier

Une matrice de Cartan étendue définit le groupe unitaire. Les groupes de Shephard de rang n ont n générateurs. Les coefficients diagonaux des matrices de Cartan ordinaires sont égaux à 2, alors que les réflexions complexes ne sont pas soumis à cette condition^[7]. Par exemple, le groupe de rang 1 et d'ordre p (avec les symboles p[], ) est défini par la matrice $1 \times 1$ égale à $\left[1-e^{2\pi i/p}\right]$ .

On note $\zeta _{p}=e^{2\pi i/p}$ , $\omega =\zeta _{3}=e^{2\pi i/3}={\tfrac {1}{2}}(-1+i{\sqrt {3}})$ , $\zeta _{4}=e^{2\pi i/4}=i$ , $\zeta _{5}=e^{2\pi i/5}={\tfrac {1}{4}}(\left({\sqrt {5}}-1\right)+i{\sqrt {2(5+{\sqrt {5}})}})$ , $\tau ={\tfrac {1+{\sqrt {5}}}{2}},\lambda ={\tfrac {1+i{\sqrt {7}}}{2}}$ , $\omega ={\tfrac {-1+i{\sqrt {3}}}{2}}$ .

Rang 1
Groupe		Cartan	Groupe		Cartan
2[]		$\left[{\begin{matrix}2\end{matrix}}\right]$	3[]		$\left[{\begin{matrix}1-\omega \end{matrix}}\right]$
4[]		$\left[{\begin{matrix}1-i\end{matrix}}\right]$	5[]		$\left[{\begin{matrix}1-\zeta _{5}\end{matrix}}\right]$

Rank 2
Group		Cartan	Group		Cartan
G₄	3[3]3	$\left[{\begin{smallmatrix}1-\omega &1\\-\omega &1-\omega \end{smallmatrix}}\right]$	G₅	3[4]3	$\left[{\begin{smallmatrix}1-\omega &1\\-2\omega &1-\omega \end{smallmatrix}}\right]$
G₆	2[6]3	$\left[{\begin{smallmatrix}2&1\\1-\omega +i\omega ^{2}&1-\omega \end{smallmatrix}}\right]$	G₈	4[3]4	$\left[{\begin{smallmatrix}1-i&1\\-i&1-i\end{smallmatrix}}\right]$
G₉	2[6]4	$\left[{\begin{smallmatrix}2&1\\(1+{\sqrt {2}})\zeta _{8}&1+i\end{smallmatrix}}\right]$	G₁₀	3[4]4	$\left[{\begin{smallmatrix}1-\omega &1\\-i-\omega &1-i\end{smallmatrix}}\right]$
G₁₄	3[8]2	$\left[{\begin{smallmatrix}1-\omega &1\\1-\omega +\omega ^{2}{\sqrt {2}}&2\end{smallmatrix}}\right]$	G₁₆	5[3]5	$\left[{\begin{smallmatrix}1-\zeta _{5}&1\\-\zeta _{5}&1-\zeta _{5}\end{smallmatrix}}\right]$
G₁₇	2[6]5	$\left[{\begin{smallmatrix}2&1\\1-\zeta _{5}-i\zeta ^{3}&1-\zeta _{5}\end{smallmatrix}}\right]$	G₁₈	3[4]5	$\left[{\begin{smallmatrix}1-\omega &1\\-\omega -\zeta _{5}&1-\zeta _{5}\end{smallmatrix}}\right]$
G₂₀	3[5]3	$\left[{\begin{smallmatrix}1-\omega &1\\\omega (\tau -2)&1-\omega \end{smallmatrix}}\right]$	G₂₁	2[10]3	$\left[{\begin{smallmatrix}2&1\\1-\omega -i\omega ^{2}\tau &1-\omega \end{smallmatrix}}\right]$

Rank 3
Group		Cartan	Group		Cartan
G₂₂	<5,3,2>₂	$\left[{\begin{smallmatrix}2&\tau +i-1&-i+1\\-\tau -i-1&2&i\\i-1&-i&2\end{smallmatrix}}\right]$	G₂₃	[5,3]	$\left[{\begin{smallmatrix}2&-\tau &0\\-\tau &2&-1\\0&-1&2\end{smallmatrix}}\right]$
G₂₄	[1 1 1⁴]⁴	$\left[{\begin{smallmatrix}2&-1&-\lambda \\-1&2&-1\\1+\lambda &-1&2\end{smallmatrix}}\right]$	G₂₅	3[3]3[3]3	$\left[{\begin{smallmatrix}1-\omega &\omega ^{2}&0\\-\omega ^{2}&1-\omega &-\omega ^{2}\\0&\omega ^{2}&1-\omega \end{smallmatrix}}\right]$
G₂₆	3[3]3[4]2	$\left[{\begin{smallmatrix}1-\omega &-\omega ^{2}&0\\\omega ^{2}&1-\omega &-1\\0&-1+\omega &2\end{smallmatrix}}\right]$	G₂₇	[1 1 1⁵]⁴	$\left[{\begin{smallmatrix}2&-\tau &-\omega \\-\tau &2&-\omega ^{2}\\-\omega ^{2}&\omega &2\end{smallmatrix}}\right]$

Rang 4
Groupe			Cartan	Groupe			Cartan
G₂₈	[3,4,3]		$\left[{\begin{smallmatrix}2&-1&0&0\\-1&2&-2&0\\0&-1&2&-1\\0&0&-1&2\end{smallmatrix}}\right]$	G₂₉	[1 1 2] ⁴		$\left[{\begin{smallmatrix}2&-1&i+1&0\\-1&2&-i&0\\-i+1&i&2&-1\\0&0&-1&2\end{smallmatrix}}\right]$
G₃₀	[5,3,3]		$\left[{\begin{smallmatrix}2&-\tau &0&0\\-\tau &2&-1&0\\0&-1&2&-1\\0&0&-1&2\end{smallmatrix}}\right]$	G₃₂	3[3]3[3]3		$\left[{\begin{smallmatrix}1-\omega &\omega ^{2}&0&0\\-\omega ^{2}&1-\omega &-\omega ^{2}&0\\0&\omega ^{2}&1-\omega &\omega ^{2}\\0&0&-\omega ^{2}&1-\omega \end{smallmatrix}}\right]$

Rang 5
Groupe			Cartan	Groupe			Cartan
G₃₁	O ₄		$\left[{\begin{smallmatrix}2&-1&i+1&0&-i+1\\-1&2&-i&0&0\\-i+1&i&2&-1&-i+1\\0&0&-1&2&-1\\i+1&0&i+1&-1&2\end{smallmatrix}}\right]$	G₃₃	[1 2 2] ³		$\left[{\begin{smallmatrix}2&-1&0&0&0\\-1&2&-1&-1&0\\0&-1&2&-\omega &0\\0&-1&-\omega ^{2}&2&-\omega ^{2}\\0&0&0&-\omega &2\end{smallmatrix}}\right]$

Articles connexes modifier

Notes et références modifier

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

↑ (Lehrer et Taylor 2009, Theorem 1.27).
↑ (Lehrer et Taylor 2009, p. 271).
↑ (Lehrer et Taylor 2009, Section 2.2).
↑ (Lehrer et Taylor 2009, Example 2.11).
↑ Peter Orlik, Victor Reiner et Anne V. Shepler, « The sign representation for Shephard groups », Mathematische Annalen, vol. 322, n^o 3,‎ mars 2002, p. 477-492 (DOI 10.1007/s002080200001).
↑ Harold Scott MacDonald Coxeter, Regular Complex Polytopes, Cambridge University Press, 1974, 185 p. (ISBN 052120125X).
↑ Unitary Reflection Groups, pp.91-93

Michel Broué, Gunter Malle et Raphaël Rouquier, « On complex reflection groups and their associated braid groups », dans Representations of groups (Banff, AB, 1994), vol. 16, Providence, R.I., American Mathematical Society, coll. « CMS Conf. Proc. », 1995 (MR 1357192, lire en ligne), p. 1-13
Michel Broué, Gunter Malle et Raphaël Rouquier, « Complex reflection groups, braid groups, Hecke algebras », Journal für die reine und angewandte Mathematik, vol. 1998, n^o 500,‎ 1998, p. 127-190 (ISSN 0075-4102, DOI 10.1515/crll.1998.064, MR 1637497, CiteSeer^x 10.1.1.128.2907)
Pierre Deligne, « Les immeubles des groupes de tresses généralisés », Inventiones Mathematicae, vol. 17, n^o 4,‎ 1972, p. 273-302 (ISSN 0020-9910, DOI 10.1007/BF01406236, Bibcode 1972InMat..17..273D, MR 0422673, S2CID 123680847)
Howard Hiller, Geometry of Coxeter groups, Boston-London, Pitman (Advanced Publishing Program), coll. « Research Notes in Mathematics » (n^o 54), 1982, iv+213 p. (ISBN 0-273-08517-4)
Gustav I. Lehrer et Donald E. Taylor, Unitary reflection groups, vol. 20, Cambridge University Press, coll. « Australian Mathematical Society Lecture Series », 2009 (ISBN 978-0-521-74989-3, MR 2542964)
G. C. Shephard et J. A. Todd, « Finite unitary reflection groups », Canadian Journal of Mathematics, Canadian Mathematical Society, vol. 6,‎ 1954, p. 274-304 (ISSN 0008-414X, DOI 10.4153/CJM-1954-028-3 , MR 0059914, S2CID 3342221, lire en ligne)
Harold Scott MacDonald Coxeter, Finite Groups Generated by Unitary Reflections : 4. The Graphical Notation, Table of n-dimensional groups generated by n Unitary Reflections, 1966, p. 422-423

Liens externes modifier

« Page du système de calcul formel MAGMA »

Portail des mathématiques

[1] (Lehrer et Taylor 2009, Theorem 1.27).

[2] (Lehrer et Taylor 2009, p. 271).

[3] (Lehrer et Taylor 2009, Section 2.2).

[4] (Lehrer et Taylor 2009, Example 2.11).

[5] Peter Orlik, Victor Reiner et Anne V. Shepler, « The sign representation for Shephard groups », Mathematische Annalen, vol. 322, n^o 3,‎ mars 2002, p. 477-492 (DOI 10.1007/s002080200001).

[6] Harold Scott MacDonald Coxeter, Regular Complex Polytopes, Cambridge University Press, 1974, 185 p. (ISBN 052120125X).

[7] Unitary Reflection Groups, pp.91-93

[1]

[2]

[3]

[4]

[5]

[6]

[7]