En teoría de grupos, un grupo cíclico es un grupo que puede ser generado por un solo elemento; es decir, hay un elemento a del grupo G (llamado "generador" de G), tal que todo elemento de G puede ser expresado como una potencia de a. Si la operación del grupo se denota aditivamente, se dirá que todo elemento de G se puede expresar como na, para n entero. En otras palabras, G es cíclico, con generador a, si G = { an | n ∈ Z }. Dado que un grupo generado por un elemento de G es, en sí mismo, un subgrupo de G, basta con demostrar que el único subgrupo de G que contiene a a es el mismo G para probar que éste es cíclico. Por ejemplo, G = { e, g1, g2, g3, g4, g5 } es cíclico. De hecho, G es esencialmente igual (esto es, isomorfo) al grupo { 0, 1, 2, 3, 4, 5 } bajo la operación de suma módulo 6. El isomorfismo se puede hallar fácilmente haciendo ga→ a. Contrariamente a lo que sugiere la palabra "cíclico", es posible generar infinitos elementos y no formar nunca un ciclo real: es decir, que cada gn sea distinto. Un grupo tal sería un grupo cíclico infinito, isomorfo al grupo Z de los enteros bajo la adición. Salvo isomorfismos, existe exactamente un grupo cíclico para cada cantidad finita de elementos, y exactamente un grupo cíclico infinito. Por lo anterior, los grupos cíclicos son de algún modo los más simples, y han sido completamente clasificados. Por esto, los grupos cíclicos normalmente se denotan simplemente por el grupo "canónico" al que son isomorfos: si el grupo es de orden n, para n entero, dicho grupo es el grupo Zn de enteros { 0, ..., n-1 } bajo la adición módulo n. Si es infinito, éste es, como cabe esperarse, Z. La notación Zn comúnmente es evitada por teoristas de los números, puesto que puede ser confundida con la notación usual para los números p-ádicos. Una alternativa es usar la notación de grupo cociente, Z/nZ; otra posible solución es denotar la operación multiplicativamente, y representar el grupo Cn = { e, a1, a2, ..., an-1 }. Empero, estas dos notaciones no son tan populares como Zn.

Leer el artículo completo en Wikipedia · CC-BY-SA

In algebra, a cyclic group or monogenous group is a group that is generated by a single element. That is, it consists of a set of elements with a single invertible associative operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation or its inverse to g. Each element can be written as a power of g in multiplicative notation, or as a multiple of g in additive notation. This element g is called a generator of the group. Every infinite cyclic group is isomorphic to the additive group of Z, the integers. Every finite cyclic group of order n is isomorphic to the additive group of Z/nZ, the integers modulo n. Every cyclic group is an abelian group (meaning that its group operation is commutative), and every finitely generated abelian group is a direct product of cyclic groups.

Leer el artículo completo en Wikipedia · CC-BY-SA