Algèbre Subdirectement Irréductible

Une algèbre est subdirectement irréductible (SI) si elle ne peut pas être représentée non trivialement comme un produit subdirect d'autres algèbres ; équivalemment, elle possède une plus petite congruence non triviale (le monolithe), c'est-à-dire qu'il existe une unique congruence minimale distincte de la diagonale.

Une algèbre qui ne peut être représentée comme un sous‑produit direct non trivial d'autres algèbres ; équivalemment (dans une variété) elle possède une unique congruence non triviale minimale (le monolithe).