##  [Varietät (Universelle Algebra)](/de/node/61564) 

 Definition

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

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

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

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

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

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

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

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

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.