Grupos: El concepto de grupo apareció inicialmente al considerar grupos de transformaciones de un conjunto.

Sin embargo, al estudiar estos grupos de transformaciones se vio que muchas de sus propiedades eran independientes
del hecho de que actuaran sobre un conjunto y resultaban consecuencias de ciertos axiomas básicos.
Definición: Un grupo (G, ·) es un conjunto G provisto de una operación (·): G × G → G que satisface las siguientes
condiciones:
• Asociatividad: para todo g1, g2, g3 G, es:
(g1 · g2) · g3 = g1 · (g2 · g3)
• Elemento neutro: existe e
e·g=g·e=g
• Inversos: para todo g
g · g´ = g´ · g = e

G tal que para todo g

G, existe g´

G es:

G tal que:

Si además para todo par g, h 2 G es g · h = h · g entonces el grupo se llama abeliano o conmutativo. El cardinal del
conjunto G es el orden de G y lo escribiremos |G|. Diremos que un grupo G es finito si |G| < ∞ y que es infinito en otro
caso.
Ejemplos:
1. Si G1 y G2 son dos grupos, entonces el producto cartesiano G1 × G2 admite una estructura de grupo definiendo
la operación: (g1, g2) · (g1´ , g2´) = (g1 · g1´, g2 · g2´ )
{ }
{ }
2. Tomando la multiplicación como operación y el uno como neutro,los conjuntos
(los números racionales,reales y complejos no nulos, respectivamente) son todos grupos abeliano.
3. Tomando la suma como operación y el cero como neutro, los conjuntos
racionales, reales y complejos) son todos grupos abelianos.

{ }

(los números enteros,

Subgrupos: En general, dado un conjunto G, uno puede obtener toda una familia de otros conjuntos simplemente
mirando los subconjuntos de G. Si además G tiene estructura de grupo, uno se puede preguntar cómo obtener “gratis”,
a partir de G, una familia de grupos de manera análoga a la situación conjuntista.
Definición: Dado un grupo (G, ·), un subgrupo de G es un subconjunto H G tal que (H, ·|H×H) es un grupo o,
equivalentemente, si:
 a) (·) es cerrado en H, esto es, para todo h1, h2 H, se tiene que h1 · h2 H
 b) e H
 c) para todo h H, h-1 H
Observación. La condición (b) implica que H ≠ , a su vez las condiciones (a) y (c) junto con H ≠ implican la condición
(b), por lo tanto en la definición de subgrupo se puede cambiar (b) por H ≠ .
Ejemplos:
1. Si (G, ·) es un grupo, G y {e} son siempre subgrupos. Si p es un número primo y G = p se verá fácilmente luego
que estos dos subgrupos triviales son los únicos subgrupos que tiene p.
2. Sea G = GLn(k) y sea H = {A

G : det A = 1}. Entonces H es un subgrupo de G.

3. Si H y K son subgrupos de G entonces H

K es un subgrupo de G.

Homomorfismo o Morfismo: Definición: Sean (G, ·G) y (G´, ·G´ ) dos grupos. Una función f : G → G´ es un morfismo (o
también un homomorfismo) de grupos si para todo g1, g2 G se tiene que f (g1 ·G g2) = f (g1) ·G´ f (g2).
Notemos que el conjunto de morfismos de grupos f : G → G´, que escribiremos HomGr(G, G´), es siempre no vacío: la
función quea todo elemento de G le asigna el neutro de G´ es trivialmente un morfismo de grupos, al que llamamos el
“morfismo nulo”.
Un monomorfismo es un morfismo inyectivo. Un epimorfismo es un morfismo suryectivo. Un isomorfismo es un
morfismo biyectivo.
Sea f : G → G´ un morfismo de grupos. El núcleo de f es el conjunto:
y la imágen de f es el conjunto:
Se trata de subgrupos de G y de G´, respectivamente.

Ker( f ) = {g G : f (g) = eG´}
Im( f ) = {g´ G´ : existe g G tal que f(g) = g´}

Ejemplos:
1. La proyección canónica
es un morfismo de grupos.
2. Si f :
es un morfismo de grupos, entonces f es el morfismo nulo.
3. Dados un cuerpo k y n
, la aplicación f : GLn(k) → k − {0} tal que f (A) = det(A) es un morfismo de grupos.
4. Determinemos los morfismos de
. Sea f :
un morfismo de grupos. Sabemos que f (0) = 0.
¿Cuánto vale f (1)? Como 0 = 1 + 1 entonces f (1) + f (1) = 0. Esto nos dice que f (1) debe ser o bien cero o bien la
clase de 2 en . En cualquiera de los dos casos, la función así definida es un morfismo de grupos.
Bibliografia: ANILLOS Y SUS CATEGORÍAS DE REPRESENTACIONES por Andrea Solotar, Marco Farinati, Mariano Suárez
Alvarez. Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, (UBA) Universidad de Buenos Aires.