Ariel Ferreras Wasiucionek

Busque y seleccione en Internet (plataformas como Wikipedia, Youtube, Scribd, o bsqueda

libre usando palabras clases en buscadores como Google, Google acadmica entre otros),
informacin sobre grupo, subgrupo, grupo finito, homomorfismo entre grupos y ejemplos.
Trate de no excederse de este temario. De ser necesario presente una sntesis propia.

Grupos:
Definicin:
Sea un conjunto NO vaco G, y una funcin . El par (G,*) es un grupo si y slo si * es una
ley interna en G, asociativa, con neutro, y tal que todo elemento de G admite un inverso
respecto de *.
(G, *) es grupo si y slo si se verifican los axiomas:
G1.*: G G
G2. Ley asosiativa:

a b c :a , b , c ,G ( a b ) c=a ( b c )
G3: Existencia de elemento neutro o indentidad:

e G/ a :a G a e=e a=a
G4: Existencia de inversos:

a G , a ' G/a a '=a ' a=e

G5: Conmutatividad:

a b : a , b G a b=b a
Entonces el grupo se llama conmutativo abeliano.
Ejemplo:

En el conjunto

de los enteros se define * mediante:

a*b=a+b+3 (1)
El par (Z,*) es un grupo abeliano. En efecto se verifican:
G1 .* es ley interna de

* (1)

G2 .* es asosiativa pues:

(a*b)*c=(a+b+3)*c=a+b+3+c+3=
=a+b+c+6

(2)

a*(b*c)=a*(b+c+3)=a+b+c+3+3=
=a+b+c+6 (3)
de (2) y de (3) resulta: (a*b)*c=a*(b*c)
G3:
Existe un neutro en

entonces

Si e es neutro entonces a*e=a.

Por (1) a+e+3=a y resulta e=(-3)
G4: todo elemento de G es invertible respecto de *
Si a'es inverso de a, entonces debe verificarse:
a*a'=e
teniendo en cuenta (1) e=(-3)
a+a'+3=e
entonces:
a'=(-6)-a
G5: Es conmutativa:
a*b=a+b+3=b+a+3=b*a

Propiedades de los grupos:

Unicidad del neutro y del inverso:

El elemento neutro es nico y el inverso es nico.
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 la izquierda con a', inverso de a:
a'*(a*b)=a'*(a*c)
Por asociatividad:
(a'*a)*b=(a'*a)*c
Por G4:
a*a'=e entonces: e*b=e*c
Por G3: (existe neutro)
b=c

Se prueba la regularidad por la derecha.

La regularidad significa que la ley cancelativa es vlida para todos los elementos del
grupo.

Subgrupos:
El subconjunto no vaco H del grupo G, es subgrupo de (G,*), si y solo si (H,*) es
grupo.
Ejemplo:
1)Todo grupo (G, ) admite como subgrupo al mismo G, y al conjunto cuyo nico elemento es e.
Ambos se llaman subgrupos triviales de (G,).
2)( , +) es subgrupo de (Q, +).
3) El conjunto de los enteros pares, con la adicin, es un subgrupo de ( , +). en cambio no
lo es los impares ya que la suma de dos enteros pares da un nmero par y no se verificara
G1.

Si el conjunto G es finito, entonces G se dice grupo finito. Caso contrario, diremos que G es
infinito.
Cuando S es un conjunto finito, entonces A(S) es tambin finito. Adems,si S tiene n
elementos, entonces |A(S)| = n!

Homoformismo:
El concepto de homomorfismo de grupo es crucial en toda la teora que estamos
estudiando. Permite clasificar aquellos grupos que tienen la misma estructura, dentro de una
misma clase. Esta concepcin integradora, para poner orden dentro de una gran variedad de
ejemplos matemticos, casos particulares y situaciones de manipulacin de smbolos, es una
de las grandes virtudes del lgebra Moderna.

Sean (G, ) y (G, ) dos grupos. Una aplicacin : G G, se llama homomorfismo de

grupos, si y slo si (a b) = (a) (b) para todo a, b G.
Usualmente utilizamos la misma notacin para el producto en ambos grupos entonces la
condicin de homorfismo se escribe (ab) = (a)(b)

Ejemplo 1 Si G y G son dos grupos y e es el elemento neutro de G, la aplicacin : G G

x e

Se llama homorfismo nulo

Ejemplo 2 Sea (Z, +) el grupo de los nmeros enteros con la suma y (Z 6 , +) el grupo los
enteros mdulo 6 con la suma de enteros mdulo 6, entonces la aplicacin siguiente
: (Z, +) Z 6x [x] se puede verificar que es un homorfismo de grupos.

Bibliografa:
lgebra I Armando O. Rojo segunda edicin, Editorial Ateneo.
A L G E B R A: Estructuras Algebraicas Francisco Rivero Departamento de Matemticas
Facultad de Ciencias Universidad de Los Andes.