Eine Algebra, die durch eine endliche Menge von Erzeugern zusammen mit einer endlichen Menge von definierenden Gleichungen (Relationen) zwischen diesen Erzeugern dargestellt werden kann; äquivalent ist sie ein Quotient einer freien Algebra auf endlich vielen Erzeugern durch eine Kongruenz, die von endlich vielen Termpaaren erzeugt wird.

Prinzip

Die endliche Präsentation fasst die gesamte Struktur der Algebra in einer endlichen syntaktischen Beschreibung zusammen: endliche Erzeugermenge plus endlich viele Relationen genügen, um die Algebra als Quotient der entsprechenden freien Algebra zu rekonstruieren.

Demonstration

Konkrete Beispiele: die zyklische Gruppe der Ordnung n mit Präsentation ⟨a | a^n = e⟩ oder die dihedrale Gruppe D_n mit ⟨r,s | r^n = e, s^2 = e, srs = r^{-1}⟩; diese Gruppen sind Quotienten freier Gruppen auf endlich vielen Erzeugern durch die normale Hülle endlich vieler Relatoren.

Fehlanwendung

Anzunehmen, endliche Präsentierbarkeit impliziere Endlichkeit der zugrunde liegenden Menge (eine endlich präsentierte Algebra kann unendlich sein), oder aus endlicher Präsentierbarkeit ohne weitere Voraussetzungen auf Entscheidbarkeit (Wortproblem, Isomorphie) zu schließen.

Konsequenz

Endliche Präsentationen machen Algebren zugänglich für kombinatorische und algorithmische Techniken, erlauben die Untersuchung von Eigenschaften mittels Relatoren; sie ermöglichen auch die Konstruktion von Algebra-Familien durch Variation der Relationen und unterstützen rechnerische Experimente.

Umkehrung

Eine Algebra mit unendlich vielen definierenden Relationen oder unendlich vielen Erzeugern steht im Gegensatz; der Übergang von endlicher zu unendlicher Präsentation erhöht typischerweise die Komplexität und kann Entscheidbarkeitsfragen verändern.

Abgrenzung

Endliche Präsentierbarkeit ist relativ zu einer gewählten Signatur/Varietät zu verstehen; manche Varietäten bewahren endliche Präsentierbarkeit nicht unter natürlichen Konstruktionen. Endliche Präsentierbarkeit ist stärker als endliche Erzeugbarkeit und impliziert nicht die Endlichkeit des Trägers. Sie schließt Präsentationen mit unendlich vielen Relationen oder Erzeugern aus.

Semantische Spannung

Spannung besteht zwischen 'endlich erzeugt' und 'endlich präsentiert': erstere verlangt nur endlich viele Erzeuger, letztere verlangt zusätzlich endlich viele Relationen. Eine nahe verwandte, aber unterschiedliche Idee sind 'endlich verwandte' Familien in Bereichen wie algebraischer Geometrie oder Gruppentheorie.

Synthese

Eine endlich präsentierte Algebra ist eine kompakte syntaktische Beschreibung eines algebraischen Objekts: angegeben durch endlich viele Erzeuger und endlich viele Relationen und realisiert als Quotient einer freien Algebra; dieses Format ist nützlich für Konstruktion und Berechnung, bietet aber keine Garantie für Endlichkeit oder Entscheidbarkeit.