Grupo cíclico

Grupo cíclico
Las seis raíces complejas 6-ésimas de la unidad forman un grupo cíclico bajo la multiplicación. z es un elemento generador de este grupo cíclico o elemento primitivo, pero z2 no lo es, porque las potencias impares de z no son representables como potencias del elemento z2.

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 | nZ }. 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 g → 1.

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 tal grupo 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.

Propiedades

Por lo dicho ya en la introducción, todo grupo cíclico es isomorfo a Zn, o bien, a Z. Basta entonces con examinar dichos grupos para entender los grupos cíclicos en general. Dado un grupo cíclico G de orden n (donde n puede valer infinito), y dado gG, se tiene:

  • G es abeliano; es decir, su operación es conmutativa: ab = ba para cualesquiera a y bG. Esto es cierto, puesto que cualquier par de enteros a y b, a + b mód n = b + a mód n.
  • Si n < ∞, entonces gn = e, puesto que n mód n = 0.
  • Si n = ∞, entonces el grupo tiene exactamente dos generadores: 1 y -1 en Z, y sus imágenes isomórficas en otros grupos cíclicos infinitos.
  • Todo subgrupo de G es cíclico. De hecho, para n finito, todo subgrupo de G es isomorfo a un Zm, donde m es divisor de n; y si n es infinito, todo subgrupo de G corresponderá a un subgrupo mZ de Z (el cual es también isomorfo a Z), bajo el isomorfismo entre G y Z.

Los generadores de Zn son los enteros que son primos relativos con n. El número de tales generadores se designa por φ(n), donde φ designa la función φ de Euler. En general, si d es un divisor de n, el número de elementos de Zn de orden d es φ(d). El orden del elemento m es n / mcd(m,n).

Si p es primo, el único grupo con p elementos (salvo isomorfismos) es Zp.

El producto directo de dos grupos cíclicos Zn y Zm es cíclico si y solo si m y n son primos entre sí; en tal caso, el grupo obtenido será isomorfo a Znm. Por ejemplo, Z12 es isomorfo a Z3×Z4, pero no a Z6×Z2.

El teorema fundamental de los grupos abelianos afirma que todo grupo abeliano finitamente generado es isomorfo al producto directo de un número finito de grupos cíclicos.

Zn y Z son también anillos conmutativos. Si n es un número primo, Zn es un cuerpo finito, también denotado por Fn o GF(n). Cualquier otro cuerpo con n elementos es isomorfo al ya descrito.

Subgrupos

Todos los subgrupos y grupos cocientes de un grupo cíclico son, a su vez, cíclicos. En particular, los subgrupos de Z son de la forma mZ donde m ≥ 0 es un número entero. Todos éstos son diferentes, y salvo por el grupo trivial (con m=0) son todos isomorfos a Z. El retículo de subgrupos de Z es isomorfo al dual del retículo de números naturales ordenados por divisibilidad. Todos los grupos cocientes de Z son finitos, salvo por la excepción trivial Z/{0}. Para todo divisor positivo d de n, el grupo Z/nZ (isomorfo a Zn, y algunas veces incluso tomado como definición de éste) tiene exactamente un subgrupo de orden d, a saber, el generado por la clase residual de n/d; no hay más subgrupos de Z/nZ. El retículo de subgrupos es entonces isomorfo al de divisores de n, ordenados por divisibilidad (el cual es isomorfo a su propio dual).

En particular, un grupo cíclico es simple si y solo si su orden (el número de sus elementos) es primo.

Dado un grupo cíclico C de orden n, con generador g, el tamaño del subgrupo generado por gk para un entero k será el mínimo entero positivo m tal que mk es múltiplo de n; fácilmente se puede demostrar que m = n/mcd(k,n). El índice del subgrupo generado por gk (esto es, el tamaño del grupo cociente C/<gk>) es, por lo tanto, mcd(k,n).

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo (matemática) — En álgebra abstracta, un grupo es un conjunto en el que se define una operación binaria (i.e. un magma), que satisface ciertos axiomas detallados más abajo. La rama de la matemática que estudia los grupos se llama teoría de grupos. Contenido 1… …   Wikipedia Español

  • Grupo cociente — En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que colapsa el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente …   Wikipedia Español

  • Grupo absoluto de Galois — En matemática, el grupo absoluto de Galois GK de un campo K es el grupo de Galois de Ksep sobre K, donde Ksep es una clausura separable de K. Alternativamente es el grupo de todos los automorfismos de la clausura algebraica de K que fija K. El… …   Wikipedia Español

  • Grupo de Prüfer — El 2 grupo de Prüfer. <gn: gn+12 = gn, g12 = e> En matemáticas, y en especial en teoría de grupos, el p grupo de Prüfer, grupo p cuasicíclico o el p∞ grupo, Z(p∞), para un número primo p es el único …   Wikipedia Español

  • Grupo simple — En teoría de grupos un grupo simple es un grupo que solo tiene como subgrupos normales al grupo trivial y a sí mismo. Grupos finitos simples La importancia de los grupos finitos simples se debe a que en cierto sentido son los bloques que forman… …   Wikipedia Español

  • Grupo especial unitario — En matemáticas, el grupo especial unitario (o grupo unitario especial) de grado n es el grupo de matrices unitarias n por n con determinante igual a 1, con las entradas en el cuerpo C de los números complejos y con la operación de grupo dada por… …   Wikipedia Español

  • Grupo esporádico — En el campo matemático de la teoría de grupos, un grupo esporádico es uno de los 26 grupos excepcionales en la clasificación de los grupos finitos simples. En efecto, según el Teorema de clasificación de grupos simples, todo grupo finito simple… …   Wikipedia Español

  • Grupo de trenzas — Cada uno de los 24 elementos de S4 expresados mediante una 4 trenza. Esta expresión no es única: existen infinitas alternativas para cada elemento, pues B4 es un grupo infinito. En matemáticas, el grupo de trenzas de n hebras, también llamado… …   Wikipedia Español

  • Grupo abeliano — Dada una estructura algebraica sobre un conjunto A, y con una operación o ley de composición interna binaria: . Se dice que la estructura es un Grupo abeliano con respecto a la operación si: tiene estructura algebraica Grupo tiene la Propiedad… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”