Eine Klasse endlicher Algebren, die unter endlichen direkten Produkten, Teilalgebren und homomorphen Bildern abgeschlossen ist; üblicherweise in einer festen endlichen Signatur betrachtet und relevant für Fragen der Endlichkeitsmodelle und der Automatentheorie.

Prinzip

Finitheit zusammen mit dem Abschluss unter den drei Operationen (Quotienten, Teilstrukturen, endliche Produkte) bildet die definierende Ordnungsvorschrift; sie erfasst das algebraische Verhalten beschränkt auf endliche Elemente.

Demonstration

Die Klasse aller endlichen aperiodischen Monoide (Monoide mit nur trivialen Untergruppen) ist eine Pseudovarietät, die in der formalen Sprachtheorie verwendet wird; sie ist unter endlichen Produkten, Untermonoiden und homomorphen Bildern in der Kategorie endlicher Monoide abgeschlossen.

Fehlanwendung

Abschlusseigenschaften auf beliebige (möglicherweise unendliche) Produkte oder Ultraproducte auszudehnen; oder eine Pseudovarietät wie eine Varietät zu behandeln und Abschluss unter homomorphen Bildern beliebiger (auch unendlicher) Algebren zu erwarten.

Konsequenz

Pseudovarietäten stehen im Zusammenhang mit Entscheidbarkeits- und Erkennbarkeitsfragen regulärer Sprachen und führen zu profiniten und finitetopologischen Techniken; sie erlauben endliche Zerlegungs- und Strukturtheoreme speziell für endliche Objekte.

Umkehrung

Eine Varietät oder Quasivarietät, die unendliche Algebren einschließt und Abschluss unter beliebigen Produkten und Ultraprodukten verwendet, steht im Kontrast zur Pseudovarietät, die ausdrücklich auf endliche Algebren und endliche Produktabschlüsse begrenzt ist.

Abgrenzung

Strikt eine Klasse endlicher Algebren; schließt unendliche Algebren und Abschluss unter unendlichen Produkten aus; Definitionen und Sätze über Pseudovarietäten beruhen in der Regel auf Finitheit und versagen ohne sie.

Semantische Spannung

Zwischen Pseudovarietät und Quasivarietät/Varietät: Pseudovarietäten betonen Finitheit und Abschluss unter Quotienten, geeignet für Anwendungen in Automaten- und Sprachtheorie, während Quasivarietäten die logische Axiomatisierbarkeit durch Horn-Sätze und unendliche Konstruktionen betonen.

Synthese

Eine Pseudovarietät ist das finitäre Gegenstück zu algebraischen Abschlussklassen: sie fasst endliche Algebren zusammen, die unter Teilalgebren, endlichen Produkten und Quotienten stabil sind und bietet so den passenden Rahmen für die algebraische Analyse endlicher Modelle und kombinatorische Zerlegungen.