Une algèbre admettant une présentation par un ensemble fini de générateurs assorti d'un ensemble fini d'équations définissantes (relations) entre ces générateurs ; équivalemment, une quotient d'une algèbre libre sur un nombre fini de générateurs par une congruence engendrée par un nombre fini de paires de termes.

Principe

La présentation finie condense toute la structure de l'algèbre en une description syntaxique finie : un ensemble fini de générateurs et un nombre fini de relations suffisent pour retrouver l'algèbre comme quotient de l'algèbre libre correspondante.

Démonstration

Exemples concrets : le groupe cyclique d'ordre n donné par la présentation ⟨a | a^n = e⟩, ou le groupe diédral D_n présenté par ⟨r,s | r^n = e, s^2 = e, srs = r^{-1}⟩ ; ces groupes sont des quotients de groupes libres sur un nombre fini de générateurs par la clôture normale d'un nombre fini de relateurs.

Mauvaise application

Supposer que la présentation finie implique la finitude de l'ensemble sous-jacent (une algèbre à présentation finie peut être infinie), ou en déduire la décidabilité de problèmes structurels (problème des mots, isomorphisme) sans hypothèses supplémentaires.

Conséquence

Les présentations finies rendent les algèbres accessibles à des techniques combinatoires et algorithmiques, permettent d'étudier des propriétés via les relateurs ; elles autorisent aussi la construction de familles d'algèbres en variant les relations et facilitent l'exploration computationnelle.

Inversion

Une algèbre nécessitant une infinité de relations définissantes ou d'éléments générateurs inverse le concept ; passer d'une présentation finie à une présentation infinie accroît généralement la complexité et peut affecter la décidabilité.

Limite

La présentation finie s'entend relativement à une signature/variété choisie ; certaines variétés ne préservent pas la présentation finie par constructions naturelles. La présentation finie est plus forte que la finie engendrement et n'implique pas la finitude du support. Elle exclut les présentations demandant des relations ou générateurs infinis.

Tension sémantique

Tension fréquente entre 'finitement engendrée' et 'à présentation finie' : la première exige un nombre fini de générateurs, la seconde exige de plus un nombre fini de relations. Une autre proximité s'observe avec des notions de 'familles finiment reliées' en géométrie algébrique ou en théorie des groupes qui recoupent mais ne coïncident pas toujours.

Synthèse

Une algèbre à présentation finie est un encodage syntaxique compact d'un objet algébrique : spécifiée par finitement de générateurs et finitement de relations, réalisée comme quotient d'une algèbre libre ; cet encodage est utile pour la construction et le calcul mais ne maîtrise pas automatiquement la cardinalité ni la décidabilité.