Un ensemble (ou une classe) muni d'opérations finies et de relations spécifiées — telles que opérations binaires, opérations unaires et éléments distingués — ainsi que des axiomes qu'elles satisfont ; ces données définissent l'objet algébrique étudié (par ex. groupe, anneau, treillis).

Principe

Une structure algébrique est organisée par une signature (collection de symboles d'opération avec leurs arités) et des axiomes équationnels ou relationnels ; la fermeture par les opérations et la satisfaction des axiomes déterminent le comportement interne et les homomorphismes admissibles.

Démonstration

Un groupe est une structure algébrique donnée par un ensemble G muni d'une opération binaire ·, d'un élément identité e et d'une application inverse, soumis aux axiomes d'associativité, d'identité et d'inverse ; de même un anneau ajoute une seconde opération et des lois distributives pour constituer une structure algébrique à deux opérations.

Mauvaise application

Confondre des structures qui exigent des données topologiques ou d'ordre supplémentaires (par ex. groupes topologiques, groupes de Lie, corps ordonnés) avec des structures purement algébriques et ignorer la structure supplémentaire nécessaire pour la continuité ou la différentiabilité entraîne des conclusions trompeuses.

Conséquence

Encadrer des objets comme structures algébriques permet l'étude des homomorphismes, des sous-structures, des produits, des présentations et des constructions universelles, et permet de transférer des théorèmes généraux (théorèmes d'isomorphisme, théorie des variétés d'algèbres) entre classes déterminées par signatures et axiomes.

Inversion

Si l'on inverse le point de vue et que l'on considère les mêmes données catégoriquement (comme objets d'une catégorie avec des morphismes) ou relationnellement (en se concentrant sur des relations plutôt que des opérations), l'accent passe de l'algèbre équationnelle aux propriétés catégoriques ou relationnelles en théorie des modèles.

Limite

Couvre les systèmes algébriques finitaires définis par des opérations de arité finie et des axiomes équationnels/relationnels ; exclut les opérations essentiellement infinitaires, la structure analytique/géométrique sauf si elle est explicitement incluse, et les contextes où topologie, mesure ou différentiabilité sont essentielles sauf si elles sont ajoutées à la signature algébrique.

Tension sémantique

Tension entre la notion de structure algébrique (signature syntaxique plus axiomes) et les objets 'algébriques' géométriques ou schématiques : la première met l'accent sur opérations et équations, la seconde sur points géométriques et faisceaux de structures.

Synthèse

Une structure algébrique est l'ensemble formel composé d'une signature, d'un ensemble sous-jacent, d'opérations, d'éléments distingués et d'axiomes qui ensemble définissent une classe d'objets (groupes, anneaux, treillis, etc.), fournissant le langage et les outils pour la manipulation algébrique, la théorie des homomorphismes et les constructions universelles.