Eine Algebra in einer Varietät, die frei von einem Erzeugermenge erzeugt wird; sie erfüllt die universelle Abbildungseigenschaft, dass jede Abbildung der Erzeugermenge in eine beliebige Algebra der Varietät eindeutig zu einem Homomorphismus von der freien Algebra fortgesetzt wird.

Prinzip

Universalität: Für eine Varietät V und eine Menge X gibt es eine freie Algebra F(X) in V mit einer Einbettung der Erzeuger derart, dass für jede Algebra A in V und jede Abbildung f: X→A genau ein Homomorphismus F(X)→A existiert, der f fortsetzt.

Demonstration

Beispiel: Die freie Gruppe über einer Menge X besteht aus reduzierten Wörtern in X∪X^{-1} mit der Verkettung als Operation; jede Abbildung von X in eine Gruppe G erweitert sich eindeutig zu einem Gruppenhomomorphismus von der freien Gruppe nach G und erfüllt so die universelle Eigenschaft.

Fehlanwendung

Die freie Algebra mit einem freien Objekt in einer größeren Kategorie zu verwechseln (z. B. Identitäten der Varietät zu ignorieren) oder eine präsentierte Algebra mit Relationen fälschlich als frei zu bezeichnen; ebenso zu behaupten, Freiheit impliziere endliche Rangzahl ohne Begründung.

Konsequenz

Freie Algebren liefern kanonische Präsentationen durch Erzeuger und Relationen, erlauben die Konstruktion von Homomorphismen durch Angabe der Bilder der Erzeuger und begründen universelle Konstruktionen wie Koprodukte in Varietäten; sie sind zentral zur Untersuchung von Kongruenzen als Kerne von Abbildungen von freien Algebren.

Umkehrung

Die duale oder gegenüberstehende Vorstellung ist das kofreie Objekt im coalgebraischen Kontext; die Umkehrung von Freiheit innerhalb einer Varietät ergibt Quotienten mit Relationen, also präsentierte Algebren, bei denen Abbildungen nicht mehr eindeutig durch Erzeuger bestimmt sind.

Abgrenzung

Freiheit ist relativ zu einer festgelegten Varietät und Signatur definiert; die Existenz freier Algebren ist in vielen gebräuchlichen Varietäten garantiert, hängt jedoch von Abschluss‑Eigenschaften ab (in allgemeinen Klassen kann es freie Objekte nicht geben). Freiheit sagt nichts über Endlichkeit oder Entscheidbarkeit aus.

Semantische Spannung

Spannung zwischen »frei« und »projektiv«: Projektive Objekte heben Abbildungen entlang Epimorphismen, aber sie erfüllen nicht notwendigerweise dieselbe universelle Eigenschaft bezüglich einer Erzeugermenge; auch Spannung zwischen »frei« und »relationsfrei« in Präsentationssprache.

Synthese

Eine freie Algebra ist das kanonische Objekt, das von einer Menge ohne weiteren Relationen als die von der Varietät vorgeschriebenen erzeugt wird: definiert durch die universelle Fortsetzungseigenschaft, dient es als Quelle aller auf Erzeuger festgelegten Homomorphismen und ermöglicht Präsentationen und Kongruenzanalysen.