En �lgebra abstracta, un grupo es una estructura algebraica formada por un conjunto

no vac�o dotado de una operaci�n interna que combina cualquier par de elementos
para componer un tercero, dentro del mismo conjunto y que satisface las propiedades
asociativa, existencia de elemento neutro y sim�trico .1?

�ndice
1 Establecimiento del concepto de grupo
2 Construcci�n de la estructura algebraica de grupo
2.1 Primer ejemplo: el grupo abeliano aditivo de los enteros (Z ,
{\displaystyle \oplus } \oplus )
3 Rese�a hist�rica y situaci�n actual de la investigaci�n sobre teor�a de
grupos
4 La teor�a de grupos y el estudio de simetr�as: campo de aplicaciones
4.1 Segundo ejemplo: un grupo de simetr�a
5 Definici�n de grupo y su construcci�n algebraica: axiom�tica de grupo
5.1 1. Clausura
5.2 2. Asociatividad
5.3 3. Existencia de elemento neutro
5.3.1 Teorema sobre la unicidad del elemento neutro
5.4 4. Existencia de elemento sim�trico
5.4.1 Teorema sobre la unicidad del elemento sim�trico
5.5 5. Propiedad conmutativa
6 Notaci�n y nomenclatura en teor�a de grupos
6.1 Axiom�tica de grupos
6.2 Grupos multiplicativos
6.3 Grupos aditivos
7 Teoremas de grupo
7.1 Teorema cancelativo
7.2 Teorema sobre la existencia de una soluci�n �nica en una ecuaci�n lineal en (
{\displaystyle G,\circledast } {\displaystyle G,\circledast })
8 Tipolog�a en grupos
9 Descripci�n de algunos grupos notables: ejemplos
9.1 Grupos abelianos aditivos
9.2 Grupos abelianos multiplicativos
9.3 Grupos no conmutativos
10 El grupo (Z/nZ*, {\displaystyle \circledast } {\displaystyle \circledast })
11 V�ase tambi�n
12 Notas
13 Fuentes
13.1 Referencias
13.2 Bibliograf�a
13.2.1 Referencias generales
13.2.2 Referencias especiales
13.2.3 Referencias hist�ricas
14 Enlaces externos
Establecimiento del concepto de grupo[editar]
La formulaci�n axiom�tica del concepto de grupo permite la separaci�n desde lo
concreto hacia lo abstracto, favoreciendo trabajar de una manera flexible y
din�mica entre diferentes objetos matem�ticos, para permitir un tratamiento general
de todos ellos, gracias a que poseen un sustrato estructural inherente y com�n. De
este modo, un teorema v�lido para un objeto concreto puede ser verificado para otro
de la misma categor�a, elev�ndose a una teorem�tica abstracta que a todos ellos
afecta.

Existen millones de grupos y su estudio pormenorizado sin un cuerpo axiom�tico, aun

con la ayuda inform�tica, se har�a del todo inviable y poco pr�ctico, por ello, el
�lgebra abstracta tiene este importante papel que se traslada a las matem�ticas
aplicadas y a las ciencias que lo requieran, para su fundamentaci�n te�rica y
posterior utilizaci�n pr�ctica.

La aparici�n de los grupos en diversas �reas del conocimiento (tanto dentro como
fuera de las matem�ticas) los convierte en un principio central en torno al cual se
perfilan y se establecen las matem�ticas contempor�neas, con aplicaci�n inmediata
en otras �reas cient�ficas.2?3?

Las condiciones necesarias y suficientes para que el par {\displaystyle

(G,\,\circledast )} {\displaystyle (G,\,\circledast )} sea un grupo son:

{\displaystyle (G,\,\circledast )} {\displaystyle (G,\,\circledast )} es un

monoide4? o semigrupo con elemento neutro
{\displaystyle (G,\,\circledast )} {\displaystyle (G,\,\circledast )} verifica la
existencia de elemento sim�trico para cada uno de sus elementos.
{\displaystyle \exists !e\in G:\,\,e\circledast a=a,\,\forall a\in G.}
{\displaystyle \exists !e\in G:\,\,e\circledast a=a,\,\forall a\in G.}
{\displaystyle \forall a\in G,\,\exists {\bar {a}}:\,a\circledast {\bar
{a}}=e\,\,\,} {\displaystyle \forall a\in G,\,\exists {\bar {a}}:\,a\circledast
{\bar {a}}=e\,\,\,}
A veces, para simplificar el discurso se dice �G es un grupo� cuando deseamos
indicar que �(G, {\displaystyle \circledast } {\displaystyle \circledast }) es un
grupo�.1?

Para que (G, {\displaystyle \circledast } {\displaystyle \circledast }) pueda

satisfacer la existencia de una estructura de monoide o de semigrupo con elemento
neutro, debe satisfacer las siguientes propiedades:

(G, {\displaystyle \circledast } {\displaystyle \circledast }) se define con una

estructura basal de magma.4? Queda as� establecido al definir al operador �
{\displaystyle \circledast } {\displaystyle \circledast }� 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 tambi�n se le denomina
clausura lineal.
(G, {\displaystyle \circledast } {\displaystyle \circledast }) verifica la
propiedad asociativa.
(G, {\displaystyle \circledast } {\displaystyle \circledast }) posee un elemento de
identidad o elemento neutro e.
(G, {\displaystyle \circledast } {\displaystyle \circledast }) es un grupo si
adem�s, verifica la existencia de elemento sim�trico para cada uno de sus
elementos.
(G, {\displaystyle \circledast } {\displaystyle \circledast }) es grupo abeliano si
adem�s, cumple la propiedad conmutativa.
Construcci�n de la estructura algebraica de grupo[editar]
Primer ejemplo: el grupo abeliano aditivo de los enteros (Z , {\displaystyle \oplus
} \oplus )[editar]
Uno de los grupos m�s familiares es el conjunto de los n�meros enteros �Z� que est�
formado por los n�meros enteros (n�meros que carecen de parte decimal) y que est�n
dotados de signo (positivos y negativos) junto con el {0}.

Por extensi�n, entre otros n�meros, 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.

El signo {\displaystyle \oplus } \oplus indica que es un operador interno, en

consecuencia, el grupo abeliano (Z , {\displaystyle \oplus } \oplus ) cumple la
propiedad de cierre o clausura, donde el resultado que se obtiene al operar entre
s� a los n�meros enteros, es otro n�mero entero y no otra clase de n�meros, en lo
que sigue, se utilizar� el signo �+� propio de la aritm�tica. As� a + b = c, siendo
a y b dos n�meros enteros, c tambi�n lo es.
El orden al realizar la operaci�n aditiva no es necesario mantenerlo debido a que
verifica la propiedad conmutativa: a + b = b + a.
Al operar con tres n�meros enteros, es posible realizar en un primer paso, la
adici�n de los dos primeros y su resultado sumarlo al tercer n�mero o bien,
realizada la operaci�n de los dos �ltimos, sumar lo obtenido, el primero. Esta
propiedad se denomina propiedad asociativa: (a + b) + c = a + (b + c)= a + b + c.
Todo n�mero entero al sumarse con 0 da como resultado el mismo n�mero: 0 + a = a +
0 = a. El elemento neutro es denominado elemento cero en este grupo abeliano,
carece de signo y su caracter�stica es que no interact�a con otros n�meros
realizando la operaci�n aditiva, dej�ndolo todo exactamente igual.
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 operaci�n aditiva o �+�, forma parte de un tipo de
objetos matem�ticos que se integran en la definici�n de grupo ya que comparten los
aspectos estructurales esenciales que sirven para conocer su comportamiento desde
el punto de vista algebraico. Para entender apropiadamente estas estructuras sin
tratar con cada caso concreto, es necesario desarrollar una definici�n abstracta,
como la que a continuaci�n, se expone.

Rese�a hist�rica y situaci�n actual de la investigaci�n sobre teor�a de

grupos[editar]
El concepto de un grupo surgi� del estudio de ecuaciones algebraicas en una
inc�gnita, comenzando con �variste Galois durante los a�os 1830. Despu�s de
contribuciones desde otros campos como la teor�a de n�meros y la geometr�a, la
noci�n de grupo se generaliz� y se estableci� firmemente alrededor de 1870.

La definici�n de grupo (G, *) usando: la asociatividad, la existencia de elemento

neutro, de elemento inverso y la noci�n de operaci�n binaria, fue formulada por
F.G. Frobenius, por primera vez en 1887, advirtiendo que los teoremas que los
demostraba depend�an �nicamente de los axiomas propuestos y sin tener que acudir al
aparato de los grupos de permutaciones, que empleaban sus antecesores Cauchy,
Jordan y Sylow.6?

Los grupos conmutativos son los que, adem�s verifican la propiedad conmutativa, son
habitualmente denominados como grupos abelianos en honor al matem�tico dan�s Niels
Abel que en su important�sima aportaci�n, demostr� la irresoluci�n de la qu�ntica
mediante radicales en 1846 a partir de Ruffini en lo que se denomina teorema de
Abel-Ruffini y debido al uso reiterado de grupos conmutativos en sus
investigaciones. Posteriormente �variste Galois prob� con sus nuevas teor�as que la
irresoluci�n del grupo S5 implicar�a la demostraci�n fehaciente de lo que Abel
descubri� sobre la irresolubilidad de la ecuaci�n de quinto grado mediante el uso
de radicales.

Debido a que los primeros grupos estudiados en la historia, fueron los

multiplicativos, su nomenclatura y notaci�n , muy extendidas , se lleg� a utilizar
en la generalizaci�n de las definiciones axiom�ticas y abstractas en teor�a de
grupos; aunque es necesariamente recomendable, utilizar la notaci�n y nomenclatura
propias del �lgebra abstracta.

La moderna teor�a de grupos (una disciplina matem�tica muy activa) estudia los
grupos en s�.nota 1? Con el fin de explorar los grupos, los matem�ticos han ideado
diversas nociones con tal de dividir grupos en subsistemas m�s peque�os, m�s
comprensibles, como subgrupos, grupos cociente y grupos simples. Adem�s de sus
propiedades abstractas, los te�ricos de los grupos tambi�n estudian las maneras en
que un grupo se puede expresar en forma concreta (sus representaciones de grupo),
tanto desde un punto de vista te�rico como de un punto de vista computacional. Una
teor�a especialmente rica fue desarrollada para grupos finitos y culmin� con la
clasificaci�n de los grupos simples finitos completada en 1983.nota 2? Asimismo,
desde mediados de 1980, la teor�a de grupos geom�tricos, que estudia los grupos de
generaci�n finita como objetos geom�tricos, se ha convertido en un �rea
particularmente activa en la amplia teor�a de grupos.

La importancia crucial de la teor�a de grupos tanto en f�sica como en matem�tica

radica en que los isomorfismos de cualquier estructura, de cualquier teor�a, forman
siempre un grupo y que, en los casos m�s importantes, los grupos est�n
clasificados: se conocen listas que agotan todos los que hay. La clasificaci�n de
los grupos de Lie, llevada a cabo esencialmente por �lie Cartan, es un punto
culminante de la matem�tica europea, solo comparable a la construcci�n de los 5
poliedros regulares realizada por la matem�tica griega. Al igual que esta �ltima es
la determinaci�n de todas las figuras geom�tricas sim�tricas posibles, la
clasificaci�n de grupos es la determinaci�n de todas las posibles simetr�as de
cualquier estructura. As�, podemos conocer a priori los grupos de automorfismos de
cualquier teor�a geom�trica. Adem�s, de acuerdo con el Programa de Erlangen de
Felix Klein, este grupo de automorfismos reconstruye la correspondiente teor�a
geom�trica.

Algo parecido sucede en f�sica, donde se ha descubierto que el grupo de simetr�as

del lagrangiano de un sistema determina propiedades fundamentales asociadas a las
part�culas elementales de dicho sistema. La clasificaci�n de grupos de Lie
proporciona la lista de los posibles grupos existentes de simetr�as
infinitesimales, v�lidos para eventuales y futuros modelos cient�ficos.

La teor�a de grupos y el estudio de simetr�as: campo de aplicaciones[editar]

La teor�a de grupos comparte un parentesco fundamental con la noci�n de simetr�a.
Un grupo de simetr�a codifica las caracter�sticas de simetr�a de un objeto
geom�trico: consiste en el conjunto de transformaciones que dejan invariante el
objeto y la operaci�n de combinar dos de estas transformaciones.

Tales grupos de simetr�a y en especialmente los grupos de Lie diferenciables,

tienen un papel importante en topolog�a y otras ramas de la matem�tica como los
grupos matriciales y operadores.
En f�sica son utilizados para entender las leyes f�sicas fundamentales en las que
se basa la relatividad, tambi�n se utilizan en campos de la f�sica muy diversos
como la f�sica de part�culas, teor�a de campos, f�sica cu�ntica e incluso los
nuevos campos de la f�sica actual como las teor�as unificadoras (teor�a M y teor�a
de cuerdas) entre otras muchas aplicaciones.
En qu�mica los estudios relacionados con la teor�a de enlace, simetr�a molecular,
simetr�a at�mica e incluso radiactividad.
En geolog�a y m�s concretamente en cristalograf�a.