Quelques dnombrements dans les groupes finis

Richard Antetomaso
professeur au Lyce Saint-Louis
Rsum:
l'aide de la fonction de Mbius et d'une action de groupe, on montre trs simplement un cas
particulier d'un thorme de Frobenius et on l'applique l'tude des entiers tels que tout
groupe de cardinal est cyclique

1 Quelques faits
2 Une action de groupe
3 Un cas particulier d'un thorme de Frobenius
4 Une application

1 Quelques faits
1.1 Indicatrice d'Euler
On rappelle que, pour , dsigne le nombre des entiers premiers avec
. C'est aussi le nombre des lments inversibles (pour ) de l'anneau , ou encore
le nombre des lments du groupe tels que le sous-groupe
engendr par soit gal (i.e. est gnrateur de ), ou enfin le nombre
des lments de d'ordre exactement .
Comme tout groupe cyclique de cardinal est isomorphe , un tel groupe
contient exactement lments d'ordre i.e. exactement gnrateurs .
En outre, si se dcompose en facteurs premiers sous la forme (avec
), on a


1.2 Fonction de Mbius et formule d'inversion
Soit la fonction de Mbius dfinie sur par
Page 1sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=19&Type=enonce&Num=0&Mode=...


On note l'ensemble des diviseurs de ; en particulier contient et .
L'indice sera mis pour .
Proprits
a) Pour tout , on a .
b) Soit et , deux familles de rels. On a l'quivalence



c) Plus gnralement pour deux suites quelconques et de rels on a l'quivalence



Preuves a) Soit la dcomposition en facteurs premiers de . Il y a exactement
diviseurs de tels que : ce sont les o . On a donc


Comme on a , on peut crire


b) Supposons . Alors pour , et, pour
,


Or sauf si donc on a .
Inversement, si alors et, pour
Page 2sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=19&Type=enonce&Num=0&Mode=...
, on a


En posant dans la dernire somme on a


ce qui donne .
c) Il suffit de reprendre la dmonstration ci-dessus dans ce contexte.

2 Une action de groupe
Soit un groupe fini de cardinal de neutre not .
Pour , on considre l'ensemble


Si (grande lettre) est un lment de , on notera (petite lettre) ses coordonnes de
sorte que . Plus gnralement, on prolonge la notation par -
priodicit.
On note la permutation de dfinie par .
On notera que est bien dans car, pour , on a


Comme , on peut dfinir une action du groupe cyclique sur par


L'orbite de pour cette action est constitue des lments
Page 3sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=19&Type=enonce&Num=0&Mode=...


qui ne sont pas forcment distincts.

3 Un cas particulier d'un thorme de Frobenius
Proposition On suppose que divise et que est sans facteur carr. Alors le cardinal de
est multiple de .
Remarques
1) Le rsultat ci-dessus est vrai sans la restriction est sans facteur carr : c'est un
thorme de Frobenius. Le cas gnral est beaucoup plus difficile que ce cas particulier.
2) On dduit aisment de cette proposition le thorme de Cauchy selon lequel tout groupe fini
de cardinal multiple d'un nombre premier possde au moins un lment d'ordre ; la preuve
qui suit est d'ailleurs une adaptation de la preuve classique du thorme de Cauchy.
Preuve Soit le nombre de solutions dans de .
Avec les notations prcdentes considrons, pour diviseur de , les ensembles


Ainsi pour tout diviseur de on a la partition et donc les relations


Par ailleurs il est clair que est constitu des -uplets de la forme


tels que .
On a donc ( sont quelconques et
avec ). En particulier divise pour et en regardant modulo les
galits on a
Page 4sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=19&Type=enonce&Num=0&Mode=...


Pour conclure, les ont tous des orbites de mme cardinal sous l'action de donc
est multiple de et, du fait que (car est sans facteur carr) divise .

4 Une application
Proposition Tout groupe de cardinal tel que est premier avec est cyclique
Remarque On peut montrer que la proprit ci-dessus est caractristique des entiers tels que
tout groupe de cardinal est cyclique.
Preuve La formule donnant (cf. 1.1) montre que est sans facteur carr i.e.
o les sont premiers distincts.
Pour diviseur de , le nombre des lments de qui sont d'ordre exactement est multiple
de . En effet, la relation dfinie sur par si, et seulement si, et engendrent le
mme groupe (cyclique) est d'quivalence. Comme un groupe cyclique d'ordre possde
gnrateurs, les classes sont toutes de mme cardinal . On en dduit que le nombre des
lments d'ordre est multiple de . On le notera .
Par ailleurs la proposition prcdente montre que le nombre de solutions de est de la
forme . On va prouver que, pour tout diviseur de , .
On a dj car a lments. Raisonnons par l'absurde et considrons le plus
grand diviseur de tel que . On peut supposer avec .
Comme vrifie si, et seulement si, l'ordre de divise on a pour tout diviseur
de


Soit l'un des facteurs premiers de . On sait que si divise , divise
donc, en utilisant , modulo on a
Page 5sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=19&Type=enonce&Num=0&Mode=...


Or on a aussi donc, modulo , ; comme
est premier avec on a . Par ailleurs car contient des
lments d'ordre (le nombre des solutions de est multiple de donc il y a des
solutions non triviales) donc on a ce qui impose et contredit l'hypothse
.
Ainsi on a, pour tout diviseur de , ce qui donne


donc et contient des lments d'ordre : il est cyclique!

Page 6sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=19&Type=enonce&Num=0&Mode=...