Eine Klasse endlicher Algebren (für eine feste Signatur), die unter endlichen direkten Produkten, Unteralgebren und homomorphen Bildern abgeschlossen ist; typischerweise im Kontext endlicher algebraischer Strukturen untersucht, wo infinitäre Abschlusseigenschaften nicht passend sind.

Prinzip

Die klassischen Abschlusseigenschaften (H, S, P) auf den endlichen Bereich beschränken: Abschluss unter diesen Konstruktionen verlangen, sofern die resultierenden Strukturen endlich bleiben, und so finitäres kombinatorisches und rechnerisches Verhalten betonen statt beliebiger unendlicher Produkte oder Ultraproducte.

Demonstration

Die Klasse aller endlichen Gruppen ist eine Pseudovarietät: endliche direkte Produkte endlicher Gruppen sind endliche Gruppen, Untergruppen endlicher Gruppen sind endlich, und homomorphe Bilder endlicher Gruppen sind endlich, sodass die Klasse unter diesen endlichen Operationen stabil ist und zentral für die Untersuchung endlicher Algebren ist.

Fehlanwendung

Zu glauben, Pseudovarietäten erben alle Eigenschaften von Varietäten, etwa Abschluss unter beliebigen direkten Produkten oder Existenz freier Objekte im selben Sinn; solche Annahmen versagen, weil unendliche Konstruktionen typischerweise außerhalb des endlichen Bereichs liegen.

Konsequenz

Pseudovarietäten ermöglichen modell‑ und berechenbare Ansätze (Entscheidungsprobleme, strukturelle Zerlegungen mittels endlicher Bausteine) und stützen algebraische Analysen, in denen Endlichkeit — und damit kombinatorische Methoden und endliche Erkennbarkeit — wesentlich sind.

Umkehrung

Hebt man die Endlichkeitsbeschränkung auf (erfordert Abschluss unter beliebigen Produkten und homomorphen Bildern ohne Endlichkeitsbedingung), erhält man Varietäten; umgekehrt schwächt das Aufgeben des Abschlusses unter Bildern oder Produkten die Klasse zu ad‑hoc Familien endlicher Strukturen ab.

Abgrenzung

Bezieht sich definitionsgemäß nur auf endliche Algebren und Abschluss unter endlichen Produkten; schließt unendliche direkte Produkte, beliebige Ultraproducte und unendliche freie Konstruktionen aus und erfordert die Festlegung, ob die Signatur fixiert und finitar ist.

Semantische Spannung

Die Spannung liegt zwischen dem finiten Fokus von Pseudovarietäten (nützlich für rechnerische und kombinatorische Theorien) und der algebraischen Allgemeinheit von Varietäten und Quasivarietäten: Manche Phänomene treten im Endlichen auf, lassen sich aber bei Zulassung infinitärer Operationen nicht fortsetzen.

Synthese

Eine Pseudovarietät ist das finitenbeschränkte Gegenstück einer Varietät: eine Klasse endlicher Algebren, abgeschlossen unter endlichen Produkten, Unteralgebren und homomorphen Bildern, die den natürlichen Rahmen für die Klassifikation endlicher Algebren und für rechenorientierte Resultate bildet.