INGENIERIA EN SISTEMAS- MATEMTICA I- AO2017

ACTIVIDAD OBLIGATORIA 6 PARTE A

Por: Cristian ASSAIN

Grupos y subgrupos Homorfismo.

GRUPOS: Definiciones y proposiciones

Definicin: Un grupo es un conjunto G dotado de una operacin binaria * que satisface los
siguientes axiomas:

Operacin interna:

x, y G, x * y G

Propiedad asociativa:

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

Existencia de elemento neutro:

e G : g G, e * g = g * e = g

Existencia de elemento inverso:

g G, g1 G : g * g1 = e = g1 * g

Definicin: Se dice que un grupo (G, *) es abeliano si x, y G se cumple x * y = y * x.

Definicin: Si G es un grupo nito, entonces el ORDEN de G denotado por |G| se

dene como el nmero de elementos de G. En general, para cualquier conjunto
nito S, |S| e s e l n mero de elementos de S

A continuacin se mencionan algunas proposiciones sin su demostracin.

Proposicin: (Propiedades cancelativas) Sea (G, *) un grupo. Para todos a, b, c G se

cumple:
a*c=b*ca=b
c*a=c*ba=b
 INGENIERIA EN SISTEMAS- MATEMTICA I- AO2017

Proposicin: El elemento neutro e de un grupo (G, *) es nico.

Proposicin: El elemento inverso de cualquier elemento g de un grupo (G, *) es nico.

Proposicin: Sea (G, *) un grupo. Para todo g G se tiene que (g1)1 = g.

Proposicin: Sea (G, *) un grupo. Para todos x, y G se tiene que (x * y)1 = y1 * x1.

Todas estas preposiciones son demostradas a travs de los 4 axiomas.

SUBGRUPOS: Definiciones y proposiciones

Definicin: Dado un grupo (G, *) y un subconjunto H * G, se dice que (H, *) es un
subgrupo de (G, *), y se denota (H, *) (G, *), si H es un grupo con respecto a la
operacin * definida en G.

Definicin: Sea (G, *) un grupo. Los subconjuntos G y {e} reciben el nombre de subgrupos
impropios de G. El resto de subgrupos de G reciben el nombre de subgrupos propios de G.

Proposicin: Sea (G, *) un grupo, y sea H G, H 0. (H, *) es un subgrupo de (G, *) si y

slo si para todos x, y H se cumple x * y1 H.

Definicin: Sea X un subconjunto cualquiera de un grupo G. Se llama subgrupo generado

por X, y se denota {X}, a la interseccin de todos los subgrupos de G que contienen a X.

Proposicin: En las condiciones de la definicin anterior, {X} = {x11 * x22 * xnn *: x1,
x2,. . . ,xn X, 1,2,. . . , n Z}

Definicin: Se llama retculo de los subgrupos de un grupo (G, *) al conjunto de todos los
subgrupos de (G, *), junto con sus relaciones de inclusin.

HOMOMORFISMO: Definiciones y proposiciones

Definicin: Sean (G1, *), (G, #) grupos, y sea f : G1 -> G2 una aplicacin entre ellos. Se
dice que f es un homomorfismo de grupos si

f(x * y) = f(x) # f(y)

Un homomorfismo inyectivo recibe el nombre de monomorfismo; un homomorfismo

suprayectivo, epimorfismo; un homomorfismo biyectivo, isomorfismo;
y un isomorfismo de G en s mismo, automorfismo.
 INGENIERIA EN SISTEMAS- MATEMTICA I- AO2017

Si existe un isomorfismo entre (G1, *) y (G, #), se dice que ambos grupos son isomorfos, y
se denota (G1, *) (G, #).

Proposicin: Sean (G, *), (H, #) grupos, y sea f : G > H un homomorfismo entre ellos.
Entonces, para todos x, y G,
f(x * y1) = f(x) # f(y)1
f(y1 * x) = f(y)1 # f(x)

Corolario: Sean (G, *), (H, #) grupos, y sea f : G > H un homomorfismo entre ellos.
Entonces,
f(eG) = eH.
Para todo g G, f(g1) = f(g)1.

Proposicin: La relacin de isomorfa de grupos es una relacin de equivalencia.

Definicin: Sean (G, *), (H, #) grupos, y sea f : G -> H un homomorfismo entre ellos. Se
llaman ncleo e imagen de f a los conjuntos

Ncleo f = {g G : f(g) = e}
Imagen f = f(G) = {h H : g G : f(g) = h}

Proposicin: Sean G,H grupos, y f : G > H un homomorfismo. Si G es abeliano, f(G) es

abeliano.

Proposicin: El conjunto Aut G de automorfismos de un grupo G es un grupo bajo la

operacin de composicin.

FUENTE DE INFORMACION: RESUMENE ELABORADO CON CONTENIDOS EXTRAIDOS DE

WIKIPEDIA Y DIFERENTES DOCUMENTOS EN SCRIB.