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).

Principe

La sous‑directe irréductibilité traduit une minimalité dans le treillis des congruences : l'existence d'une plus petite congruence non nulle (le monolithe) empêche une décomposition subdirecte non triviale et fait de l'algèbre un bloc élémentaire pour les représentations subdirectes.

Démonstration

Exemple : toute algèbre simple (ayant seulement la congruence triviale et la congruence universelle) est sous‑directement irréductible car la condition d'unicité d'une congruence non triviale minimale est satisfaite de façon vacante ; il existe aussi des exemples moins immédiats où le monolithe est non trivial mais propre, fournissant des facteurs indécomposables dans le théorème de représentation subdirecte de Birkhoff.

Mauvaise application

Assimiler sous‑directe irréductibilité à la simplicité ou à l'indécomposabilité directe sans vérifier les définitions ; la simplicité implique la sous‑directe irréductibilité mais la réciproque n'est pas systématiquement vraie, et une algèbre sous‑directement irréductible n'est pas nécessairement directement indécomposable dans tous les contextes.

Conséquence

Les algèbres sous‑directement irréductibles servent de composants canoniques : le théorème de représentation subdirecte de Birkhoff garantit que toute algèbre d'une variété s'injecte comme sous‑produit direct de telles algèbres, de sorte que la classification et la structure se ramènent à la compréhension de ces facteurs et de leurs monolithes de congruence.

Inversion

La notion inverse est la sous‑directe réductibilité : une algèbre qui admet une injection non triviale comme sous‑produit direct d'autres algèbres, équivalemment dont le treillis des congruences ne possède pas de congruence non triviale minimale unique.

Limite

La définition s'énonce typiquement au sein d'une variété ou d'une classe fermée par sous‑produits directs ; l'algèbre triviale à un élément nécessite souvent un traitement particulier (elle n'a pas de congruence non triviale et n'est généralement pas comptée comme sous‑directement irréductible lorsqu'on exige un monolithe non nul). La notion concerne la structure des congruences et peut ne pas se transposer telle quelle aux structures relationnelles sans congruences algébriques.

Tension sémantique

Tension entre la sous‑directe irréductibilité et l'indécomposabilité directe : l'indécomposabilité directe interdit les décompositions en produit direct non triviales, tandis que la sous‑directe irréductibilité interdit certaines décompositions subdirectes ; ces propriétés se recoupent mais diffèrent et peuvent diverger sur des exemples concrets.

Synthèse

Une algèbre sous‑directement irréductible est une unité minimale indécomposable pour les décompositions subdirectes : caractérisée par une congruence non triviale minimale unique (le monolithe), elle joue le rôle de facteur atomique dans la représentation de Birkhoff et ramène les problèmes de structure globale à l'étude des monolithes et des plongements possibles.