Teoria de grupos

En lgebra abstracta, la teora de grupos estudia las estructuras algebraicas conocidas

como grupos. Sus objetivos son, entre otros, la clasificacin de los grupos, sus propiedades y
sus aplicaciones tanto dentro como fuera de las matemticas.
Los grupos sirven como pilar a otras estructuras algebraicas ms elaboradas como los anillos,
los cuerpos o los espacios vectoriales. La teora de grupos tiene muchas aplicaciones en el
campo de la fsica y la qumica, y es potencialmente aplicable en situaciones caracterizadas
por la simetra. Adems se aplican en astrofsica: quarks, solucin de acertijos: cubo de Rubik,
en los cdigos binarios y en criptografa.
El orden de un grupo es su cardinalidad; sobre la base de l, los grupos pueden clasificarse
en grupos de orden finito o de orden infinito. La clasificacin de los grupos simples de orden
finito es uno de los mayores logros matemticos del siglo XX.
Las races histricas de la teora de grupos son la teora de las ecuaciones algebraicas,
la teora de nmeros y la geometra. Euler, Gauss, Lagrange, Abel y Galois fueron los
creadores que ponen los cimientos de esta rama del lgebra abstracta. variste Galois es
reconocido como el primer matemtico que relacion esta teora con la teora de cuerpos, de
lo que surgi la teora de Galois. Adems, us la denominacin de grupo o " invent el trmino
[...]" segn E.T.Bell. Otros importantes matemticos que contribuyen son Cayley, Emil
Artin, Emmy Noether, Peter Ludwig Mejdell Sylow, A.G. Kurosch, Iwasawa entre muchos otros.
Fue Walter Dick quien en 1882, dio la moderna definicin de grupo y fue "el primero en definir
el grupo libre engendrado por un nmero finito de generadores", segn Nicols Bourbaki. A
fines del siglo XIX, Frobenius defini grupo abstracto con un sistema de axiomas.

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[editar]
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.

Notacin[editar]
Se habla de notacin aditiva cuando se representa la ley de composicin interna como "
", y el elemento neutro como "0". Por otro lado, la notacin multiplicativa es
aquella en la que la ley de composicin interna se representa como "

", o "

", y el

elemento neutro como "1".

Ejemplos[editar]

, 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 enteros (excluyendo al 0) con la

multiplicacin, no es un grupo; dado que el elemento simtrico de x es 1/x, y
dicho 1/x pertenece al conjunto de racionales, no al de los enteros. Notar que al no
tener el cero elemento simtrico multiplicativo, se lo debe excluir.

El conjunto de todas las biyecciones de un conjunto X - simbolizado por S(X) - junto

con la composicin de funciones, es un grupo no abeliano (si la cardinalidad de X es
mayor que dos) y se llama grupo simtrico de X.

El conjunto de matrices rectangulares de dimensiones

con la suma, es un

grupo abeliano.

El conjunto de matrices cuadradas con determinante diferente de cero con la

multiplicacin (Grupo general lineal), no es abeliano.

Las clases de homotopa de trayectorias continuas

en un espacio

topolgico X forman un grupo no necesariamente abeliano. sta construccin es

el grupo fundamental de X.

El grupo fundamental de un crculo es el grupo cclico infinito;

El de la esfera

De un toro es

De un toro sin un disco es el grupo libre de orden dos,

es trivial = 0.

dos discos disjuntos;

. De un toro sin

Del plano proyectivo es

El de la botella de Klein tiene la presentacin;

corresponde al producto semidirecto de

con

y que

Operaciones[editar]
Entre dos grupos G, H puede haber morfismos, i.e. funciones que son compatibles con las
operaciones en cada uno de ellos. Si

es un homomorfismo entonces

obedece

donde hemos hecho la convencin de escribir

de a con b en G, y
El conjunto

la operacin de

para indicar la operacin

con

en H.

es un subgrupo en H cuando S es un subgrupo en G.

Si transformamos un conmutador del grupo:

obtiene:

se
.

Categora de grupos[editar]
Desde el punto de vista de la teora de categoras, la teora de grupos podra
catalogarse como una categora llamada categora de grupos, debido a que en ella
se estudia a los grupos y sus morfismos. La categora de grupos es muy grande, pero
puede armarse una relacin de equivalencia en esta categora para que se factorice:
la relacin entre grupos de ser isomorfos reduce cuestiones estructurales de la
categora de grupos a la categora de grupos-mdulo-los-isomorfos. En esta reduccin
la operacin de unin disjunta la convierte en una categora monoidal.

Teora geomtrica de los grupos[editar]

Los ms actuales temas de investigacin en la teora de grupos tienen que ver con las
modernas tcnicas de la topologa. Una manera estndar de construir nuevos grupos
a partir de los conocidos son los

productos libres,

productos libres amalgamados y las

HNN-extensiones.

La gran variedad de tcnicas topolgicas pueden ser aplicadas desde que se sabe
que es posible construir siempre un espacio topolgico (de hecho un CWcomplejo dos-dimensional) de tal manera que el grupo fundamental de este espacio
es el grupo dado.