Der Vorgang, eine algebraische Struktur dadurch zu erweitern, dass ein neues Element (oder neue Symbole) hinzugefügt werden, dem bestimmte algebraische Relationen auferlegt werden, wodurch ein größeres Objekt durch Erzeuger und Relationen oder durch eine universelle Eigenschaft entsteht.

Prinzip

Die freie Erweiterung der Ausgangsstruktur mit einem neuen Erzeuger bilden und dann durch die kleinste Kongruenz oder das kleinste Ideal faktorisieren, das die gewünschten Relationen erzwingt; kategorisch entspricht dies einer Limes-Bildung wie einem Pushout oder Koprodukt mit Relationen.

Demonstration

Ein Element x an einen Körper k anfügen mit f(x)=0 ergibt k[x]/(f); ist f irreduzibel, erhält man eine Körpererweiterung. Das Anfügen einer Unbestimmten t an einen Ring R liefert den Polynomring R[t], die freie R-Algebra auf einem Erzeuger.

Fehlanwendung

Ein Element anzufügen, ohne konsistente Relationen anzugeben, kann Widersprüche erzeugen oder die Struktur kollabieren lassen (z. B. bei inkompatiblen Polynomgleichungen) oder nutzlos sein, wenn der neue Erzeuger durch übersehene Relationen bereits identifiziert ist.

Konsequenz

Erzeugt Erweiterungen, neue Modulstrukturen oder neue Homomorphismen und fügt oft algebraische Freiheitsgrade hinzu; universelle Eigenschaften sichern die Eindeutigkeit von Abbildungen aus dem erweiterten Objekt, die die Relationen respektieren.

Umkehrung

Das Quotientieren durch das von dem angefügten Element erzeugte Ideal (oder das Abbilden des Erzeugers auf Null) entfernt den hinzugefügten Erzeuger; begrifflich kann ein Retrakt oder das Erzwingen zusätzlicher Relationen das angefügte Element wieder in die Ursprungsstruktur zurückführen.

Abgrenzung

Erfordert eine klare Spezifikation der Relationen und der umgebenden Kategorie (Ringe, Algebren, Moduln, Körper); bei Körpern ist beim Anfügen nicht separabler Wurzeln in positiver Charakteristik Vorsicht geboten.

Semantische Spannung

Eng verwandt mit dem freien Anfügen von Variablen versus dem Anfügen algebraischer Wurzeln: Ersteres erzeugt polynomiale/ freie Objekte, letzteres hängt von Faktorisierung ab und erzeugt algebraische Erweiterungen; die Unterscheidung zwischen 'formalem Symbol' und 'Wurzel eines Polynoms' ist oft Quelle von Fehlanwendungen.

Synthese

Adjoining an Element ist das kontrollierte Vergrößern eines algebraischen Objekts durch Hinzufügen eines Erzeugers und das Auferlegen von Relationen; realisiert wird dies entweder durch freie Konstruktionen (Polynome/Tensoren) oder durch Quotienten zur Kodierung gewünschter algebraischer Eigenschaften.