En matemáticas una estructura algebraica es, en términos generales, un conjunto dotado de una o varias reglas de combinación, normalmente presentadas como operaciones binarias. Estas operaciones satisfacen ciertas propiedades (como asociatividad, existencia de identidad o distributividad) que determinan la clase de estructura. El estudio sistemático de estas estructuras forma parte del álgebra abstracta y permite clasificar y comparar objetos matemáticos según las leyes que cumplen.

Elementos y propiedades fundamentales

Las piezas básicas de una estructura algebraica son el conjunto subyacente y las operaciones definidas en él. Entre las propiedades algebraicas más frecuentes aparecen la asociatividad, la existencia de un elemento de identidad, la presencia de un elemento inverso para cada elemento, la conmutatividad y la distributividad cuando hay dos operaciones que interactúan. Además de estas, se consideran nociones como subestructura, homomorfismo y producto directo para entender relaciones entre estructuras.

Clases básicas con una operación

  • Magma: un conjunto con una operación binaria cualquiera, sin exigir propiedades adicionales.
  • Semigrupo: un magma cuya operación es asociativa.
  • Monoide: un semigrupo que posee un elemento neutro o identidad.
  • Grupo: un monoide en el que cada elemento tiene un inverso relativo a la operación.
  • Grupo conmutativo (o abeliano): un grupo cuya operación es conmutativa.

Clases con dos operaciones principales

Cuando en el conjunto se definen dos operaciones con relaciones entre sí (habitualmente llamadas suma y multiplicación) aparecen estructuras más ricas:

  • Anillo: un conjunto con una suma que forma un grupo conmutativo y una multiplicación que forma al menos un semigrupo; además la multiplicación es distributiva respecto de la suma.
  • Anillo conmutativo: un anillo cuya multiplicación es conmutativa.
  • Campo: un anillo conmutativo en el que los elementos distintos de cero forman un grupo bajo la multiplicación.

Estos conceptos admiten variaciones y refinamientos: por ejemplo, algunos autores requieren que la multiplicación de un anillo tenga unidad (un monoide multiplicativo), mientras que en otros contextos se estudian álgebras sobre cuerpos, anillos no conmutativos o estructuras con operaciones adicionales (como álgebras de Lie o álgebras booleanas).

Historia y ejemplos

La noción moderna de estructura algebraica surgió al consolidarse el álgebra abstracta entre los siglos XIX y XX. Ideas de trabajo sobre grupos, anillos y cuerpos aparecieron en la resolución de ecuaciones y en la teoría de Galois; posteriormente se formalizaron conceptos como homomorfismo y estructura universal para organizar los distintos objetos. Ejemplos cotidianos incluyen los enteros con suma y multiplicación, los polinomios, matrices, cuerpos numéricos como los racionales o reales, y estructuras discretas usadas en criptografía y teoría de códigos.

Las estructuras algebraicas son herramientas centrales en muchas áreas: teoría de números, geometría algebraica, física teórica, informática (p. ej. tipos algebraicos y sistemas de clasificación), y criptografía. Su formalismo permite transferir propiedades de un contexto a otro mediante isomorfismos y homomorfismos, simplificando el estudio de problemas que comparten la misma estructura subyacente.

Para ampliar información sobre términos concretos y ejemplos ver definición general, conjunto, operaciones y las entradas específicas: magma, asociatividad, monoide, identidad, grupo, inverso, conmutatividad, anillo, distributividad, anillo conmutativo y campo.