Eine Beschreibung einer Algebra durch eine Menge von Erzeugern zusammen mit definierenden Relationen zwischen ihnen, so präsentiert, dass die Algebra bis auf Isomorphie durch diese Erzeuger und Relationen bestimmt ist (häufig geschrieben ⟨Erzeuger | Relationen⟩).

Prinzip

Eine Präsentation kodiert syntaktisch eine Algebra: das freie Objekt auf den Erzeugern modulo der von den Relationen erzeugten Kongruenz liefert die Algebra und macht konkrete Konstruktion und Manipulation möglich.

Demonstration

Die zyklische Gruppe der Ordnung n hat die Präsentation ⟨a | a^n = e⟩; die freie Gruppe über einer Menge X hat die Präsentation ⟨X | —⟩ (keine Relationen). In der Ringtheorie ergibt ein Quotient eines Polynomrings durch ein Ideal eine Präsentation des Quotientenrings.

Fehlanwendung

Die Verwendung einer unzureichenden oder mehrdeutigen Relationsmenge, die die beabsichtigten Identifikationen nicht erzwingt (oder die Behauptung, eine Präsentation bestimme eine Algebra über verschiedene Signaturen hinweg eindeutig, ohne Kompatibilität zu prüfen) ist ein häufiger Missbrauch.

Konsequenz

Eine Präsentation erleichtert explizite Rechnungen, universelle Konstruktionen (freie Objekte und Quotienten) und Beweise über Erzeuger, Normalformen und algorithmische Eigenschaften wie das Wortproblem.

Umkehrung

Statt Erzeuger und Relationen anzugeben, um eine Algebra zu bauen, kann man eine gegebene konkrete Algebra analysieren, um eine Präsentation zu finden; die Umkehrung betont den Unterschied zwischen konstruktiver Beschreibung und nachträglicher Darstellung.

Abgrenzung

Präsentationen hängen von der umgebenden Signatur und Kategorie (Gruppen, Ringe, Moduln usw.) ab; sie erfassen zusätzliche Strukturen wie Topologie oder Ordnung nur, wenn diese in der Signatur und in den Relationen kodiert sind.

Semantische Spannung

Es besteht Spannung zwischen Präsentationen (syntaktische, erzeugende Beschreibungen) und intrinsischen Invarianten (strukturelle oder kategoriale Eigenschaften); Präsentationen sind nützlich für Konstruktion, können aber invariante, signaturunabhängige Eigenschaften verbergen.

Synthese

Eine Präsentation einer Algebra liefert ein endliches oder unendliches syntaktisches Rezept — Erzeuger und Relationen — dessen Quotient des freien Objekts die Algebra bis auf Isomorphie ergibt und so konkrete Konstruktion, Rechnung und Vergleich ermöglicht.