Durante varios artículos de este sitio he presentado diferentes características de los conjuntos. Teniendo en base a la teoría de conjuntos existen varias estructuras algebraicas de gran interés en las matemáticas modernas, tales como los grupos, anillos, espacios vectoriales, módulos y sus variantes.
En este articulo voy a comentar una breve introducción a la teoría de grupos, teoría que tiene una relativa juventud y fue sistematizada por grandes matemáticos del siglo XIX y principios del siglo XX, entre ellos Galois, Dedekid, Kummer, Hilbert, Emily Noether , Klein, Burnside etc.
¿Que son los grupos?
Desde el punto de vista del álgebra abstracta los grupos son estructuras algebraicas formadas por un conjunto G no vacío y una operación binaria aplicada a todos los elementos de G, que denotaremos como * , que satisface las siguientes condiciones:
1- Existe una ley de composición * que a todo par x, y perteneciente a G hacen corresponder a otros elemento de G.
Simbólicamente:
Esta propiedad se la suelde denominar como propiedad de cerradura en G.
2- Ley asociativa:
3- Existe un elemento unidad denotado por e (o elemento neutro) tal que:
4- Todo elemento tiene un inverso o simétrico tal que:
Nota: A se lo suelde denotar como
Estas expresiones aplican cuando el operador * tiene una expresión multiplicativa, pero también puede tener una expresión aditiva, en ese caso las expresion 1 a 4 son:
1-
2-
3-
Nota: Para expresión multiplicativa el elemento unidad de x se denomina neutro y se denota con el símbolo 1. En cambio si la expresión elegida es la aditiva el elemento unidad de x se denomina opuesto y se denota con el símbolo 0.
4-
El uso de la expresión multiplicativa o aditiva depende del grupo en cuestión.
Ejemplos:
1- El conjunto -{0} de los números reales excluido el cero forman un grupo respecto al a multiplicación común. En cambio
no es un grupo para la multiplicación común porque el elemento 0 no tiene inverso.
2- El conjunto de todos los números reales incluidos negativos, positivos y cero es un grupo con respecto a la adición , el neutro es 0 y el opuesto de x es -x
3- Los ejemplos anteriores se tratan de grupos infinitos, en este ejemplo veremos un grupo finito.
4- Consideremos 3 objetos A,B y C, existen 6 permutaciones posibles entre ellos , que simplemente consisten en intercambiar de lugar estos objetos entre si. Para identificarlas les daremos un nombre a cada permutaciones posible de las 6 existentes.
Estas permutaciones se pueden operar entre si generando una nueva permutacion
A continuación verificaremos que el conjunto G = {I,J,K,R,S,T} con la operación de permutación que denominaremos * tiene estructura de grupo.
1- Cerradura:
Para verificar esta propiedad debemos operar cada uno de los elemento de G con otro elemento de G y verificar que el resultado también esta en G.
Por ejemplo:
Por lo tanto
En cambio lo que indica que la operación no es conmutativa. Por lo general los grupos no son conmutativos, si para todo elemento
del grupo G
se dice que G es un grupo conmutativo o abeliano.
Se puede comprobar que toda operación de permutacion entre miembro de G esta también miembro de G, o sea . Lo que justifica que satisface la condición de cerradura.
2- Asociatividad
Para verificar este punto debemos demostrar que
Por ejemplo y
. Se puede verificar usando la tabla de multiplicación de más abajo que la asociatividad se satisface para todo conjunto de tre elementos de G.
3- Elemento neutro
El elemento neutro es la permutaacion que no sufre cambio alguno en la posicion de sus elementos, en este caso es I.
Verificar que operando por derecha y por izquierda con cualquier otro miembro de G el resultado es ese miembro de G.
4- Inverso
El inverso es aquel elemento de G que operado por derecha y por izquierda con cualquier elemento de G el resultado es la identidad.
Por ejemplo: en donde
es el inverso de si mismo$
Análogamente se puede probar que todo elemento de G tiene su correspondiente inverso.
Por lo tanto (G,*) tiene estructura de grupo. En particular este tipo de grupo se lo denomina grupo de permutaciones de n elementos (en este caso n = 3)
Podemos construir una tabla de multiplicación para representar todas las operaciones posibles dentro de G.

Asimismo si observamos, veremos ue I,J y K forman un grupo contenido en G, o sea si es un grupo , entonces H es un subgrupo de G. Se denota como
.
Referencias:
1- El concepto de grupo, su potencia y sus lìmites, Las grandes corrientes del pensamiento matematico, EUDEBA, 1962
2- Theory of Groups of Finite Order, Willian Burnside, 1897
Agregar un comentario