Introduccin al curso de lgebra moderna II

Anaid Linares

Un poco de historia
La teora de grupos surge del estudio de las ecuaciones polinomiales. La solubilidad de una
ecuacin est determinada por el grupo de permutaciones de sus races; antes de que Abel [1824]
y Galois [1830] dominaran esta relacin, Lagrange [1770] y Cauchy [1812] investigaron las
permutaciones y probaron lo que ms tarde se convertira en los teoremas que llevan sus
nombres. El trmino grupo fue acuado por Galois.

En inters en los grupos de transformaciones y en lo que ahora llamamos grupos clsicos, surge
despus de 1850, Klein alrededor de [1872] enfatiz su papel en la geometra.

La teora moderna de grupos surgi al aplicarse el mtodo axiomtico a los resultados. El texto de
Burnside Teora de grupos de orden finito [1897] marca el principio de una nueva disciplina, el
lgebra abstracta, en la cual las estructuras estn definidas por axiomas y la naturaleza de los
elementos es irrelevante. Actualmente los grupos son una de las estructuras fundamentales del
lgebra; se relacionan con la mayora de los objetos que podemos encontrar (anillos, campos,
mdulos, lgebras) y se usan frecuentemente en otras ramas de las matemticas. Se trata
tambin de una de las reas ms activas en investigacin y que cuentan con grandes logros.
[Grillet, P. (2007) Abstract Algebra, Springer, N.Y. p 1]

Conceptos bsicos
Definicin. Un GRUPO es un par (G,*) ordenado de un conjunto G y una operacin binaria en el
mismo de forma que se cumple:

1. La operacin es asociativa

2. Existe un elemento identidad

3. Cualquier elemento x de G tiene un inverso.

Los grupos tambin pueden definirse en trmino de monoides en el que cada elemento tiene un
inverso.

Algunos ejemplos son: (Z, +), (Q, +), (R, +), y (C, +). Observe que (N, +) no es un grupo por qu?

Ahora intente escribir las definiciones de los siguientes conceptos: Subgrupo, grupo cclico,
grupo de permutaciones, isomorfismo. Antelas y luego revise las siguientes definiciones ha
podido escribirlas formalmente?omiti alguna caracterstica?
Un subgrupo H de G es un SUBGRUPO si y slo si H es distinto del vaco y si x y y estn en H
entonces xy-1 est en H.

Un grupo G es cclico si existe un elemento a en G tal que <a>=G es decir, cualquier elemento de G
puede escribirse como potencia de a.

Un grupo de PERMUTACIONES es aquel cuyos elementos son las permutaciones de un conjunto,

usualmente finito. Por ejemplo, el grupo de permutaciones de tres elementos ser S3 = {e,
(2,3),(1,2), (1,3), (123),(132)}

Se dice que un homomorfismo es un ISOMORFISMO si este es biyectivo.

Un HOMOMORFISMO de un grupo G en H es un mapeo f:G ->H tal que f(xy)=f(x)f(y) donde x, y

estn en G.

Anlogamente escriba las definiciones de clase lateral y grupo normal.