Nombre cyclique (théorie des groupes)
Modèle:Confusion En théorie des groupes, un nombre cyclique est un entier n tel qu'il n'existe qu'un groupe fini d'ordre n (à isomorphisme près) : le groupe cyclique (ℤ/nℤ, +), ou encore, un entier n tel que tout groupe d'ordre n soit cyclique.
De même, un nombre abélien est un entier n tel que tout groupe d'ordre n soit abélien.
Tout nombre cyclique est abélien, et tout nombre abélien est nilpotent. L'appartenance d'un entier à l'une de ces classes se lit sur sa décomposition en facteurs premiers.
Exemples et contre-exemples
- Le nombre 1 est cyclique (voir « Groupe trivial »).
- Tout nombre premier est cyclique (voir « Applications du théorème de Lagrange »).
- Le nombre 15 est cyclique (voir « Applications des théorèmes de Sylow »).
- Tout carré d'un nombre premier est abélien mais non cyclique (voir « Remarque sur les p-groupes »).
- Aucun nombre pair supérieur ou égal à 6 n'est abélien (voir « Groupe diédral »).
- Aucun cube de nombre premier p n'est abélien (voir « [[Groupe de Heisenberg#Groupe de Heisenberg sur Fp|Groupe de Heisenberg sur FModèle:Ind]] »).
- Tout diviseur d'un nombre abélien (resp. cyclique) est abélien (resp. cyclique) (voir « Produit direct »).
Voir aussi : « Liste des petits groupes ».
Caractérisation
Soit pModèle:IndModèle:Exp … pModèle:IndModèle:Exp la décomposition de n en facteurs premiers (avec pModèle:Ind < … < pModèle:Ind et kModèle:Ind ≥ 1).
- n est cyclique si et seulement si[1]Modèle:,[2]Modèle:,[3]Modèle:,[4]Modèle:,[5] n est premier avec φ(n), où φ désigne l'indicatrice d'Euler ou plus explicitement : si n est sans carré (c'est-à-dire que tous les exposants kModèle:Ind sont égaux à 1) et pour tout Modèle:Math, Modèle:Math ne divise pas Modèle:Math.
- n est abélien si et seulement si[6]Modèle:,[4] n est « sans cube » (c'est-à-dire que pour chaque i, kModèle:Ind est égal à 1 ou 2) et pour tout Modèle:Math, Modèle:Math ne divise pas Modèle:Math.
Corollaires :
- Si n est abélien, le nombre de groupes abéliens d'ordre n est égal à [4].
- Pour tous entiers naturels a et b non tous deux nuls, il existe une infinité de nombres abéliens contenant a facteurs premiers à la puissance 1 et b facteurs premiers à la puissance 2 (d'après le théorème de la progression arithmétique de Dirichlet)[7]. De même, pour tout a non nul, il existe une infinité de nombres cycliques ayant a facteurs premiers.
Démonstration
Modèle:Voir Tout groupe cyclique est abélien, c'est-à-dire nilpotent de classe au plus 1. Or l'article détaillé montre que :
- l'entier n est nilpotent (i. e. tout groupe d'ordre n est nilpotent) si et seulement si pour tous Modèle:Math et tout Modèle:Math compris entre Modèle:Math et Modèle:Math, Modèle:Math ne divise pas Modèle:Math ;
- tout groupe d'ordre n est nilpotent de classe au plus c (pour c ≥ 1) si et seulement si, de plus, n est « sans puissances (c + 2)-ièmes ».
Les nombres abéliens sont donc les nombres nilpotents sans cubes. Montrons de même que les nombres cycliques sont les nombres nilpotents sans carré. Tout groupe nilpotent fini est produit direct de ses sous-groupes de Sylow ; il est donc cyclique si (et seulement si) ses sous-groupes de Sylow le sont. Par conséquent, l'entier n est cyclique si et seulement s'il est nilpotent et si de plus, chacun de ses facteurs primaires pModèle:IndModèle:Exp est un nombre cyclique, c'est-à-dire Modèle:Supra kModèle:Ind = 1.
Notes et références
Liens externes
- Modèle:En Modèle:OEIS des nombres cycliques
- Modèle:En Modèle:OEIS des nombres abéliens
- Modèle:Lien web (effleure des questions de densité asymptotique)
- ↑ Modèle:Article.
- ↑ Modèle:Article.
- ↑ Modèle:Article.
- ↑ 4,0 4,1 et 4,2 Modèle:Article.
- ↑ Modèle:Article.
- ↑ Modèle:Article, § 5.
- ↑ Modèle:Article.