Groupe des permutations

[ Definition ]
Soit un ensemble \(E\). On appelle permutation de \(E\), une bijection \(\sigma:E\mapsto E\). On note \(\mathfrak{S}\left(E\right)\) l’ensemble des permutations de l’ensemble \(E\). On sait que \(\bigl(\mathfrak{S}\left(E\right), \circ \bigr)\) est un groupe (voir la proposition [prop_gr_sym] page [prop_gr_sym]), appelé groupe des permutations de l’ensemble \(E\).
En savoir plus