Eine Varietät in der universellen Algebra ist eine Klasse von Algebren derselben Signatur, die unter homomorphen Bildern (H), Teilalgebren (S) und beliebigen direkten Produkten (P) abgeschlossen ist; äquivalent durch Axiomatisierbarkeit mittels Identitäten (Gleichungen).

Prinzip

Gleichungsgestützte Abschlussregeln: Identitäten bestimmen die Klasse, und die HSP-Abgeschlossenheit stellt sicher, dass syntaktische Gleichungen in robuste algebraische Abschlusseigenschaften übergehen (Birkhoffs HSP-Theorem).

Demonstration

Gruppen (Signatur: Multiplikation, Inverses, Eins) bilden eine Varietät, weil sie durch Identitäten definiert sind und unter homomorphen Bildern, Untergruppen und Produkten abgeschlossen bleiben; Körper sind keine Varietät, da Axiome der Körper unter Produkten oder homomorphen Bildern versagen können.

Fehlanwendung

Jede Klasse, die unter Teilalgebren und Produkten abgeschlossen ist, ohne Prüfung der Abgeschlossenheit unter homomorphen Bildern als Varietät zu bezeichnen, oder Varietät mit Quasivarietät (axiomatisierbar durch Quasi-Identitäten) zu verwechseln.

Konsequenz

Varietäten besitzen freie Algebren, erlauben äquationales Schließen und Termersetzung sowie universelle Konstruktionen; sie tragen eine starke Strukturtheorie und Kategorienequivalenzen zu algebraischen Monaden auf Set.

Umkehrung

Das Gegenbild ist eine Klasse, die durch nicht-äquationale Bedingungen definiert ist (etwa eine existentielle Forderung nach Inversen), die unter weniger Operationen abgeschlossen ist und die HSP-Abgeschlossenheit nicht erfüllt.

Abgrenzung

Erfordert eine feste Signatur und finitäre Operationen; erfasst keine relationalen Strukturen oder Klassen, die durch infinitäre oder existentielle Bedingungen definiert sind. Mehrsortige oder infinitäre Verallgemeinerungen benötigen andere Abschlusstheoreme.

Semantische Spannung

Im Spannungsfeld zur Quasivarietät und zu elementaren Klassen: Varietäten sind rein äquational, elementare Klassen benötigen erstordentliche Axiome; manche natürliche algebraische Klassen liegen strikt dazwischen.

Synthese

Eine Varietät ist die algebraische Ausprägung der Gleichungslogik: Signatur plus Identitäten erzeugen eine Klasse, die unter Homomorphismen, Teilalgebren und Produkten stabil ist und freie Objekte sowie streng identitätsgeführte algebraische Manipulation ermöglicht.