Matemticas I

Alumno: Giaimo Gino

Grupos

En matemticas, particularmente en lgebra moderna, 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) [1][2]:

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.

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

Subgrupos

En lgebra, 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 de otro
modo, H es un subgrupo de G si la restriccin de * a H satisface los axiomas de grupo.1

Decimos que un subconjunto de un grupo es un subgrupo de cuando es un grupo con la

operacin (de adicin o multiplicacin) de restringida a los elementos de F.

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

Grupo finito

un grupo finito es un grupo cuyo conjunto fundamental G tiene un nmero de

elementos finito.

Homomorfismo
Si para dos grupos B y C y una aplicacin

f: B C. Se cumple que:

f (x + y) = f(x) + f(y) (para todo x, y).

Significa que la imagen del elemento x + y del conjunto B es igual que la imagen del elemento x
+ la imagen del elemento y.

Debemos tener en cuenta que el signo + no representa la operacin suma, sino la operacin
que se ha definido en el conjunto para que tenga estructura de grupo.

Teorema

Sean B y C dos grupos y f: B C un homomorfismo. Se cumple que:

1. si 1B y 1C son las identidades de B y C, respectivamente, entonces f(1B) = 1C;

2. si x Pertenece.JPG B entonces f(x 1) = f(x) 1.

Ncleo de un homomorfismo

Sean B y C dos grupos y sea f un homomorfismo entre ellos. El ncleo de f se define como el
conjunto.

Ker f = { x Pertenece.JPG B / f(x)= 1C, donde 1C es la identidad de C.

Tipos de homomorfismos

Un homomorfismo suprayectivo se llama epimorfismo.

Un homomorfismo inyectivo se llama monomorfismo.

Un homomorfismo biyectivo cuya inversa es tambin un homomorfismo se llama isomorfismo.

Dos objetos isomorfos son totalmente indistinguibles por lo que a la estructura en cuestin se
refiere.

Un homomorfismo de un conjunto a s mismo se llama endomorfismo. Si es adems un

isomorfismo se llama automorfismo.
Fuentes de informacin:

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

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

https://www.ecured.cu/Homomorfismo_de_grupos