I.S.F.D. y T.

N40
Claudio Nazareno Martn

Algebra 3
Teora de Grupo
El concepto de Grupo

1. Definicin de Grupo
Sean un conjunto no vacio G, y una funcin *. El par (G,*) es un grupo si y slo si * es una ley de
composicin 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 operacin *.

Definicin
(G,*) es grupo si y slo 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 adems 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
abc6 abc6
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

Anlogamente 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 anlogo se prueba que es inversa a la izquierda.
G5 . Conmutativa a, b : a, b G a * b b * a

Pag n1/6

Se cumple

I.S.F.D. y T. N40
Algebra 3
Claudio Nazareno Martn
Teora de Grupo
a * b a b 3 b a 3 b a , Esto de acuerdo con (1) y con la conmutativa de la suma ordinaria
en Z.

Ejemplo 2:
Los siguientes pares constituyen un grupo abeliano:

Z ; , Q; , R; , C ; , como la operacin es la suma, es llaman grupos aditivos.

En cambio los siguientes modelos no son grupos, por que?

N ; , N 0 ; , Q; . , R; .
*
Son grupo, por qu? Q , .

y R , . . El * excluye al 0 como elemento del conjunto.

*

Anotaciones:
1) Si la ley de composicin es aditiva, suele denotarse con el signo +, y si a G , entonces su
inverso aditivo suele llamarse apuesto y se indica a` a .
2) Si la ley es * es multiplicativa se indica con ., el inverso multiplicativo de cada elemento a se
escribe a` a 1 y se dice que es reciproco de a.
3) En el caso que nos referimos al grupo (G, * ), ya queda sobre entendido que cumple con la ley de
composicin interna.

Propiedades de los grupos

1.- Unicidad del neutro y el inverso.
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.

2.- Regularidad.
Los elementos de todo grupo son regulares.
Hiptesis) (G, * ) es grupo a * b a * c b * a c * a
Tesis) b c
Demostracin) Por hiptesis:

a *b a *c

Componiendo a izquierda con a` , 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

bc

Subgrupo
Definicin: El subconjunto no vaco H, del grupo G, es subconjunto de (G, * ) si y slo si (H, * ) es grupo.

Ejemplos
i) Todo grupo(G, * ) admite como subgrupo al mismo G, y al conjunto cuyo nico elemento es
Ambos se llaman subgrupos triviales de (G, * ).
ii) (Z, * ) es subgupo de (Q, * ).

Pag n2/6

e.

I.S.F.D. y T. N40
Claudio Nazareno Martn

Algebra 3
Teora de Grupo

iii) El conjunto de los nmeros pares, con la adicin, es un subgrupo de (Z, + ). En cambio no lo es el
conjunto de los enteros impares con la misma ley, ya que la suma de dos enteros impares es par
y no verifica la ley de cierre.
iv) El grupo de los cuatro elementos de Klien consiste en el conjunto A a, b, c, d , con la ley de
composicin definida por la tabla.
* a b c d Su construccin es simple, observando las diagonales y la simetra que se
a a b c d presenta respeto de ellas.
b b a d c Es fcil verificar que el grupo es abeliano, y que cada elemento se identifica
c c d a b con su inverso, siendo el neutro a.
d d c b a Un subgrupo de (A, * ) es H a, b .
En cambio, no lo es el subgrupo H ` a, b, c ya que b * c d H ` .

Condicin suficiente para la existencia de subgrupo

Las condiciones de grupo sirven para demostrar que (H * ) es subgrupo de (G, * ), por que estas
soluciones son obviamente necesarias. Pero en la prctica se utiliza la siguiente manera, solo debemos
probar:
I) H
II) H G
II) Si dos elementos cualquiera pertenecen a H, entonces el primero, compuesto con el inverso del
segundo debe pertenecer a H.

Ejemplo

2
2
Sean el grupo R , , y H x, y R / y 2 x

Podemos asegurar que un elemento R 2 pertenece a H si slo si la segunda componente es el duplo de la

primera.

2
Comprobaremos que H , es un subgrupo de R , .

Verificamos las hiptesis de la condicin suficiente demostrada.

i) H , ya que 1,2 H .
ii) H G por definicin de H.
iii) Sean a, b H y c, d H debemos probar que a, b c, d H .

a, b c, d H b 2a d 2c b d 2 a c a c, b d H a, b c,d H .
Hemos utilizado la definicin de H, la sustraccin en R, la definicin de H, y la de sumar pares.
Grficamente H es la ecuacin y 2 x .

Homomorfismo de grupo
La funcin f: f : G G` es un homomorfismo si la imagen de la composicin en G es igual a la composicin
de la imagen de G.
En smbolos: f : G G` es homomorfismo f a * b f a *` f b
En particular el morfismo puede ser monomorfismo, epimorfismo, isomorfismo o automorfismo, de
acuerdo si es inyectiva, biyectiva, sobreyectiva.
i) Es monomorfismo si y slo si f es inyectiva.
ii) Es epimorfismo si y solo si f es sobreyectiva.

Pag n3/6

I.S.F.D. y T. N40
Claudio Nazareno Martn

Algebra 3
Teora de Grupo

iii) Es isomorfismos si y slo si es sobreyectiva.

iv) Es endomorfismo si y slo si G = G`.
v) Es automorfismo si y slo si es un endomorfismo biyectivo.
Ejemplo:
a
2x2
Se tiene la funcin: R , y R, definida por f
c

ab

f a * b f a *` f b

a b e

f
c d g

a b
e
f

c d
g

Es considerado
un
homomorfismo

ae b f
a d e h
c g d h

aed h ad eh
Propiedades.

1) Si f : G G ` es homomorfismo de grupo, entonces la imagen del neutro del primer grupo es el neutro
del segundo grupo.
Se trata de probar que f (e) e`, donde e` denota el neutro de G`.

x * e x entonces f ( x * e) f ( x ) por
En efecto cualquiera sea x G , por G3 , se tiene
f ( x ) *` f (e) f ( x) . Por propiedad G3 en el grupo G `,*` ,
definicin de homorfismo
f ( x ) *` f (e) f ( x ) *`e` y por ley cancelativa en G` resulta f (e) e` .

(G,*)

(G`,*`)

a
b
a*b

f(a)
f(b)
f (a*b) = f(a)*f(b)

2) Si f : G G ` es homomorfismo de grupo, entonces la imagen del inverso de todos los elementos de G es

igual al inverso de su imagen.

f ( x 1 ) f ( x )

Cualquiera que sea x en G, por G4. x * x 1 e entonces

f x * x 1 f e , por

1
1
definicin de homomorfismo, f x *` f x e` , por inverso de la composicin f x 1 f x

En diagrama.

(G,*)
x
e
x-1

(G`,*`)
f(x)
f(e)= e`
f (x-1) = [f(x)]-1
Pag n4/6

I.S.F.D. y T. N40
Claudio Nazareno Martn

Algebra 3
Teora de Grupo

Ncleo e imagen de un Homomorfismo.

Ncleo de un homorfismo de grupo.
Sea f : G G ` un homomorfismo de grupo. La determinacin de los elementos del primer grupo, cuya
imgenes por f son el neutro del segundo grupo, conduce a un subconjunto de G, llamado ncleo del
homomorfismo.
Definicin: Ncleo del homomorfismo f : G G ` es la totalidad de los elementos de G, cuyas imgenes
por f se identifican con el neutro de G`.
En formula: N ( f ) x G / f ( x) e` , con esta formula podemos deducir que el ncleo de f es la preimagen
de {e`}.
Segn la definicin se tiene que x N ( f ) f ( x) e` , esto significa que para que un elemento pertenece
al ncleo es suficiente probar que su imagen es e`.

Definicion

Trabajo Prctico de Grupo

1) Demostrar que ({1;-1}, .) tiene estructura de grupo.
2) Determinar si (C; . ) tiene estructura de grupo si es correcto, es abeliano? (C = El conjunto de los nmeros
complejos de la forma a + bi).
Pag n5/6

I.S.F.D. y T. N40
Algebra 3
Claudio Nazareno Martn
Teora de Grupo
3) Para los siguientes conjuntos determnese se el conjunto es o no un grupo en la operacin descripta. De ser
as, determnese su identidad y el inverso de cada elemento. Si no es grupo, formlese las condiciones de la
definicin violada.
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) .
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 relacin tenga estructura de grupo abeliano.
a) a * b a b 3

b) a * b 2.a.b

c) a * b a b i

5) Determina en cada caso si el par (G ; *) es grupo.

a) G = {x / x = 2k + 1 k Z } * es producto.
b) G = {x / x = 3k k Z } * adicin en Z.
c) G = {x / x =2k k Z } * es el producto.
6) En R+ se define * mediante a*b = 2 a b. Verificar que es abeliano.
7) Sea F: (Q ; . ) (Q, . ) / F(x) = x . Indicar si F es homomorfismo, en caso afirmativo de que tipo?
8) Demostrar que las matrices cuadradas de 2x2 tienen estructura de grupo, primero con la suma despus con
la multiplicacin.
9) Demostrar que las matrices triangulares de 3x3 son grupo abeliano, con la suma y la multiplicacin.
10) Indicar si las siguientes funciones son homomorfismo de grupo. Decir si se trata de monomorfismo,
epimorfismo o isomorfismo, indicar ncleo e imagen.
a)
b)

(Z, +) (Z, +), x x2.

(R+, .) (R, +), x Ln x.

c)
d)

(R*, .) (R+, .), x x.

(R+, +) (R+, +), x x.

11) Para cada uno de los homomorfismos del ejercicio 12 hallar Ncleo e Imagen.
12) Sea (Z, +) grupo, sea H = {x = 3k, k R}. Demostrar que H es subgrupo de Z.
13) Tomemos el subgrupo (G4, .)
a) Halla el orden de cada elemento.
b) Algunos de estos elementos genera a G4? (Es decir, es G4 cclico). Cules son los generadores?
14) Verificar que los siguientes conjuntos son grupos cclicos multiplicativos, determinar sus generadores.
a) G = {1, -1, i, -i}

b) G = {1, z, z2} siendo z 12 i

Pag n6/6

3
2