Instituto Universitario Aeronautico

Ingeniera de Sistemas
Matemtica I
Actividad Obligatoria 6 2017
Gabriel DIntino

Parte A.

Grupo. Definicin.
Se llama grupo al par (G,*) constituido por un conjunto no vaco G y una operacin sobre l que verifica las siguientes
propiedades:
* es estable en G, es decir, a b G, a, b G
asociativa, (a b) c = a (b c), a, b, c G
existencia de elemento neutro, e G tal que a e = e a = a, a G
existencia de elemento simtrico, a G, b G, tal que a b = b a = e (el elemento simtrico de a suele
denotarse por a o a1).

Si todos los elementos del grupo (G,*) verifican la propiedad conmutativa, a b = b a, a, b G, se dice que el grupo
es conmutativo o abeliano.

Si la operacin * definida en G es la adicin, al elemento neutro se le suele llamar cero (0), y al elemento simtrico de a
se le llama elemento opuesto y se le denota por -a.

Si la operacin * es la multiplicacin, al elemento neutro se le suele denominar elemento unidad (1), y al simtrico,
elemento inverso y se le designa por a1.

Un grupo puede tener un nmero finito de elementos y se dice entonces grupo finito y se llama orden del grupo al
nmero de elementos de ese grupo. Si tuviese infinitos elementos se dira grupo infinito.

Subgrupo. Definicin.
Un subconjunto no vaco S de un grupo G es un subgrupo (de G) si, con respecto a la misma operacin de G, S
tambin es grupo.

Homomorfismo de grupos. Definicin.

Si G y K son dos grupos, un homomorfismo de G en K es una funcin : G K tal que:

(gh) = (g)(h) para todo g, h G.

Un homomorfismo preserva todos los aspectos estructurales de un grupo. No solamente entrelaza los productos;
tambin respeta los elementos neutros y la inversin.
En efecto, si se denota por 1 ambos elementos neutros de G y K, entonces:

1(1) = (1) = (1 1) = (1)(1) en K

Un homomorfismo biyectivo : G K se llama un isomorfismo.

Dos grupos G y K son isomorfos si existe un isomorfismo : G K. Esto establece una relacin de equivalencia entre
grupos: la aplicacin inversa 1 : K G : (g) g es tambin un isomorfismo; y si : K L es otro isomorfismo,
entonces : G L es tambin un isomorfismo.
Escribir GK para decir que los grupos G y K son isomorfos.

Sea G un grupo. Un isomorfismo : G G se llama un automorfismo del grupo G.

Fuentes:
http://www.mat.ucm.es/~cruizb/2-AM/Apuntes-i/Apuntes-14/Grupos-8.pdf
http://www.kerwa.ucr.ac.cr:8080/bitstream/handle/10669/11353/Herstein.pdf?sequence=1&isAllowed=y