I.S.F.D. y T.

Nº40
Claudio Nazareno Martín

Algebra 3
Teoría de Grupo
El concepto de Grupo

1. Definición de Grupo
Sean un conjunto no vacio G, y una función *. El par (G,*) es un grupo si y sólo si * es una ley de
composición interna en G, por lo tanto debe cumplir con las siguientes propiedades: Ser asociativa, Ser
cerrado, Tener neutro único e inverso único para cada elemento con respecto a la operación *.

Definición
(G,*) es grupo si y sólo si se verifican los axiomas.

G1 .* : G 2  G
G2 . Asociativa a, b, c : a, b, c  G   a * b  * c  a *  b * c 
G3 . Existencia del elemento neutro o identidad  e  G / a : a  G  a * e  e * a  a

G4 . Existencia de inverso a  G ,  a` G / a * a` a`*a  e

Si además se verifica que:
G5 . Conmutativa a, b : a, b  G  a * b  b * a

Entonces el grupo se llama conmutativo o abeliano.

Ejemplo 1:
El conjunto Z de los enteros se define * mediante: a * b  a  b  3

(1)

El par (Z, * ) es un grupo abeliano. En efecto se verifican:

G1 .* : Se verifica por (1), por que siempre que opero dos elementos de Z me da como resultado otro
elemente de Z
G2 . Asociativa a, b, c : a, b, c  G   a * b  * c  a *  b * c 

 a  b  3 * c  a *  b  c  3

 a  b  3  c  3  a   b  c  3  3
abc6  abc6
G3 . Existencia del elemento neutro o identidad  e  G / a : a  G  a * e  e * a  a

Por (1) a * b  a  e  3  a al despejar encontramos que e  3
Análogamente se prueba que -3 es neutro por izquierda.
G4 . Existencia de inverso a  G ,  a` G / a * a` a`*a  e

Si a`es inverso de a, entonces debe verificarse a * a` e
Teniendo en cuenta (1) y que e  3 ,

a  a`3  3

a  a` 3  3
a`  a  6
De modo análogo se prueba que es inversa a la izquierda.
G5 . Conmutativa a, b : a, b  G  a * b  b * a

Pag nº1/6

Se cumple

* ) es grupo. y T. . Ejemplo 2: Los siguientes pares constituyen un grupo abeliano:  Z . * ) admite como subgrupo al mismo G. el inverso multiplicativo de cada elemento a se escribe a` a 1 y se dice que es reciproco de a. por qué?  Q . por que?  N .S. como la operación es la suma. . Esto de acuerdo con (1) y con la conmutativa de la suma ordinaria en Z.  . 2. . ii) (Z. * ).Unicidad del neutro y el inverso.  .  . y si a  G . Los elementos de todo grupo son regulares. De acuerdo con lo expresado anteriormente podemos decir que el elemento neutro es único en todo el grupo y el inverso es único para cada elemento.F. * ). * ) es grupo a * b  a * c  b * a  c * a Tesis) b  c Demostración)  Por hipótesis: a *b  a *c Componiendo a izquierda con a` . 2) Si la ley es * es multiplicativa se indica con “.. Propiedades de los grupos 1. ¿En cambio los siguientes modelos no son grupos. suele denotarse con el signo +. y al conjunto cuyo único elemento es Ambos se llaman subgrupos triviales de (G. Ejemplos i) Todo grupo(G..  R.D.  . * Anotaciones: 1) Si la ley de composición es aditiva. El * excluye al 0 como elemento del conjunto.  Q. del grupo G.  * ¿Son grupo. . 3) En el caso que nos referimos al grupo (G.  N 0 . entonces su inverso aditivo suele llamarse apuesto y se indica a`  a . Nº40 Algebra 3 Claudio Nazareno Martín Teoría de Grupo a * b  a  b  3  b  a  3  b  a . Hipótesis) (G.  . es subconjunto de (G.  C .Regularidad.  .  . * ). Pag nº2/6 e. es llaman grupos aditivos. * ) es subgupo de (Q.I. inverso de a a`* a * b   a`* a * c   a`*a  * b   a`*a  * c Por propiedad asociativa Por inverso e *b  e *c Por existencia del elemento inverso bc Subgrupo Definición: El subconjunto no vacío H.  R.”. ya queda sobre entendido que cumple con la ley de composición interna.  . .  Q. * ) si y sólo si (H.  y  R .

epimorfismo.F. + ). sobreyectiva. d  . es un subgrupo de (Z. b b a d c Es fácil verificar que el grupo es abeliano. En símbolos: f : G  G` es homomorfismo  f  a * b   f  a  *` f  b  En particular el morfismo puede ser monomorfismo. siendo el neutro a.D. la definición de H.  a. b     c. Pero en la práctica se utiliza la siguiente manera. por que estas soluciones son obviamente necesarias. b   H y  c. Pag nº3/6 . Homomorfismo de grupo La función f: f : G  G` es un homomorfismo si la imagen de la composición en G es igual a la composición de la imagen de G.2   H . con la ley de composición definida por la tabla. * ). Verificamos las hipótesis de la condición suficiente demostrada. y la de sumar pares. y T.d   H . d   H  b  2a  d  2c  b  d  2 a  c    a  c. b. d   H debemos probar que  a. En cambio no lo es el conjunto de los enteros impares con la misma ley. compuesto con el inverso del segundo debe pertenecer a H. b. no lo es el subgrupo H `  a. * a b c d Su construcción es simple. isomorfismo o automorfismo. la sustracción en R. y H   x. * ) es H   a. d   H . y que cada elemento se identifica c c d a b con su inverso. i) Es monomorfismo si y sólo si f es inyectiva. biyectiva. de acuerdo si es inyectiva. En cambio. d d c b a Un subgrupo de (A. Gráficamente H es la ecuación y  2 x . con la adición. b . iii) Sean  a. entonces el primero. Hemos utilizado la definición de H. ii) H  G por definición de H. ii) Es epimorfismo si y solo si f es sobreyectiva. Condición suficiente para la existencia de subgrupo Las condiciones de grupo sirven para demostrar que (H * ) es subgrupo de (G.I. observando las diagonales y la simetría que se a a b c d presenta respeto de ellas. c ya que b * c  d  H ` . b    c.  es un subgrupo de R . solo debemos probar: I) H   II) H  G II) Si dos elementos cualquiera pertenecen a H. b     c. iv) El grupo de los cuatro elementos de Klien consiste en el conjunto A   a.S. ya que la suma de dos enteros impares es par y no verifica la ley de cierre. b  d   H   a. c. y   R / y  2 x Podemos asegurar que un elemento R 2 pertenece a H si sólo si la segunda componente es el duplo de la primera. . Nº40 Claudio Nazareno Martín Algebra 3 Teoría de Grupo iii) El conjunto de los números pares. Ejemplo     2 2 Sean el grupo R . ya que 1. .   2 Comprobaremos que  H . i) H   .

por inverso de la composición f x 1   f  x   En diagrama.  definida por f   c   b   ab d  f  a * b   f  a  *` f  b    a b  e    f     c d  g f  h    a b  e   f     f    c d  g  f  h  Es considerado un homomorfismo  ae b f     a  d    e  h   c  g d  h f  aed h  ad eh Propiedades.S. entonces la imagen del neutro del primer grupo es el neutro del segundo grupo. 1) Si f : G  G ` es homomorfismo de grupo. donde e` denota el neutro de G`. x * e  x entonces f ( x * e)  f ( x ) por En efecto cualquiera sea x  G . f ( x 1 )   f ( x ) 1 Cualquiera que sea x en G. Ejemplo:  a 2x2 Se tiene la función: R . (G. Por propiedad G3 en el grupo  G `. y  R. definición de homorfismo f ( x ) *` f (e)  f ( x ) *`e` y por ley cancelativa en G` resulta f (e)  e` . por G3 .F. (G.D.*) (G`.*` . entonces la imagen del inverso de todos los elementos de G es igual al inverso de su imagen.*`) a b a*b   f(a)  f(b)  f (a*b) = f(a)*f(b) 2) Si f : G  G ` es homomorfismo de grupo. se tiene f ( x ) *` f (e)  f ( x) . por 1 1 definición de homomorfismo. por G4. x * x 1  e entonces       f x * x 1  f  e  . Se trata de probar que f (e)  e`. y T.*`)  f(x)  f(e)= e`  f (x-1) = [f(x)]-1 Pag nº4/6 . v) Es automorfismo si y sólo si es un endomorfismo biyectivo. Nº40 Claudio Nazareno Martín Algebra 3 Teoría de Grupo iii) Es isomorfismos si y sólo si es sobreyectiva. f  x  *` f x  e` . iv) Es endomorfismo si y sólo si G = G`.*) x e x-1  (G`.I.

Definición: Núcleo del homomorfismo f : G  G ` es la totalidad de los elementos de G. Pag nº5/6 . En formula: N ( f )   x  G / f ( x)  e` . 2) Determinar si (C.) tiene estructura de grupo. Nº40 Claudio Nazareno Martín Algebra 3 Teoría de Grupo Núcleo e imagen de un Homomorfismo.I. Núcleo de un homorfismo de grupo. cuya imágenes por f son el neutro del segundo grupo. ¿es abeliano? (C = El conjunto de los números complejos de la forma a + bi). esto significa que para que un elemento pertenece al núcleo es suficiente probar que su imagen es e`. llamado núcleo del homomorfismo. . .D. Definicion Trabajo Práctico de Grupo 1) Demostrar que ({1. Según la definición se tiene que x  N ( f )  f ( x)  e` . con esta formula podemos deducir que el núcleo de f es la preimagen de {e`}. conduce a un subconjunto de G.-1}.S. cuyas imágenes por f se identifican con el neutro de G`. ) tiene estructura de grupo si es correcto.F. La determinación de los elementos del primer grupo. y T. Sea f : G  G ` un homomorfismo de grupo.

1 2 3 4 5 6 1 1 2 3 4 5 6 2 2 4 6 1 3 5 3 3 6 1 5 1 4 4 4 1 3 3 6 3 5 5 3 1 6 4 2 6 6 5 4 3 2 1 4) Verifique que el conjunto de los R con la siguiente relación tenga estructura de grupo abeliano. 12) Sea (Z. +). 9) Demostrar que las matrices triangulares de 3x3 son grupo abeliano. +). indicar núcleo e imagen. con la suma y la multiplicación.S. formúlese las condiciones de la definición violada. z. Si no es grupo. +)  (R+. determínese su identidad y el inverso de cada elemento.I.)  (R. (R+. . 13) Tomemos el subgrupo (G4. Indicar si F es homomorfismo. ¿Cuáles son los generadores? 14) Verificar que los siguientes conjuntos son grupos cíclicos multiplicativos. 10) Indicar si las siguientes funciones son homomorfismo de grupo. a) a * b  a  b  3 b) a * b  2. .b c) a * b  a  b  i 5) Determina en cada caso si el par (G . k R}. 11) Para cada uno de los homomorfismos del ejercicio 12 hallar Núcleo e Imagen. De ser así.)  (R+. x  x2. es G4 cíclico). a) G = {x / x = 2k + 1  k  Z } * es producto. 7) Sea F: (Q .F. a) + a b c d e f a a b c d e f b b c d e f a c c d e f a b d d e f a b c e e f a b c d f f a b c d e b) . . b) G = {x / x = 3k  k  Z } * adición en Z. i. a) b) (Z.a. -1.). -i} b) G = {1. Nº40 Algebra 3 Claudio Nazareno Martín Teoría de Grupo 3) Para los siguientes conjuntos determínese se el conjunto es o no un grupo en la operación descripta. x  Ln x. +). x  x. determinar sus generadores. *) es grupo. Demostrar que H es subgrupo de Z. en caso afirmativo ¿de que tipo? 8) Demostrar que las matrices cuadradas de 2x2 tienen estructura de grupo. +)  (Z. a) G = {1.D. sea H = {x = 3k. ) / F(x) =  x . c) G = {x / x =2k  k  Z } * es el producto. c) d) (R*. . Verificar que es abeliano. primero con la suma después con la multiplicación. )  (Q. z2} siendo z   12  i Pag nº6/6 3 2 . . Decir si se trata de monomorfismo. b) ¿Algunos de estos elementos genera a G4? (Es decir. (R+. y T. x  x. 6) En R+ se define * mediante a*b = 2 a b.) a) Halla el orden de cada elemento. epimorfismo o isomorfismo. . +) grupo.