Eine Charakterisierung (Birkhoffs Satz) equational definierter Klassen — sogenannter Varietäten — von Algebren: Eine Klasse von Algebren einer festen Signatur ist genau dann eine Varietät, wenn sie unter homomorphen Bildern, Unteralgebren und direkten Produkten abgeschlossen ist (Operators H, S, P).

Prinzip

Eine Klasse ist genau dann eine Varietät, wenn sie H‑, S‑ und P‑abgeschlossen ist; äquivalent dazu ist sie die Klasse aller Modelle einer Menge von Identitäten (gleichungsbasierte Axiome) in der gegebenen Signatur.

Demonstration

Beispiel: Die Klasse aller Gruppen (Signatur: Multiplikation, Inverses, Neutral) ist unter homomorphen Bildern, Untergruppen und direkten Produkten abgeschlossen, somit eine Varietät, die durch die Gruppenidentitäten definiert ist; auch die Klasse der Verbände ist H, S, P‑abgeschlossen und bildet eine Varietät.

Fehlanwendung

Die HSP‑Kriterien auf Klassen anzuwenden, die durch beliebige erste Ordnungsaussagen (mit Quantoren oder Negation) definiert sind, und daraus Varietät zu folgern; oder nur zwei der Bedingungen H, S, P (z. B. S und P) zu prüfen und trotzdem eine Varietät zu behaupten, ohne Abschluss unter homomorphen Bildern zu prüfen.

Konsequenz

Ist eine Klasse eine Varietät, stehen einheitliche algebraische Werkzeuge zur Verfügung: äquationale Ableitung, Existenz freier Algebren, Abschluss unter Quotienten und Produkten sowie Strukturtheoreme wie die subdirekte Zerlegung in subdirekt irreduzible Faktoren.

Umkehrung

Kehrseite: Eine Klasse, die nicht unter mindestens einer der Operationen H, S oder P abgeschlossen ist, kann keine Varietät sein; z. B. ist die Klasse der Körper keine Varietät, weil sie nicht unter Unteralgebren und direkten Produkten abgeschlossen ist.

Abgrenzung

Gilt nur für Algebren einer festen Signatur mit endlich arity Operationen und für klassen, die unter Isomorphie geschlossen sind; charakterisiert nicht Klassen, die ausschließlich durch nicht‑equiationale erste Ordnungsaussagen beschrieben sind, und ist außerhalb des algebraischen Rahmens nicht anwendbar.

Semantische Spannung

Spannung zwischen »Varietät« (gleichungsdefinierte Klasse) und »elementarer Klasse« (axiomatisierbar in der ersten Ordnung): HSP betrifft die erstere, nicht die letztere; außerdem Spannung zwischen HSP und schwächeren Abschlussbedingungen wie der gemeinsamen Einbettungseigenschaft.

Synthese

Der HSP‑Satz verbindet algebraische und kategoriale Perspektiven: Eine Varietät ist genau die durch Identitäten definierte Klasse und zugleich die Klasse, die unter homomorphen Bildern, Unteralgebren und direkten Produkten abgeschlossen ist; daraus folgen kanonische Konstruktionen und subdirekte Zerlegungen.