Vous êtes sur la page 1sur 4

Module Algèbre 2 L.

Izelgue

Université Cadi Ayyad Année universitaire 2021/2022


Faculté des Sciences - Semlalia
Département de Mathématiques Filière SMA : Semestre S1

————————————————————————

—————————————————————————–

Chapitre 1 : STRUCTURES DE GROUPES

I Séance du 03 /11/2021

B. GROUPES SYMETRIQUES
(Suite)

3. Décomposition d’une permutation

Théorème 3.1.
Soient n ∈ N∗ et σ ∈ Sn \ {idNn }. Alors, σ se décompose en produit de cycles
ayant des supports, deux à deux, disjoints.
Cette décomposition est unique à l’ordre près.

Démonstration.
C’est une conséquence du fait que les σ-orbites forment une partition de Nn et que
chaque σ-orbite non réduite à un point définit un cycle. 

Remarque 3.1.

On convient que l’identité est le produit de 0 cycles. idNn = σ 0 pour


tout cycle σ de Sn .

1
Module Algèbre 2 L. Izelgue

Proposition 3.1.

Soit σ ∈ Sn \ {idSn }.
Si σ = C1 C2 . . . Cr est la décomposition en produit de cycles disjoints.
Alors :
or(σ) = ppcm(or(C1 ), or(C2 ), . . . , or(Cr )).

Exemple 3.1.
Soit σ un élément de Sn définie par :
!
1 2 3 4 5 6 7 8
σ= .
2 3 4 5 1 7 6 8

− La décomposition de σ en cycles disjoints est σ = (1 2 3 4 5)(6 7).


− Posons c1 = (1 2 3 4 5) et c2 = (6 7), alors or(c1 ) = 5 et or(c2 ) = 2.
Ainsi, or(σ) = ppcm(or(c1 ), or(c2 )) = ppcm(5, 2) = 10.
- Calculons σ 2009 .
Par division Euclidienne, on a 2009 = 10 × 200 + 9. Ainsi,
σ 2009 = σ 10×200+9 = (σ 10 )200 σ 9 = σ = σ 9 .
D’autre part, or(c1 ) = 5 ⇒ c91 = c41 = c−1
1 et or(c2 ) = 2 ⇒ c92 = c2 . D’où,
σ 2009 = c91 c92
= c−1
1 c2
= (5 4 3 2 1)(6 7)
!
1 2 3 4 5 6 7 8
= .
5 1 2 3 4 7 6 8

Remarque 3.2.

Pour 2 ≤ r ≤ n, tout r-cycle c = (i1 i2 . . . ir ), s’écrit comme produit de


r − 1 transpositions.
En effet, si c = (i1 i2 . . . ir ), on peut l’écrire :
c = (i1 i2 )(i2 i3 ) . . . (ir−1 ir ).
Cette décomposition n’est pas unique.
- Comme conséquence, toute permutation σ ∈ Sn se décompose en pro-
duit de transposition.

2
Module Algèbre 2 L. Izelgue

Exemple 3.2.
Soit σ ∈ S6 définie par :
!
1 2 3 4 5 6 7
σ=
5 2 1 7 6 3 4
On écrit d’abord σ sous forme de produit de cycles à supports disjoints :
σ = (1 5 6 3)(4 7).
En suite, on décompose chacun des cycles en produit de transpositions :
σ = (1 5)(5 6)(6 3)(4 7).

Remarque 3.3.
1. Les transpositions ne commutent pas en général, par exemple :
(2 4)(4 7) = (2 4 7) et (4 7)(2 4) = (7 4 2).
Donc, (2 4 7) 6= (7 4 2).
2. La décomposition d’une permutation en produit de transposition
n’est pas unique, mais il garde toujours la même parité.
C’est à dire que si σ = τ1 . . . τs = η1 . . . ηr sont deux décomposi-
tion de σ en produit de transpositions, alors s = 2k ⇐⇒ r = 2l.
Donc aussi, s = 2k + 1 ⇐⇒ r = 2l + 1.
3.
 Soit σ ∈ Sn avec σ = τ1 . . . τd produit de d transposition.
On définit la signature de σ, qu’on note ε(σ), par : ε(σ) =
(−1)d .
 Une permutation σ ∈ Sn est dite paire (resp., impaire) si
ε(σ) = 1 (resp., ε(σ) = −1).

Exemple 3.3.
!
1 2 3 4 5 6
Soit σ ∈ S6 avec σ = .
3 5 4 1 6 2
La décomposition de σ en cycles disjoints : σ = (1 3 4)(2 5 6)
Une décomposition de σ en produit de transpositions : σ = (1 3)(3 4)(2 5)(5 6)
Ainsi, la signature de σ est : ε(σ) = (−1)4 = 1. D’où σ est paire.
B Vérifier que nous avons aussi :
σ = (1 3)(3 4)(2 5)(5 6)(3 2)(2 3)(5 4)(4 5), et par suite
ε(σ) = (−1)8 = 1.

Notons que l’application


ε : Sn −→ {−1, 1}
σ 7−→ ε(σ)
définie un homomorphisme de groupes.
3
Module Algèbre 2 L. Izelgue

Remarque 3.4.
Comme conséquence, Soient σ, η ∈ Sn . Alors :
(i) σ et σ −1 ont la même signature. i.e., ε(σ) = ε(σ −1 ).
(ii) ε(ση) = ε(σ)ε(η) = ε(ση).
(ii) ε(ηση −1 ) = ε(σ).

Le noyau de ε, soit Ker(ε) = {σ ∈ Sn | ε(σ) = 1} est un sous-groupe de Sn


formé des permutations paires. On l’appelle le groupe alterné de degré n. Il est noté
n!
Ker(ε) = An . On montre qu’il est d’ordre .
2
Exemple 3.4.

- Le groupe alterné de degré 2 : A2 = {idN2 }.


- Le groupe symétrique de degré 3 est d’ordre 6 et contient : l’identité, trois
transpositions et deux cycles d’ordre 3. Le groupe alterné de degré 3 ne com-
porte que l’identité et les cycles d’ordre 3 A3 = {idS3 , (1 2 3), (1 3 2)}.

Vous aimerez peut-être aussi