Groupe cyclique 56336 28382101 2008-04-06T13:10:07Z Jean-Luc W 53231 /* Arithmétique */ Notations En [[mathématiques]] et plus précisément en [[algèbre]], un '''groupe cyclique''' est un [[groupe (mathématiques)|groupe]] de [[Nombre cardinal|cardinal]] fini dans lequel il existe un élément ''a'' tel que tout élément du groupe puisse (en notation additive) s'exprimer sous forme d'un multiple de ''a''. Sa structure est simple : il n'existe, à un [[isomorphisme]] près, qu'un seul groupe cyclique d'ordre n : ''Z''/''nZ'' le [[groupe quotient|quotient]] du groupe ''Z'' des [[entier relatif|nombres entiers]] par le [[sous-groupe]] des multiples de ''n''. Les groupes cycliques sont importants en [[théorie des groupes]] et de manière générale en algèbre. On les retrouve, par exemple, en [[théorie des anneaux]] et dans la [[théorie de Galois]]. ==Définitions== * Un groupe '''monogène''' est un groupe contenant un élément ''a'' tel que, pour tout élément ''x'' du groupe, il existe un entier ''n'' vérifiant ''x'' = ''a'' <sup>n</sup>. * Un '''groupe cyclique''' est un groupe monogène fini. L'expression '''cycle''' pour désigner un groupe cyclique est aussi utilisée. * Soit ''G'' un groupe et ''a'' un élément de ''G'', alors le '''groupe engendré par ''a''''', noté '''<''a''>''', est le plus petit sous-groupe de ''G'' contenant ''a''. * L''''ordre d'un élément''' d'un groupe est l'ordre du sous-groupe engendré par cet élément. L'ordre de ''a'' est noté |''a''| ou o(''a''). * Un '''élément générateur''' ou '''primitif''' d'un groupe cyclique est un élément qui a pour groupe engendré le groupe cyclique entier i.e dont l'ordre est l'ordre du groupe. == Applications == === Théorie des groupes === {{Article détaillé|théorie des groupes}} Les groupes cycliques sont importants, dans le contexte des [[groupe abélien|groupes abéliens]], à la fois pour l'étude des [[groupe abélien fini|groupes abéliens finis]] et ceux de [[groupe abélien de type fini|type fini]]. Ils sont en effet les éléments de base de la classification ''(cf le [[théorème de Kronecker]])''. Dans le cas des groupes abéliens de type fini, c'est à dire engendré par une famille finie, le groupe ''Z'' est à ajouter pour une classification complète. Dans le cas des [[groupe fini|groupes finis]] non abéliens le [[Théorème de Cauchy (groupes)|théorème de Cauchy]] montre l'existence de nombreux groupes cycliques. Ce théorème est utilisé pour la classification des groupes finis, même si souvent, certaines formes plus élaborées sont utilisées comme les trois [[théorèmes de Sylow]]. === Arithmétique === {{Article détaillé|Arithmétique modulaire}} En [[arithmétique]] ces groupes offrent un large répertoire d'outils et permettent de nombreuses démonstrations. Ces outils sont regroupés dans une branche des mathématiques nommée arithmétique modulaire. Ils se fondent sur l'étude des [[congruence sur les entiers|congruences]] sur l'[[anneau (mathématiques)|anneau]] des [[entier naturel|entiers]]. On peut citer comme exemple le [[petit théorème de Fermat]] ou encore le [[théorème des deux carrés de Fermat]] avec la démonstration de [[Richard Dedekind]]. On peut encore citer la [[loi de réciprocité quadratique]] qui repose sur des structures de groupes cycliques. Il existe de nombreux cas où le groupe sous-jacent est abélien fini et non cyclique. Cependant, comme tout groupe abélien fini est un [[produit direct (groupes)|produit direct]] de groupes cycliques (cf [[théorème de Kronecker]]) leur rôle reste prépondérant. On le trouve par exemple dans le [[théorème de la progression arithmétique]]. Ils jouent aussi un rôle important dans le cas où le groupe sous-jacent n'est plus fini mais de type fini. On peut citer comme exemple le [[théorème des unités de Dirichlet]]. En effet, un tel groupe prend la forme d'un produit direct de sous-groupes isomorphes soit à ''Z'' soit à un groupe cyclique. === Théorie des anneaux === {{Article détaillé|théorie des anneaux}} Les groupes cycliques jouent un rôle dans la [[théorie des anneaux]] particulièrement dans le cas des anneaux unitaires. En effet, il existe toujours un sous-groupe pour l'addition isomorphe à <math>\mathbb{Z}</math> ou à un groupe cyclique (cf [[caractéristique d'un anneau]]). === Théorie de Galois === {{Article détaillé|Théorie de Galois}} Dans le cas particulier des [[corps (mathématiques)|corps]] commutatifs, les groupes cycliques ont aussi un rôle fondamental. Une telle structure possède un groupe associé nommé [[groupe de Galois]]. Le [[théorème d'Abel-Ruffini]] indique que les propriétés de commutativité sont essentielles pour comprendre la [[théorie des équations]]. Le [[théorème de Kronecker-Weber]] montre que la compréhension de la résolution des équations algébriques est essentiellement liée à la structure des [[extension cyclotomique|extensions cyclotomiques]] dont le groupe de Galois est cyclique. La théorie de Galois permet aussi de construire tous les [[corps fini]]s, intimement associés à la structure de groupes cycliques. Ainsi le groupe additif est un produit direct de plusieurs occurrences d'un groupe cyclique et le groupe multiplicatif est cyclique. === Théorie de l'information === {{Article détaillé|Théorie de l'information}} La théorie de l'information utilise largement les groupes cycliques. Un élément essentiel de la [[cryptologie]] se fonde sur le fait qu'il est relativement simple de construire un grand [[nombre premier]] mais difficile de décomposer un grand nombre en nombres premiers. Ce principe est à la base du [[Rivest Shamir Adleman|Code à clé publique RSA]]. Les algorithmes de décomposition, nommés [[test de primalité]] se fondent très généralement sur les groupes cycliques. On peut citer comme exemple ceux de [[Test de primalité de Fermat|Fermat]] de [[Test de primalité de Miller-Rabin|Miller-Rabin]] ou encore de [[Test de primalité de Solovay-Strassen|Solovay-Strassen]] La théorie des [[code correcteur|codes correcteurs]], visant à assurer non pas la sécurité mais la fiabilité, n'est pas en reste. La grande majorité des codes utilisés dans l'industrie font partie de la famille des [[code cyclique|codes cycliques]] s'appuyant sur divers groupes cycliques. ==Théorème fondamental == Les groupes cycliques possèdent une structure ''simple'' à comprendre. Ils forment une structure telle que les puissances d'un élément, bien choisi, engendrent tout le groupe. Cette situation est illustrée dans la figure suivante, qui présentent les racines complexes de l'unité sur un cercle. L'élément neutre est représenté par un point noir, un élément générateur peut être obtenu en prenant (par exemple) le premier élément en tournant vers la droite, le carré de cet élément générateur s'obtient en tournant toujours dans la même direction. Et ainsi de suite. L'élément ''n+1'' est égal à l'élément ''1'', ''n+2'' à l'élément ''2'', et ainsi de suite. ''C''<sub>n</sub> désigne, suivant la convention habituelle, le groupe cyclique d'ordre ''n''. {| border="1" cellpadding="2" cellspacing="0" align="center" |----- ! [[Image:GroupDiagramMiniC1.png|center]] ! [[Image:GroupDiagramMiniC2.png|center]] ! [[Image:GroupDiagramMiniC3.png|center]] ! [[Image:GroupDiagramMiniC4.png|center]] ! [[Image:GroupDiagramMiniC5.png|center]] ! [[Image:GroupDiagramMiniC6.png|center]] ! [[Image:GroupDiagramMiniC7.png|center]] ! [[Image:GroupDiagramMiniC8.png|center]] |----- ! C<sub>1</sub> ! C<sub>2</sub> ! C<sub>3</sub> ! C<sub>4</sub> ! C<sub>5</sub> ! C<sub>6</sub> ! C<sub>7</sub> ! C<sub>8</sub> |} La traduction en termes mathématiques est alors la suivante : * '''Soit ''G'' un groupe cyclique d'ordre n, alors ''G'' est isomorphe à <math>\mathbb{Z}/n\mathbb{Z}</math>.''' Ce théorème est important, car il démontre la ''simplicité'' d'un groupe cyclique. À la fois, ce groupe est unique pour un ordre donné et, de plus, sa structure est limpide. De ce théorème découlent immédiatement quelques corolaires : * Tout groupe cyclique est [[groupe abélien|abélien]]. * Soit ''G'' un groupe cyclique d'ordre ''p''.''q'', où ''p'' et ''q'' sont deux entiers strictement positifs, alors il n'existe qu'un seul sous-groupe ''H'' d'ordre ''p'' et, si ''g'' est un élément primitif de ''G'', alors ''g''<sup>q</sup> est un élément primitif de ''H''. * Le [[groupe quotient|quotient]] d'un groupe cyclique par un sous-groupe quelconque est un groupe cyclique. * Soit ''p'' un nombre premier : le groupe cyclique d'ordre ''p'' est le seul groupe d'ordre ''p'', à un isomorphisme près. {{boîte déroulante|align=left|titre=Démonstrations|contenu= * '''Soit ''G'' un groupe cyclique d'ordre n, alors ''G'' est isomorphe à <math>\mathbb{Z}/n\mathbb{Z}</math>.''' Si le groupe est cyclique, alors il contient au moins un élément primitif ''g''. Considérons alors <math>\phi</math> l'application de <math>\mathbb{Z}</math> dans ''G'' qui à un entier ''p'' associe ''g'' <sup>p</sup>. Cette application est un [[homomorphisme de groupe|morphisme de groupe]], en effet: <center><math>\forall p,q\in \mathbb{Z} \quad \varphi (p+q)=g^{p+q}=g^p.g^q=\varphi(p).\varphi(q)</math></center> Par définition d'un groupe cyclique, le morphisme est surjectif. Donc la décomposition fondamentale des morphismes (cf [[homomorphisme de groupe|morphisme de groupe]]) montre que ''G'' est isomorphe à au [[groupe quotient]] <math>\mathbb{Z}</math>/''Ker'' φ. Le noyau de φ est non nul car sinon il existerait une bijection d'un ensemble de cardinal infini : <math>\mathbb{Z}</math> avec un ensemble de cardinal fini ''G''. Le noyau de φ est donc un sous-groupe non vide de <math>\mathbb{Z}</math>, il existe donc ''n'' un entier strictement positif tel que ''Ker'' φ = ''n'' <math>\mathbb{Z}</math> (cf paragraphe [[Sous-groupe#Exemples|exemples de sous-groupes]]). La démonstration est donc achevée. * '''Tout groupe cyclique est abélien.''' La démonstration précédente montre l'existence d'un morphisme [[surjection|surjectif]] d'un groupe abélien : de ''Z'' vers le groupe cyclique. La propriété de [[commutativité]] du groupe de départ est donc transmise au groupe cyclique. * '''Soit ''G'' un groupe cyclique d'ordre ''p''.''q'', où ''p'' et ''q'' sont deux entiers strictement positifs, alors il n'existe qu'un seul sous-groupe ''H'' d'ordre ''p'' et, si ''g'' est un élément générateur de ''G'', alors ''g''<sup>q</sup> est un élément générateur de ''H''.''' Remarquons tout d'abord que tout élément ''g''<sup>r</sup> (comme ''g'' est générateur du groupe, pour tout élément du groupe, il existe un unique entier ''r'' compris entre 1 et ''p''.''q'', tel qu'il est égal à ''g''<sup>r</sup>) d'un sous-groupe d'ordre ''p'' de ''G'' vérifie l'équation du [[Théorème de Lagrange (algèbre)|théorème de Lagrange]] : <center><math>g^{rp}=1\;</math></center> On en déduit que ''r''.''p'' est un multiple de ''p''.''q'' et, donc, ''r'' est un multiple de ''q''. Il existe exactement ''p'' valeurs possibles de ''r'', tel que ''r'' soit un multiple de ''q'' et soit compris entre 1 et ''p''.''q''. Il n'existe donc que ''p'' candidats à être élément d'un sous-groupe cyclique d'ordre ''p''. Il ne peut donc exister qu'un seul sous-groupe cyclique d'ordre ''p'' dans ''G''. Réciproquement, le sous-groupe engendré par ''g''<sup>q</sup> est un sous-groupe monogène à ''p'' éléments. Il existe donc bien un sous-groupe à ''p'' éléments, ce qui termine la démonstration. * '''Le quotient d'un groupe cyclique par un sous-groupe quelconque est un groupe cyclique.''' Les puissance d'un générateur du groupe parcourent l'intégralité du groupe, par passage au quotient, la classe du générateur engendre le groupe quotient. * '''Pour ''p'' nombre premier, le seul groupe d'ordre ''p'' est le groupe cyclique d'ordre ''p'' à un isomorphisme près.''' Soit ''g'' un élément du groupe d'ordre ''p''. Il engendre un sous-groupe à au moins deux éléments 1 et ''g''. Le théorème de Lagrange montre que le sous-groupe engendré par ''g'' a pour ordre un diviseur de ''p''. Or, ''p'' n'a pas d'autre diviseur strictement supérieur à 1 que lui-même. Le sous-groupe engendré par ''g'' est donc le groupe entier. Il est donc monogène et d'ordre fini, c'est-à-dire cyclique.}} ==Propriétés== ===Théorème chinois=== {{Article détaillé|Théorème chinois}} Le théorème chinois permet la décomposition d'un groupe cyclique en groupes cycliques plus petits et, en général, plus ''simples''. Ce théorème est largement utilisé en [[théorie algébrique des nombres]] et plus spécifiquement en [[arithmétique modulaire]]. Il est aussi à la base de nombreux [[Algorithmique|algorithmes]] de [[cryptographie]], on peut citer par exemple celui qui est utilisé dans le cryptage [[Rivest Shamir Adleman|RSA]]. En théorie des groupes, le théorème s'énonce de la manière suivante : * '''Soit ''u'' et ''v'' deux [[Nombres premiers entre eux|entiers premiers entre eux]], alors le groupe cyclique d'ordre ''u''.''v'' est isomorphe au [[Produit direct (groupes)|produit]] des groupes cycliques d'ordre ''u'' et ''v''.''' '''Note''' : Si ''u'' et ''v'' ne sont pas premiers entre eux, alors le groupe produit ne contient pas d'élément d'ordre supérieur au [[Plus petit commun multiple|ppcm]] de ''u'' et de ''v''. Ce groupe n'est donc pas isomorphe au groupe cyclique d'ordre ''u''.''v''. Ce théorème entraine une décomposition unique d'un groupe cyclique en facteurs premiers, si ''n'' est l'ordre du groupe alors le [[théorème fondamental de l'arithmétique]] montre que ''n'' se décompose de la manière unique suivante: <center><math>n = \prod_{i=1}^k p_i^{\alpha_i}\;</math></center> Ou (''p''<sub>i</sub>) est une famille de ''k'' nombres premiers tous distincts et α<sub>i</sub> des entiers supérieurs ou égaux à un. Les puissances des nombres premiers du produit sont tous premiers entre eux. Une simple récurrence montre : *'''Tout groupe cyclique se décompose de manière unique en un produit de groupes cycliques d'ordre une puissance d'un nombre premier.''' {{boîte déroulante|align=left|titre=Démonstrations|contenu= * '''Montrons que si ''u'' et ''v'' sont premiers entre eux, alors les groupes sont isomorphes.''' Soit ''G'' (respectivement ''G''<sub>u</sub> et ''G''<sub>v</sub>) un groupe cyclique d'ordre ''u''.''v'' (respectivement ''u'' et ''v'') et d'élément générateur ''g'' (respectivement ''g''<sub>u</sub> et ''g''<sub>v</sub>). Soit <math>\phi</math> l'application de ''G'' dans ''G''<sub>u</sub> x ''G''<sub>v</sub> définie par : <center><math>\forall n \in \mathbb{Z} \quad \varphi (g^n)=g_u^n,g_v^n</math></center> Remarquons ensuite que φ est un morphisme: <center><math>\forall n,m \in \mathbb{Z} \quad \varphi(g^n).\varphi(g^m)=(g_u^n,g_v^n).(g_u^m,g_v^m)=(g_u^{n+m},g_v^{n+m})=\varphi(g^{n+m})</math></center> Remarquons enfin φ est bijective : En effet, si ''g''<sup>m</sup> est élément du noyau, alors ''m'' est un multiple de ''u'' et de ''v''. Comme ces deux nombres sont premiers entre eux, on en déduit que ''m'' est un multiple de ''u.v''. Donc ''g''<sup>m</sup> est l'élément neutre de l'ensemble de départ, et φ est injective car son noyau est réduit à l'élément neutre. Comme les groupes de départ et d'arrivée ont le même cardinal et que l'application est injective, elle est aussi surjective. Nous avons montré que φ est bijective. Conclusion : φ est un morphisme bijectif du groupe cyclique vers le groupe produit, les deux groupes sont donc bien isomorphes. * '''Montrons que si ''u'' et ''v'' ne sont pas premiers entre eux, alors le groupe produit ne contient pas d'élément d'ordre supérieur au ppcm de ''u'' et de ''v''.''' Notons ''p'' le ppcm de ''u'' et de ''v''. La puissance ''p''ième d'un élément quelconque de ''G''<sub>u</sub> (respectivement ''G''<sub>v</sub>) est égal à l'élément neutre d'après le [[Théorème de Lagrange (algèbre)|théorème de Lagrange]]. En effet, ''p'' est un multiple de l'ordre des groupes. On en déduit que la puissance ''p''ième d'un élément quelconque du groupe produit est égal à l'identité. On en conclut que le groupe produit ne contient pas d'élément d'ordre supérieur à ''p''. En revanche, ''G'' contient par définition un élément d'ordre ''u''.''v'' qui est strictement plus grand que ''p''. Les deux groupes ne peuvent donc pas être isomorphes.}} ===Indicatrice d'Euler=== {{Article détaillé|Indicatrice d'Euler}} Le nombre d'éléments générateurs d'un groupe cyclique correspond à une question importante. Elle intervient par exemple dans les calculs de déterminations des [[polynôme cyclotomique|polynômes cyclotomiques]] ou dans la [[Fonction zeta de Riemann]]. Cette fonction est en général notée <math>\phi</math> et si ''n'' est un entier, φ(''n'') désigne le nombre d'éléments générateurs d'un groupe cylique d'ordre ''n''. La valeur de l'indicatrice d'Euler s'obtient par l'expression de l'ordre ''u'' du groupe donnée par le [[théorème fondamental de l'arithmétique]] : <center><math>Si\;u=\prod_{i=1}^q p_i^{k_i}\quad alors \quad \varphi (u)=\prod_{i=1}^q (p_i-1).p_i^{k_i-1}</math></center> Dans la formule, ''p''<sub>i</sub> désigne un nombre premier et ''k''<sub>i</sub> un entier strictement positif. Une démonstration est proposée dans l'article détaillé. Dans le groupe cyclique <math>\frac {\mathbb Z} {n \mathbb Z}</math>, si l'on note ses éléments <math>\left\{ 0 , 1 , 2 , \dots , n - 1 \right\}</math>, alors les générateurs sont les <math>k</math> qui sont premiers avec <math>n</math> et leur nombre est une autre définition de l'indicatrice d'Euler. ==[[homomorphisme de groupe|Morphisme]]== ===Endomorphisme=== Soit ''G'' un groupe cyclique d'ordre ''n'', ''g'' un générateur et <math>\psi</math> un [[endomorphisme]]. La structure de ''G'' est entièrement déterminée par l'élément ''g''. En conséquence, ψ est entièrement déterminé par l'image de ''g''. Soit ''p'' l'entier tel que ψ(''g'') = ''g'' <sup>p</sup>. Réciproquement, si ''p'' est un entier (que l'on peut choisir entre 1 et ''n''), alors l'application ψ qui à ''g''<sup>k</sup> associe ''g'' <sup>p.k</sup> définit un endomorphisme. En effet : <center><math>\forall k,l\in \mathbb{Z} \quad \psi(g^{k+l})=g^{p(k+l)}=g^{pk}.g^{pl}=\psi(g^k).\psi(g^l)</math></center> On en déduit les premières propriétés sur les endomorphismes des groupes cycliques : * '''Un endomorphisme sur un groupe cyclique est entièrement déterminé par l'image d'un générateur.''' * '''Il existe exactement ''n'' endormorphismes sur un groupe cyclique d'ordre ''n''.''' L'analyse de la fonction indicatrice d'Euler montre que: * '''Il existe exactement φ(''n'') [[automorphisme]]s d'un groupe cyclique d'ordre ''n'' dans lui-même, si φ désigne l'indicatrice d'Euler'''. On peut remarquer, dans le cas où l'ensemble d'arrivée est différent de l'ensemble de départ, que si le groupe de départ est cyclique, alors l'image du morphisme est aussi cyclique. === Caractère === {{Article détaillé|Caractère d'un groupe fini}} Un caractère correspond au morphisme d'un groupe dans un groupe (''C''<sub>*</sub>,.), où ''C'' désigne le [[corps (mathématiques)|corps]] des [[nombre complexe|nombres complexes]]. Cette notion est au cœur d'une théorie importante, celle des [[représentations d'un groupe fini]]. * '''Il existe exactement ''n'' caractères pour un groupe cyclique d'ordre ''n''.''' * '''L'image d'un caratère est l'ensemble des [[racine de l'unité|racines ''p''ièmes de l'unité]], où p est le cardinal de l'image'''. On remarquera alors que ''p'' divise ''n''. En conséquence, tout caractère a pour image un groupe, sous-groupe de l'ensemble des racines ''n''ièmes de l'unité, où ''n est le cardinal du groupe. De plus, l'ensemble des racines ''n''ièmes de l'unité forme un groupe cyclique. * '''Soit ''g'' un générateur du groupe cyclique et ''r'' une racine ''n''ième de l'unité, alors il existe un et un seul caractère <math>\psi</math> tel que l'image de ''g'' par <math>\psi</math> soit égal à ''r''. De plus, <math>\psi</math> est défini par l'égalité suivante :''' <center><math>\forall m\in \mathbb{Z} \quad \psi(g^m)=r^m</math></center> {{boîte déroulante|align=left|titre=Démonstrations|contenu= * '''Soit ''g'' un générateur du groupe cyclique et ''r'' une racine ''n''ième de l'unité, alors il existe un et un seul caractère <math>\psi</math> tel que l'image de ''g'' par <math>\psi</math> soit égal à ''r''. De plus, <math>\psi</math> est défini par l'égalité suivante :''' <center><math>\forall m\in \mathbb{Z} \quad \psi(g^m)=r^m</math></center> L'image d'un générateur détermine entièrement le caractère. En effet, pour tout élément du groupe, il existe un entier ''m'' tel que ''g''<sup>m</sup> est égal à cet élément. De plus, l'application définie par l'égalité précécente est clairement un morphime. La proposition est donc bien démontrée. * '''Il existe exactement ''n'' caractères pour un groupe cyclique d'ordre ''n''.''' C'est une conséquence directe de la proposition précédente. * '''L'image d'un caratère est l'ensemble des racines ''p''ièmes de l'unité, où p est le cardinal de l'image'''. L'image d'un générateur par un caractère engendre un sous-groupe, soit ''p'' son cardinal. Le théorème de Lagrange démontre que tout élément de l'image est une racine ''p''ième de l'unité et que ''p'' divise ''n''. Or, il existe exactement ''p'' racines de l'unité, ces racines forment donc l'image du caractère et la proposition est démontrée.}} ==Voir aussi== ===Liens externes=== * {{fr}} [http://perso.orange.fr/serge.hublau/004_groupes_cycliques.pdf#search=%22groupe%20cyclique%22 Les groupes cycliques] par Serge Hublau * {{fr}} [http://www.refer.ne/musatesa/site_licence/cours/node8.html cours de licence sur les groupes cycliques] * {{fr}} [http://mmathou.club.fr/generateurs_relations.html#cyclique groupes cycliques] sur ''www.mathou.org'' * {{fr}} [http://www.dma.ens.fr/~madore/mpri2005/mpri2005-2.pdf#search=%22anneau%20cyclique%20groupe%20des%20unit%C3%A9s%22 groupe cyclique et entier modulaire] David A. Madore ===Références=== * S. Lang, ''Algèbre'', Dunod, 2004. * J. F. Labarre, ''La Théorie des groupes'', Presses Universitaires de France, 1978. {{portail mathématiques}} [[Catégorie:Groupe remarquable|Cyclique]] [[ca:Grup cíclic]] [[cs:Cyklická grupa]] [[de:Zyklische Gruppe]] [[en:Cyclic group]] [[eo:Cikla grupo]] [[es:Grupo cíclico]] [[fi:Syklinen ryhmä]] [[he:חבורה ציקלית]] [[hu:Ciklikus csoport]] [[it:Gruppo ciclico]] [[ja:巡回群]] [[ko:순환군]] [[nl:Cyclische groep]] [[pl:Grupa cykliczna]] [[pt:Grupo cíclico]] [[ru:Циклическая группа]] [[sr:Циклична група]] [[sv:Cyklisk grupp]] [[ta:சுழற் குலம்]] [[vi:Nhóm cyclic]] [[zh:循環群]]