Un conjunto (o clase) provisto de operaciones finitas y relaciones especificadas — tales como operaciones binarias, operaciones unarias y elementos distinguidos — junto con los axiomas que satisfacen; estos datos definen el objeto algebraico en estudio (p. ej., grupo, anillo, reticulado).

Principio

Una estructura algebraica se organiza mediante una firma (colección de símbolos de operación con aridades) y axiomas ecuacionales o relacionales; el cierre frente a las operaciones y la satisfacción de los axiomas determinan el comportamiento interno y los homomorfismos permitidos.

Demostración

Un grupo es una estructura algebraica dada por un conjunto G con una operación binaria ·, un elemento identidad e y una aplicación inversa, sujetos a los axiomas de asociatividad, identidad e inverso; análogamente, un anillo añade una segunda operación y leyes distributivas para formar una estructura algebraica con dos operaciones.

Aplicación incorrecta

Confundir estructuras que requieren datos topológicos u de orden adicionales (por ejemplo, grupos topológicos, grupos de Lie o cuerpos ordenados) con estructuras puramente algebraicas e ignorar la estructura suplementaria necesaria para continuidad o diferenciabilidad conduce a conclusiones engañosas.

Consecuencia

Enmarcar objetos como estructuras algebraicas permite el estudio de homomorfismos, subestructuras, productos, presentaciones y construcciones universales, y facilita la transferencia de teoremas generales (teoremas de isomorfismo, teoría de variedades algebraicas) entre clases determinadas por firmas y axiomas.

Inversión

Si se invierte el punto de vista y se tratan los mismos datos categóricamente (como objetos en una categoría con morfismos especificados) o relacionalmente (centrándose en relaciones en lugar de operaciones), el foco se desplaza de la álgebra ecuacional a propiedades categóricas o relacionales en teoría de modelos.

Límite

Abarca sistemas algebraicos finitarios definidos por operaciones de aridad finita y axiomas ecuacionales/relacionales; excluye operaciones esencialmente infinitarias, estructura analítica/geométrica salvo que se incluya explícitamente, y contextos donde la topología, la medida o la suavidad son esenciales a menos que se añadan a la firma algebraica.

Tensión semántica

Existe tensión entre la noción de estructura algebraica (firma sintáctica más axiomas) y objetos 'algebraicos' geométricos o esquemáticos: la primera enfatiza operaciones y ecuaciones, la segunda enfatiza puntos geométricos y haces de estructura.

Síntesis

Una estructura algebraica es el paquete formal de una firma, conjunto subyacente, operaciones, elementos distinguidos y axiomas que juntos definen una clase de objetos (grupos, anillos, reticulados, etc.), proporcionando el lenguaje y las herramientas para la manipulación algebraica, la teoría de homomorfismos y las construcciones universales.