Théorie des groupes/Exercices/Théorème de Jordan-Hölder
Problème 1
modifierSoit n un nombre naturel non nul. En appliquant le théorème de Jordan-Hölder au groupe Z/nZ, prouver que n est le produit d'une famille finie de nombres premiers et que cette famille est unique à l’ordre près.
Puisque n n’est pas nul, le groupe Z/nZ est fini. Comme nous l'avons vu, il en résulte que ce groupe admet une suite de Jordan-Hölder. Puisque le groupe Z/nZ est commutatif, les quotients de cette suite sont des groupes simples commutatifs, donc leurs ordres sont des nombres premiers. Nous avons vu que le produit des ordres des quotients d'une suite de composition d'un groupe est égal à l’ordre de ce groupe, donc l’ordre n de Z/nZ est un produit de nombres premiers, ce qui démontre la première assertion de l'énoncé.
Soient maintenant et deux décompositions de n en produit de facteurs premiers. Nous savons que si G est un groupe cyclique et d un diviseur de l’ordre de G, G admet un (et un seul) sous-groupe d'indice d et que ce sous-groupe est lui-même cyclique. Posons G0 = Z/nZ et pour tout i ( ), prenons pour Gi le sous-groupe d'indice pi de Gi-1. On montre de proche en proche que l'indice de Gi dans G est . En particulier, l'indice de Gr dans G est , donc Gr = 1. Nous avons donc construit une suite de Jordan-Hölder de G dont les quotients sont d'ordres . Il existe de même une suite de Jordan-Hölder de G dont les quotients sont d'ordres . D'après le théorème de Jordan-Hölder, ces deux suites sont équivalentes, donc r = s et il existe une permutation de l’ensemble telle que, pour tout i ( ), soit isomorphe à . Deux groupes isomorphes ayant le même ordre, on a alors pour tout i ( ), ce qui montre que nos deux décompositions de n en facteurs premiers sont les mêmes à l’ordre près.