Una estructura algebraica (G, ·) formada por un conjunto G junto con una operación binaria · que es cerrada, asociativa, posee un elemento identidad e en G, y para cada elemento g en G existe un inverso g^{-1} en G. La noción se entiende respecto a la igualdad del conjunto y de la operación, y los homomorfismos preservan la operación.

Principio

Un grupo organiza elementos mediante una ley asociativa cerrada con un elemento neutro y elementos inversos bilaterales; estos axiomas permiten la composición, la cancelación y la resolución de ecuaciones dentro del conjunto.

Demostración

Los enteros Z con la suma (Z, +) forman un grupo: la suma es asociativa y cerrada, 0 es la identidad y cada n tiene inverso −n. Otro ejemplo estándar es el grupo de permutaciones S_n de todas las biyecciones de un conjunto de n elementos, con la composición como operación.

Aplicación incorrecta

Llamar grupo a cualquier estructura asociativa con identidad ignorando la existencia de inversos (por ejemplo, un monoide) o asumir conmutatividad sin demostración son usos indebidos habituales.

Consecuencia

Si se cumplen los axiomas de grupo se obtienen leyes de cancelación, unicidad de identidad e inversos, grupos cociente bien definidos por subgrupos normales y una teoría rica de homomorfismos y acciones de grupo que conecta el álgebra con la geometría y la combinatoria.

Inversión

Eliminar los inversos produce un monoide; eliminar la identidad produce un semigrupo; perder la asociatividad genera estructuras mucho más débiles. Cada omisión debilita el control algebraico y invalida muchos argumentos basados en grupos.

Límite

Esta entrada trata grupos abstractos únicamente; excluye estructuras adicionales como topología, estructura diferenciable o de variedad algebraica que conducen a grupos topológicos, de Lie o algebraicos. Las operaciones parciales o multivaluadas y la ausencia de inversos bilaterales quedan fuera de este ámbito.

Tensión semántica

El término ‘grupo’ en su sentido axiomático puede confundirse con nociones especializadas (grupo topológico, grupo algebraico, acción de grupo). La tensión está entre el contenido puramente axiomático y la estructura geométrica o analítica añadida que impone continuidad, diferenciabilidad o condiciones esquemáticas.

Síntesis

Un grupo es el sistema algebraico mínimo, cerrado y asociativo, con identidad e inversos; sirve de marco básico para la simetría, la resolución de ecuaciones y la construcción de cocientes y homomorfismos.