Establecimiento del concepto de Grupo

La formulacin axiomtica del concepto de grupo permite la separacin desde lo concreto

hacia lo abstracto, favoreciendo trabajar de una manera flexible y dinmica entre diferentes
objetos matemticos, para permitir un tratamiento general de todos ellos, gracias a que
poseen un sustrato estructural inherente y comn. De este modo, un teorema vlido para
un objeto concreto puede ser verificado para otro de la misma categora, elevndose a una
teoremtica abstracta que a todos ellos afecta.
Existen millones de grupos y su estudio pormenorizado sin un cuerpo axiomtico, aun con
la ayuda informtica, se hara del todo inviable y poco prctico, por ello, el lgebra
abstracta tiene este importante papel que se traslada a las matemticas aplicadas y a las
ciencias que lo requieran, para su fundamentacin terica y posterior utilizacin prctica.
La aparicin de los grupos en diversas reas del conocimiento (tanto dentro como fuera de
las matemticas) los convierte en un principio central en torno al cual se perfilan y se
establecen las matemticas contemporneas, con aplicacin inmediata en otras reas
cientficas.
Las condiciones necesarias y suficientes para que el par (G,*) sea un grupo son:

1. (G,*) es un monoide o semigrupo conmutativo con elemento neutro

2. (G,*) verifica la existencia de elemento simtrico para cada uno de sus elementos.
.
A veces, para simplificar el discurso se dice G es un grupo cuando deseamos indicar
que (G,*) es un grupo.1
Para que (G,*) pueda satisfacer la existencia de una estructura de monoide o de
semigrupo conmutativo con elemento neutro, debe satisfacer las siguientes propiedades:

1. (G,*) se define con una estructura basal de magma. Queda as establecido al

definir al operador como interno lo que permite operar entre s a los elementos
del conjunto, obteniendo como resultado otro elemento de ese mismo conjunto, a
este concepto tambin se le denomina clausura lineal.

2. (G,*) verifica la propiedad asociativa.

3. (G,*) posee un elemento de identidad o elemento neutro e.

4. (G,*) es un grupo si adems, verifica la existencia de elemento simtrico para cada

uno de sus elementos.

5. (G,*) es grupo abeliano si adems, cumple la propiedad conmutativa.

Construccin de la estructura algebraica de grupos

Primer ejemplo: el grupo abeliano aditivo de los enteros ( ,
*)
Uno de los grupos ms familiares es el conjunto de los nmeros enteros que est
formado por los nmeros enteros (nmeros que carecen de parte decimal) y que estn
dotados de signo (positivos y negativos) junto con el {0}.
Por extensin, entre otros nmeros, contiene a los siguientes: ..., 3, 2, 1, 0, 1, 2, 3, ...5
Las propiedades que verifican los elementos de este grupo, ayudar a ilustrar los
siguientes sub-apartados.

1. El signo * indica que es un operador interno, en consecuencia, el grupo abeliano (

, *) cumple la propiedad de cierre o clausura, donde el resultado que se obtiene al
operar entre s a los nmeros enteros, es otro nmero entero y no otra clase de
nmeros, en lo que sigue, se utilizar el signo + propio de la aritmtica. As a +
b = c, siendo a y b dos nmeros enteros, c tambin lo es.

2. El orden al realizar la operacin aditiva no es necesario mantenerlo debido a que

verifica la propiedad conmutativa: a + b = b + a.

3. Al operar con tres nmeros enteros, es posible realizar en un primer paso, la

adicin de los dos primeros y su resultado sumarlo al tercer nmero o bien,
realizada la operacin de los dos ltimos, sumar lo obtenido, el primero. Esta
propiedad se denomina propiedad asociativa: (a + b) + c = a + (b + c)= a + b + c.

4. Todo nmero entero al sumarse con 0 da como resultado el mismo nmero: 0 + a

= a + 0 = a. El elemento neutro es denominado elemento cero en este grupo
abeliano, carece de signo y su caracterstica es que no interacta con otros
nmeros realizando la operacin aditiva, dejndolo todo exactamente igual.

5. Para cada entero a, hay un entero (-a) tal que a + (-a) = (-a) + a = 0. El entero (-
a) se denomina elemento opuesto del entero a.
Los enteros, junto con la operacin aditiva o +, forma parte de un tipo de objetos
matemticos que se integran en la definicin de grupo ya que comparten los aspectos
estructurales esenciales que sirven para conocer su comportamiento desde el punto de
vista algebraico.