##  [HSP-Satz](/de/node/63628) 

 Definition

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

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

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

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

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

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

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

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

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.