ALUMNO: IGNACIO MOYANO DUARTE

DNI:40685072
Definicin de grupo
Un grupo es una estructura algebraica formada por un
conjunto A no vaco y una ley de composicin interna *. La
estructura se denota por (A,*). Para que el par (A,*) sea
un grupo debe ser un monoide o semigrupo y, adems, para
cada elemento de A debe existir un elemento simtrico.Es
decir, (A,*) debe cumplir los siguientes requisitos (los tres
primeros son propios de monoide):

La ley u operacin * es interna, esto es, para cada par

de elementos x e y de A, la composicin x*y debe ser un
elemento de A. Se conoce tambin como propiedad
clausurativa
Asociatividad para la ley *, esto es, para cualquier
terna x, y y z debe cumplirse que x*(y*z) = (x*y)*z.
Existe un elemento neutro e para *,; esto es, para
cualquier x de A, se cumple x*e = x y e*x = x. Este
elemento neutro es nico.
Todo elemento x de A tiene simtrico y; esto es, para
todo elemento x de A existe un elemento y tal que x*y = e
= y*x. El elemento simtrico de x es nico.

Fuente: https://www.ecured.cu/Grupo_(matem%C3%A1ticas)

Definicin de subgrupo

Dado un grupo G con una operacin binaria *, se dice que un

subconjunto no vaco H de G es un subgrupo de G si H tambin
forma un grupo bajo la operacin *. O sino, H es un subgrupo de G si
la restriccin de * aH satisface los axiomas de grupo.1

Un subgrupo propio de un grupo G es un subgrupo H que es

un subconjunto propio de G (es decir H G). El subgrupo trivial de
cualquier grupo es el subgrupo {e} que consiste solamente en
el elemento identidad.

El grupo G a veces se denota por el par ordenado (G, *),

generalmente para acentuar la operacin * cuando G lleva varias
estructuras algebraicas o de otro tipo. En lo siguiente, se sigue la
convencin usual y se escribe el producto a*b como simplemente ab.

FUENTE:https://es.wikipedia.org/wiki/Subgrupo -

Definicion de homomorfismo:
. Sean G y G dos grupos. Un homomorfismo de G en G0 es una aplicacion f : G G0 tal que
f(xy) = f(x)f(y) para cualesquiera x, y G.

Nota 2.2.2. 1. Hay que notar que en la igualdad anterior, una de las operaciones xy es en G,
mientras que la otra f(x)f(y) es en G0 . 2. Si e y e 0 son los elementos neutros de G y G
respectivamente, y f : G G es un homomorfismo, se tiene que f(e) = e y f(x 1 ) = f(x) 1 ,
para cada x G

Un monomorfismo (epimorfismo, isomorfismo) es un homomorfismo inyectivo (sobreyectivo,

biyectivo). Un endomorfismo (automorfismo) de un grupo G es un homomorfismo
(isomorfismo) de G en s mismo. El conjunto de automorfismos Aut(G) de un grupo G es, con
la composicion, un nuevo grupo. La aplicacion i : G Aut(G) definida por i(x) = ix, para cada x
G, es tambien un homomorfismo de grupos. Proposicion 2.2.4. Sea f : G G0 un
homomorfismo de grupos

FUENTE: http://euclides.us.es/da/apuntes/algebra/t2-2004-05.pdf