Actividad 7 Racamato, Guido.

Grupo
Un grupo

es un conjunto G en el que se ha definido una operacin binaria interna

, que

satisface los siguientes axiomas:

1. Asociatividad:
2. Elemento neutro:
3. Elemento simtrico:
Por lo tanto, un grupo est formado por un conjunto de elementos abstractos o smbolos, y por una
ley de composicin interna (operacin binaria) que los relaciona. Dicha ley de composicin interna
indica cmo deben ser manipulados los elementos del grupo.
Se dice que un grupo es abeliano o conmutativo cuando verifica adems la propiedad conmutativa:

Definicin alternativa
Un grupo es un sistema algebraico que no es sino un conjunto no vaco provisto de
una operacin binaria asociativa, donde las ecuaciones ax=b y ya=b tienen solucin dentro de
dicho conjunto; es decir, tambin cumple la clausuratividad, entre otras propiedades.

Ejemplos.

, el conjunto de nmeros enteros con la suma usual, es un grupo abeliano; donde el

elemento neutro es el 0, y el simtrico de x, es -x.

, el conjunto de los nmeros reales con la suma usual, es un grupo abeliano; donde el
elemento neutro es el 0, y el simtrico de x, es -x.

, el conjunto de los nmeros reales (excluyendo al 0) con la multiplicacin, es un

grupo abeliano; donde el elemento neutro es el 1, y el simtrico de x es 1/x. Notar que al no
tener el cero elemento simtrico multiplicativo, se lo debe excluir.

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 Htambin 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
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.

Definicin formal.
Sean

un grupo y

. El grupo

se llama Subgrupo de

si y

slo si:

H contiene al elemento identidad de G:

la operacin binaria es cerrada en H:

H contiene los elementos inversos:

.
.
.

Propiedades de Subgrupos

Todo grupo G con ms de un elemento tiene al menos dos subgrupos:

el subgrupo trivial {e}, que contiene slo al elemento identidad.

el mismo G, que es el subgrupo mximo de G.

Dados dos subgrupos H y K de un grupo G, la interseccin

es un subgrupo.6 En

general, la unin de subgrupos no forma un subgrupo, salvo que uno de ellos est contenido en
el otro.7

Dado un subgrupo H de un grupo G, se puede definir

un homomorfismo natural
la inyeccin cannica de H en G.

definido por

. Dicha funcin es

Todo elemento a de un grupo G genera un subgrupo cclico <a>. Si <a> es isomorfo a Z/n Z para
algn nmero entero positivo n, entonces n es el nmero entero positivo ms pequeo para el
cual an = e, y n se llama el orden de a. Si <a> es isomorfo a Z, entonces a se dice que
tiene orden infinito.

Si S es un subconjunto de G, entonces existe un subgrupo mnimo de G que contiene S: es

el subgrupo generado por S y se denota por <S>. Un elemento de G est en <S> si y solamente
si es un producto finito de elementos de S y de sus inversos.

El centro de un grupo G, denotado por

, es el subgrupo que contiene a todos los

elementos que conmutan con cualquier elemento g de G. El centro es siempre un

subgrupo normal y abeliano. El centro de un grupo abeliano G es el propio G.

Los subgrupos de cualquier grupo dado forman un reticulado completo bajo inclusin.
El nfimo del retculo, dado por la interseccin de conjuntos, es el subgrupo trivial {e}. En cambio
el supremo no es la unin de conjuntos, sino el subgrupo generado por la unin, y es el mismo G.

Homomorfismo
Un homomorfismo, (o a veces simplemente morfismo) desde un objeto matemtico a otro con la
misma estructura algebraica, es una funcin que preserva las operaciones definidas en dichos
objetos.

Definicin
Sean
tipo, donde

dos sistemas algebraicos del mismo

y
son conjuntos y

son las operaciones algebraicas

definidas en dichos conjuntos.

Una funcin

es un homomorfismo si verifica:
para cada i=1,...,k y

Ejemplos
Los grupos son conjuntos que tienen definida una operacin con neutro y en que cada elemento
tiene inverso.
Por lo tanto, si
un homomorfismo de grupos si:

son grupos, segn la definicin una funcin

es

1.
2.

para todo par de elementos

, siendo

3.

para todo

los neutros de

Tipos particulares de homomorfismos

Un homomorfismo exhaustivo se llama epimorfismo.

Un homomorfismo inyectivo se llama monomorfismo.

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

objetos se dicen isomorfos si existe un isomorfismo de uno en el otro. En general, pensamos a
dos objetos isomorfos como 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.

Fuente: www.wikipedia.com