🔢 mathematics

On semigroups that are prime in the sense of Tarski, and groups prime in the senses of Tarski and of Rhodes

Cet article démontre que la catégorie des semigroupes non vides ne contient aucun objet premier au sens de Tarski, tout en établissant l'existence de tels objets dans la catégorie des monoïdes et d'autres sous-catégories, et en explorant les relations entre cette notion et d'autres définitions de primalité dans le contexte des groupes et des algèbres finies.

Auteurs originaux : George M. Bergman

Publié 2026-03-16

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : George M. Bergman

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Le Grand Jeu des Blocs de Construction : Qui est "Indivisible" ?

Imaginez que vous jouez avec des blocs de construction. En mathématiques, ces blocs sont appelés algèbres (des ensembles d'objets avec des règles pour les combiner, comme des nombres qu'on additionne ou des formes qu'on assemble).

L'auteur, George Bergman, s'intéresse à une question très précise : Quels sont les blocs "primaires" ?

1. La définition du "Bloc Primaire" (La vision de Tarski)

Pour comprendre ce qu'est un objet "primaire", imaginez que vous avez un grand mur (un objet mathématique) construit en empilant deux murs plus petits (un produit direct).

Si vous avez un petit bloc spécial, disons un Brique Rouge, et que vous le trouvez caché dans votre grand mur, la question est : Est-ce que cette Brique Rouge doit obligatoirement faire partie de l'un des deux murs plus petits ?
Si oui, la Brique Rouge est primaire. Elle ne peut pas être "diluée" ou "partagée" entre les deux murs de manière floue. Elle doit appartenir clairement à l'un ou à l'autre.
Si non, elle n'est pas primaire. Elle pourrait être le résultat d'une combinaison étrange entre les deux murs.

L'auteur explore cette idée dans différents mondes mathématiques : les semi-groupes (des objets un peu désordonnés), les monoides (un peu plus structurés) et les groupes (très structurés, comme les rotations d'un objet).

2. Le Monde Chaotique des Semi-Groupes : "Aucun Bloc n'est Indivisible"

Dans la section 2, Bergman nous donne une mauvaise nouvelle pour les semi-groupes (des objets où les règles de combinaison sont très souples, un peu comme un tas de sable).

L'analogie : Imaginez que vous essayez de trouver une pierre unique dans un tas de sable. Bergman montre que dans ce tas, vous pouvez toujours mélanger les grains de deux manières différentes pour créer une nouvelle pierre qui ressemble à la vôtre, mais qui n'appartient à aucun des tas d'origine.
Le résultat : Il prouve que dans le monde des semi-groupes (non vides), il n'existe aucun bloc "primaire". Peu importe le bloc que vous choisissez, vous pouvez toujours le "cacher" dans une combinaison complexe qui ne le place clairement ni dans le mur A ni dans le mur B. C'est comme si la matière était trop fluide pour avoir des atomes indivisibles.

3. Le Monde Plus Ordonné des Monoides et des Groupes : "Là, ça marche !"

Ensuite, Bergman passe à des mondes plus structurés : les monoides (où il y a une "pièce de repos" ou un zéro) et les groupes (où chaque pièce a un "inverse", comme $+3$ et $-3$).

L'analogie : Ici, les blocs sont plus rigides, comme des pièces de Lego.
Le résultat : Il découvre que certains blocs sont primaires. Par exemple, le bloc représentant les nombres entiers positifs ($0, 1, 2, 3...$) est un bloc "primaire" dans le monde des monoides. Si vous le trouvez dans un grand assemblage, il doit obligatoirement faire partie de l'un des sous-ensembles.
Pourquoi ? Parce que dans ces mondes rigides, on ne peut pas faire de "magie" pour mélanger les pièces de manière floue. Les règles sont trop strictes.

4. Le Twist : La Vision de Rhodes (Le Détective)

Vers la fin de l'article, Bergman introduit une deuxième façon de voir les choses, proposée par un autre mathématicien nommé Rhodes.

La différence :
- Tarski demande : "Si mon bloc est dans un grand mur, est-il dans l'un des deux murs de base ?" (C'est une question de facteurs directs, comme des murs collés côte à côte).
- Rhodes demande : "Si mon bloc est une partie (ou une image) d'un grand mur, est-il une partie de l'un des murs de base ?" (C'est une question de sous-structures et de quotients, un peu comme si vous preniez une photo floue du mur et demandiez si l'image est reconnaissable dans l'un des murs d'origine).
Le résultat surprenant pour les groupes :
- Dans le monde des groupes infinis (comme les nombres entiers relatifs $\mathbb{Z}$ ), le bloc $\mathbb{Z}$ n'est pas primaire selon Tarski (il peut se cacher dans des combinaisons complexes), mais il est primaire selon Rhodes (il reste reconnaissable).
- Dans le monde des groupes finis (des objets qui s'arrêtent), c'est encore plus intéressant. Bergman montre que pour être "primaire selon Rhodes", un groupe doit être simple (comme un atome pur, sans sous-parties cachées). Mais il y a des exceptions bizarres ! Il construit des exemples de groupes "monolithiques" (qui ont un seul cœur dur) qui ne sont pas primaires. C'est comme si un diamant unique pouvait être caché dans un tas de sable sans être identifiable dans l'un des tas d'origine.

5. Les Questions Ouvertes (Les Mystères Non Résolus)

Comme tout bon détective, Bergman termine par des questions sans réponse :

Existe-t-il des blocs primaires dans le monde des semi-groupes "finis" (un tas de sable limité) ? On ne sait pas encore.
Les règles de "Rhodes" sont-elles les mêmes si on change de monde (de semi-groupe à groupe) ? Pas toujours.

En Résumé

Cet article est une exploration de la structure fondamentale des objets mathématiques.

Dans le monde désordonné (semi-groupes), rien n'est vraiment indivisible. Tout peut être décomposé ou caché.
Dans le monde ordonné (monoides, groupes), certains objets sont indestructibles et indivisibles.
La façon dont on définit "indivisible" change tout : selon que l'on regarde les objets comme des murs collés (Tarski) ou comme des images floues (Rhodes), la réponse change.

C'est un peu comme si l'auteur nous disait : "Si vous cherchez l'atome ultime de l'univers mathématique, vous devez d'abord choisir votre règle du jeu, car selon la règle, l'atome existe ou il n'existe pas."

1. Problématique et Contexte

L'article s'attaque à la notion de primalité dans les catégories d'algèbres, en se concentrant sur deux définitions distinctes :

La primalité au sens de Tarski : Un objet $P$ (non trivial) est dit premier si, chaque fois qu'il divise un produit direct $Y = Y_0 \times Y_1$ (c'est-à-dire si $P$ est un facteur direct de $Y$ ), alors $P$ est un facteur direct de $Y_0$ ou de $Y_1$ .
La primalité au sens de Rhodes : Une notion plus faible où l'on considère les sous-quotients (images homomorphes de sous-groupes) au lieu des facteurs directs. On distingue la primalité par rapport aux produits directs et celle par rapport aux produits semi-directs.

Le problème central, posé par McKenzie, McNulty et Taylor dans leur ouvrage Algebras, Lattices, Varieties [9], est de savoir si la catégorie des semi-groupes non vides contient des objets premiers au sens de Tarski. L'auteur explore également les relations entre ces notions pour les groupes et les monoïdes.

2. Méthodologie

L'auteur utilise une approche combinatoire et algébrique structurée en plusieurs étapes :

Analyse des structures de semi-groupes : Introduction de concepts clés comme les classes d'équivalence d'action (action equivalence), les éléments produits et non-produits, et la notion de « squelette » (skeleton) d'un semi-groupe.
Construction de contre-exemples : Utilisation de semi-groupes « nuls » (null semigroups, notés $Null(\kappa)$ ) et de constructions de produits directs pour démontrer la non-primalité.
Extension aux homomorphismes : Développement de lemmes techniques (Lemmes 3.1 à 3.4) permettant d'étendre des homomorphismes définis sur des idéaux d'un semi-groupe vers un groupe, en particulier pour les semi-groupes à simplification (cancellatifs).
Comparaison des catégories : Analyse fine des différences entre les catégories des semi-groupes, des monoïdes et des groupes, en exploitant les propriétés spécifiques de l'addition dans $\mathbb{N}$ et $\mathbb{Z}$ .
Théorie des groupes finis : Utilisation du théorème de Krull-Schmidt et de la théorie des groupes monolithiques (groupes possédant un unique sous-groupe normal minimal) pour classifier les groupes premiers au sens de Rhodes.

3. Résultats Clés et Contributions

A. Absence d'objets premiers dans les semi-groupes (Section 2)

Théorème 2.7 : La catégorie des semi-groupes non vides (Semigp) ne contient aucun objet premier au sens de Tarski.
Méthode : L'auteur montre que pour tout semi-groupe non nul $S$ , on peut construire un contre-exemple en utilisant un produit avec un semi-groupe nul infini $Null(\kappa)$ . Il démontre que $S \times Null(\kappa) \cong S^+ \times Null(\kappa)$ , où $S^+$ est une extension de $S$ qui n'est pas isomorphe à $S$ , prouvant ainsi que $S$ n'est pas premier.
Extension : Ce résultat s'étend aux semi-groupes commutatifs et aux semi-groupes avec élément zéro.
Question ouverte : Il reste inconnu si la catégorie des semi-groupes finis contient des objets premiers.

B. Primalité dans les monoïdes et semi-groupes à simplification (Sections 3-4)

Théorème 4.3 : Dans les catégories de semi-groupes cancellatifs (à droite, à gauche ou faiblement), les semi-groupes additifs $\mathbb{N}+k$ (entiers $\ge k$ ) sont premiers au sens de Tarski.
Théorème 4.4 : Le monoïde additif des entiers naturels $\mathbb{N}$ est premier dans la catégorie des monoïdes.
Mécanisme : La preuve repose sur l'analyse des homomorphismes vers $\mathbb{N}+k$ . Contrairement aux groupes, dans $\mathbb{N}$ , l'équation $m+n=1$ force l'un des termes à être nul, ce qui empêche la décomposition « trompeuse » observée dans les semi-groupes généraux.

C. Comparaison des primalités pour les groupes (Section 6)

L'auteur compare trois notions pour les groupes : Tarski-prime, Rhodes-prime (produits directs), et Rhodes-prime (produits semi-directs).

Le cas de $\mathbb{Z}$ (Groupe additif des entiers) :
- $\mathbb{Z}$ n'est pas Tarski-prime dans la catégorie des groupes. L'auteur construit un contre-exemple utilisant des produits semi-directs de groupes cycliques ( $\mathbb{Z}_p \rtimes \mathbb{Z}$ ) pour montrer que $\mathbb{Z}$ est un facteur direct d'un produit, mais pas des facteurs individuels.
- Cependant, $\mathbb{Z}$ est Rhodes-prime (direct et semi-direct).
Groupes finis :
- Lemme 6.3 : Pour les groupes finis, on a la chaîne d'implications :
  Primes Rhodes (semi-direct) $\Rightarrow$ Primes Rhodes (direct) $\Rightarrow$ Monolithique $\Rightarrow$ Tarski-prime.
- Proposition 6.5 (Olshanskiy) : Un groupe fini est Rhodes-prime (semi-direct) si et seulement s'il est simple.
- Proposition 6.6 : Des conditions suffisantes pour qu'un groupe monolithique soit Rhodes-prime (direct) sont données (ex: monolithe non commutatif, structure de produit semi-direct, ou groupes cycliques d'ordre $p^n$ ).
Contre-exemples : L'article fournit des exemples de groupes monolithiques qui ne sont pas Rhodes-primes (directs), comme certains $p$ -groupes d'ordre $p^5$ ou des produits de groupes diédraux et quaternioniques (Exemples 6.8, 6.9, 6.10).

D. Caractérisation générale (Section 7)

Proposition 7.1 : Pour une variété d'algèbres quelconque et un objet fini $X$ , la primalité de Rhodes (direct) est équivalente à la condition que le sous-variété engendrée par $X$ soit join-prime dans le treillis des sous-variétés, sous réserve de certaines conditions de subquotient.

4. Signification et Impact

Résolution d'une question ouverte : L'article répond négativement à la question de McKenzie, McNulty et Taylor concernant l'existence d'objets premiers dans la catégorie des semi-groupes non vides, fermant ainsi un chapitre important de la théorie des variétés d'algèbres.
Nuance structurelle : Il met en lumière la fragilité de la primalité de Tarski dans les structures sans élément neutre ou sans propriété de simplification, et montre comment l'ajout d'une identité (passage aux monoïdes) ou de conditions de simplification restaure cette propriété pour des objets naturels comme $\mathbb{N}$ .
Hiérarchie des notions de primalité : Pour les groupes, l'article clarifie la relation complexe entre les différentes définitions de primalité (Tarski vs Rhodes, direct vs semi-direct), montrant qu'elles ne coïncident pas et dépendent fortement de la finitude et de la structure interne (simplicité, monolithicité).
Outils nouveaux : Les constructions de contre-exemples utilisant les semi-groupes nuls et les techniques de décomposition de produits directs offrent de nouveaux outils pour l'étude de la décomposition unique dans les variétés d'algèbres.

En résumé, cet article établit une frontière nette entre le comportement des semi-groupes généraux (où la primalité de Tarski est absente) et celui des structures plus rigides (monoïdes, groupes simples), tout en fournissant une cartographie détaillée des relations entre les différentes notions de primalité pour les groupes finis.