Une description d'une algèbre par un ensemble de générateurs accompagné des relations qui les définissent, présentée de sorte que l'algèbre soit déterminée à isomorphisme près par ces générateurs et relations (souvent notée ⟨générateurs | relations⟩).

Principe

Une présentation encode syntaxiquement une algèbre : l'objet libre sur les générateurs, modulo la congruence engendrée par les relations, fournit l'algèbre, rendant la construction et la manipulation concrètes possibles.

Démonstration

Le groupe cyclique d'ordre n admet la présentation ⟨a | a^n = e⟩ ; le groupe libre sur un ensemble X se présente par ⟨X | —⟩ (pas de relations). En théorie des anneaux, un quotient d'un anneau de polynômes par un idéal donne une présentation de l'anneau quotient.

Mauvaise application

Employer un ensemble de relations insuffisant ou ambigu qui n'impose pas les identifications voulues (ou prétendre qu'une présentation détermine de façon unique une algèbre pour des signatures différentes sans vérifier la compatibilité) est un abus fréquent.

Conséquence

Une présentation facilite les calculs explicites, les constructions universelles (objets libres et quotients) et les preuves concernant les générateurs, formes normales et propriétés algorithmiques comme le problème du mot.

Inversion

Au lieu de spécifier générateurs et relations pour construire une algèbre, on peut analyser une algèbre donnée pour en extraire une présentation ; la réciproque met en lumière la distinction entre description constructive et représentation a posteriori.

Limite

Les présentations dépendent de la signature et de la catégorie ambiante (groupes, anneaux, modules, etc.) ; elles ne rendent pas compte d'une structure supplémentaire comme la topologie ou l'ordre sauf si ces caractéristiques sont encodées dans la signature et les relations.

Tension sémantique

La tension existe entre les présentations (descriptions syntaxiques et génératives) et les invariants intrinsèques (propriétés structurelles ou catégorielles) ; les présentations sont pratiques pour la construction mais peuvent occulter des invariants indépendants de la signature.

Synthèse

Une présentation d'une algèbre fournit une recette syntaxique, finie ou infinie — générateurs et relations — dont le quotient de l'objet libre produit l'algèbre à isomorphisme près, permettant la construction concrète, le calcul et la comparaison.