MM1-ACTIVIDAD 6.

DARIO ALARCON.

¿Qué es un grupo?

Un grupo es una estructura algebraica formada por un conjunto A no vacío y

una ley de composicion interna *. La estructura se denota por (A,*). Para que el
par (A,*) sea un grupo debe ser un monoide o semigrupo y, además, para
cada elemento de A debe existir un elemento simétrico.

Es decir, (A,*) debe cumplir las siguientes condiciones (las tres primeros son

propias de monoide).

 La ley u operación * es interna, esto es, para cada par de

elementos x e y de A, la composición x*y debe ser un elemento de A.
Se conoce también como propiedad de clausura
 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 simétrico y; esto es, para todo
elemento x de A existe un elemento y tal que x*y = e = y*x. El
elemento simétrico de x es único.

La construcción de un Grupo, parte de distintos conjuntos que van sumando

propiedades algebraicas hasta llegar a la definición de Grupo, dichas
estructuras o conjuntos básicos son los siguientes:

1. Magma: Es una estructura algebraica de la forma (A,⊚) donde A es un

conjunto donde se ha definido una operación binaria interna ⊚ (la cual denota
una operación genérica). El hecho de que sea interna significa que cumple con
la ley de composición interna.

2. Semigrupo: Cuando una estructura de tipo Magma, cumple con la propiedad

de Asociatividad, esta se transforma en un Semigrupo. Definiendo a
Asociatividad como la siguiente propiedad: Para cualesquiera elementos del
conjunto A no importa el orden en que se operen las parejas de elementos,
mientras no se cambie el orden de los elementos, siempre dará el mismo
resultado. Es decir:

3. Monoide: Un semigrupo que además de cumplir con la propiedad asociativa,

cuenta con (único) elemento, e, en A que es neutro de la operación ⊚, se
llama Monoide.
4. Grupo: Finalmente, un Monoide para el que para todo elemento que lo
compone, cuenta con un elemento simétrico se denomina Grupo.
Considerando al elemento simétrico como aquel que en una operación binaria
con un elemento del grupo A, da como resultado el elemento neutro

¿Qué es un subgrupo?

El prefijo “sub” indica que “está incluido” y nos sugiere que se trata de una
estructura dentro de otra. En Álgebra para los Espacios Vectoriales, si dentro
de un espacio está incluido otro, se lo llama subespacio. Básicamente, un
subgrupo será “un grupo dentro de otro grupo”.
Podemos definir a un subgrupo formalmente:
 Sea (𝑮,∗) un grupo y sea 𝑯≠∅ ∧ 𝑯 ⊆ 𝑮
 Si (𝑯,∗) es grupo entonces H es subgrupo de G.

Dicho con palabras, un subgrupo es un conjunto no vacío, que está incluido en

un grupo, y que en sí mismo es también grupo con la misma operación.
Ejemplo:

1. (ℤ,+) (Enteros) es un subgrupo del grupo (ℝ,+) (Reales) ya que cumple con
la definición de subgrupo.

2. Consideremos el conjunto 𝑷= {𝒙 ∈ℤ / 𝒙=𝟐𝒌 ∧𝒌∈ℤ} a) No es vacío

b) Está incluido en ℤ
c) Al sumar números pares, obtenemos siempre un número par, la suma
es asociativa, el elemento neutro de la suma es el cero que es par, y el opuesto
de un número par también es par, o sea que (𝑷,+) es un grupo en sí mismo.

3. Si (𝑮,∗) es un grupo con neutro 𝒆, entonces ({𝒆},∗) es el subgrupo más

pequeño que puede tener y se denomina subgrupo trivial de (𝑮,∗)

4. (𝑮,∗) es el subgrupo más grande de (𝑮,∗) y se denomina subgrupo máximo

de (𝑮,∗).

¿Qué se entiende por hisomomorfismo entre grupos finitos?

En algebra, un homomorfismo de grupos finitos es

una función entre grupos que preserva la operación binaria.
Dados dos grupos( G ,° ) y ¿  la aplicación φ :G → H es un hisomomorfismo de
grupos si se verifica que para todos los pares de elementos a , b ∈G
φ ( a ° b ) =φ ( a )∗φ(b) 
donde la operación en el lado izquierdo de la ecuación (°° ¿es la ley de
composición interna en G, y la operación del lado derecho de la ecuación (*
¿ ¿es la ley de composición interna en H. 
Si la aplicación φ  es biyectiva entonces es un isomorfismo de grupos, lo
que significa que ambos grupos tienen la misma estructura algebraica (son
isomorfos), y sólo se diferencian por los símbolos utilizados para denotar
los elementos y la operación.