Eine Algebra heißt subdirekt irreduzibel (SI), wenn sie sich nicht nichttrivial als subdirektes Produkt anderer Algebren darstellen lässt; äquivalent besitzt sie eine kleinste nichttriviale Kongruenz (den Monolithen), d.h. unter den von der Diagonale verschiedenen Kongruenzen gibt es eine eindeutige minimale.

Prinzip

Das strukturelle Prinzip ist Minimalität nichttrivialer Kongruenzen: das Vorhandensein einer eindeutigen minimalen nichttrivialen Kongruenz verhindert nichttriviale subdirekte Zerlegungen und kennzeichnet die Algebra als atomare Baustein in der subdirekten Darstellungstheorie.

Demonstration

Jede einfache Algebra (nur triviale und totale Kongruenzen) ist SI, da die totale Kongruenz die einzige nichttriviale ist; subtilere Beispiele finden sich in der Verbandstheorie, wo bestimmte endliche Verbände eine kleinste nichttriviale Kongruenz besitzen und somit SI sind. In Varietäten zeigt Birkhoffs Subdirektdarstellungssatz, dass sich beliebige Algebren als subdirekte Produkte von SI-Algebren darstellen lassen.

Fehlanwendung

SI mit Einfachheit oder anderen Irreduzibilitätsbegriffen zu verwechseln: Einfachheit impliziert SI, die Umkehrung gilt nicht allgemein; ein weiterer Fehler ist, SI als unter Erweiterungen invarianten Begriff zu behandeln — durch Hinzufügen von Operationen oder Wechsel der Varietät kann SI verloren gehen.

Konsequenz

Die Identifikation von SI-Elementen einer Varietät liefert die unzerlegbaren Komponenten für subdirekte Zerlegungen und hilft bei der Klassifikation der Struktur der Varietät; SI-Algebren fungieren häufig als Atome für Darstellungssätze und für die Untersuchung von Kongruenzgittern und Identitäten.

Umkehrung

Eine subdirekt reduzible Algebra besitzt eine nichttriviale Darstellung als subdirektes Produkt von zwei oder mehr nichttrivialen Algebren; äquivalent fehlt eine eindeutige minimale nichttriviale Kongruenz, sodass die Algebra aus kleineren Komponenten zusammengesetzt werden kann.

Abgrenzung

SI ist relativ zur umgebenden Klasse/Varietät definiert: eine Algebra kann in einer Varietät SI sein und in einer größeren Varietät zerlegbar werden. Die Definition setzt eine nichttriviale Kongruenzstruktur voraus; die triviale Ein-Element-Algebra ist oft außer Betracht, weil sie keine nichttrivialen Kongruenzen hat.

Semantische Spannung

Nahe verwandte Bedeutungen sind 'einfach' (keine nichttrivialen Kongruenzen) und kategorische 'indecomposable'-Begriffe (z. B. direkte Indecomposability); SI bezieht sich speziell auf das Kongruenzgitter und subdirekte Faktorisierungen und nicht allgemein auf Indecomposability.

Synthese

Eine subdirekt irreduzible Algebra ist ein Kongruenz-atom: sie besitzt eine kleinste nichttriviale Kongruenz (den Monolithen), die nichttriviale subdirekte Zerlegungen verhindert; SI-Algebren bilden die elementaren Bausteine in der subdirekten Darstellung von Algebren einer Varietät.