Grupos

Sea G un conjunto, G (no vaco). Sea (*) una operacin binaria.

Decimos que G es un grupo respecto a la operacin (*), y se denota por
(G; *) si se verifican las siguientes condiciones:
i.
ii.
iii.
iv.

x, y G, (x y) G
x, y, z G, (x y) z = x (y z)
e G / (x e) = (e x) = x
x G, y G / x * y = y * x = e

Cierre. Operacin interna

Propiedad Asociativa
Elemento Neutro
Elemento Inverso

Estos son los llamados Axiomas de Grupo.

Diremos que G es un grupo abeliano si la operacin binaria (*) es
conmutativa. Es decir, si verifica la siguiente condicin:
x, y G, (x y) = (y x)

Propiedad Conmutativa

Ejemplos:
1. ( ; +). Sin embargo, ( ; ) no lo es (no es asociativo). Tampoco ( ; ) ya
que el cero no tiene inverso. En cambio, ( {0}; ) si es un grupo. Lo mismo
que ( ; ).
2. ( ; +) siendo
el conjunto de las matrices reales de orden n x m,
(n, m naturales) es un grupo abeliano.
Grupos finitos
Se dice que un grupo es finito cuando tiene un nmero finito de
elementos.
Orden de un grupo finito o(G): es el nmero de elementos del grupo.
Ejemplos:
1. El grupo [ ( ); +]; , > 1 es finito pues o(G) = n siendo los
elementos de Z(n) = {0, 1, 2, ..., n -1}.
2. El grupo {-1, 1, i, -i} es finito de orden 4.

Subgrupos
Sea (G, ) un grupo y sea H un subconjunto de G. Se dice que (H, ) es
Subgrupo de G si:
i.
ii.

(a, b H) a b H
El elemento neutro e de (G, ) pertenece a H

iii. a H a -1 H
Ejemplos:
1. (Z, +) es subgrupo de (R, +)
2. El grupo multiplicativo de los reales no nulos admite como subgrupo al conjunto
de los reales estrictamente positivos.

Homomorfismo entre grupos

Dados dos grupos (G, ) y (B, ), se dice que la aplicacin: f: (G, ) (B,
)
Es un homomorfismo de grupos si:
x, y G f (x y) = f (x) f (y)
1. Si f es inyectiva, se dir que f es un monomorfismo.
2. Si f es sobreyectiva, se dir que f es un epimorfismo.
3. Si f es biyectiva, se dir que f es un isomorfismo y que G y G' son
isomorfos.
4. Si G = G', se dir que f es un endomorfismo.
5. Si f : G G es biyectiva, se dir que es un automorfismo.
Ejemplos:
1. La aplicacin:
: ( ; +) ( ; )

Es un homomorfismo de grupos puesto que:

( + ) = ( ) ( )
=

2. La aplicacin:
: ( ; ) ( ; +)
( )
Es un homomorfismo de grupos puesto que:
( ) = ( ) + ( )

= ln( ) + ln ( )

Ncleo e Imagen de un Homomorfismo

Si f : G B es un homomorfismo del grupo (G, ) en el grupo (B, ) se
verifica:
El conjunto imagen f (G) es un subgrupo de (B, ) y se denomina
Imagen del homomorfismo f, Im ( f )
Siendo E el elemento neutro de B se llama Ncleo del
homomorfismo f, N( f ) a: N( f )= {x G / f (x) = E}

Bibliografa:
http://www.ulpgc.es/hege/almacen/download/50/50272/grupos.pdf
Estructuras Algebraicas Teora de Grupos / Alberto Martin Aguilar
Teora de Grupos / Bruno Stonek