🔢 mathematics

Two nonfinitely based additively idempotent semirings of order four

Cet article établit deux conditions suffisantes pour qu'un semi-anneau additivement idempotent ne soit pas à base finie, démontrant ainsi que deux structures spécifiques d'ordre quatre possèdent cette propriété, que l'intervalle de variétés qu'elles définissent contient un nombre continu de variétés distinctes, et que l'extension d'un semi-anneau à base finie peut ne pas l'être.

Auteurs originaux : Mengya Yue, Miaomiao Ren, Zidong Gao

Publié 2026-03-03

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Mengya Yue, Miaomiao Ren, Zidong Gao

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

Imaginez que vous êtes un architecte chargé de construire des immeubles (des structures mathématiques appelées semi-anneaux) en utilisant uniquement deux types de briques : l'addition (+) et la multiplication (·).

Dans le monde de ces mathématiques, il existe une règle étrange mais fascinante : si vous ajoutez une brique à elle-même, elle ne devient pas plus grosse. $A + A = A$ . C'est ce qu'on appelle l'idempotence additive. C'est comme si vous empiliez deux couches de peinture rouge sur un mur : le mur reste rouge, il ne devient pas "plus rouge".

Le défi de ce papier, écrit par Yue, Ren et Gao, est de résoudre un mystère architectural : Peut-on décrire la structure de certains de ces immeubles avec une liste de règles finie (une "recette" courte) ?

Le Problème : La Recette Infinie

En mathématiques, on appelle cela le "problème de la base finie".

Une base finie, c'est comme une recette de cuisine avec une liste d'ingrédients et d'étapes limitée. Vous pouvez tout construire en suivant cette liste.
Une base non finie, c'est comme une recette qui dit : "Pour faire ce gâteau, suivez la règle 1, la règle 2, la règle 3... et il faut une infinité de règles pour être sûr de ne rien oublier." C'est impossible à écrire sur un seul morceau de papier.

Les auteurs de ce papier ont découvert que deux petits immeubles très simples (qui ne contiennent que 4 éléments, comme un jeu de 4 cartes) sont des monstres à base infinie. Même s'ils sont petits, on ne peut pas les décrire avec une liste de règles courte.

Les Deux Suspects : S(4,545) et S(4,634)

Les chercheurs se sont penchés sur deux structures spécifiques, qu'ils appellent S(4,545) et S(4,634).

Imaginez que ces deux structures sont comme deux maisons jumelles. Elles ont le même plan de sol (l'addition est la même, une simple chaîne de 4 étages).
Mais l'intérieur est différent (la multiplication change la façon dont les pièces interagissent).

Jusqu'à présent, les mathématiciens pensaient que pour des structures aussi petites (4 éléments), on devait pouvoir trouver une recette courte. Mais Yue, Ren et Gao ont prouvé le contraire : ces deux maisons sont trop complexes pour être décrites par une recette finie.

L'Analogie de la Tour de Babel

Pour comprendre comment ils ont prouvé cela, imaginez que vous essayez de construire une tour avec des règles.

Les auteurs ont inventé deux nouveaux "outils" (des conditions mathématiques) pour détecter si une structure est un monstre à base infinie.
Ils ont appliqué ces outils à S(4,545) et S(4,634).
Résultat : Les outils ont crié "Alerte !". Pour décrire ces structures, il faut une infinité de règles. C'est comme essayer de décrire un motif de tapis qui change à l'infini : plus vous regardez de près, plus vous voyez de détails nouveaux.

La Révolution : L'Union de Deux Petits Gâteaux

Le résultat le plus surprenant de ce papier est une découverte sur la façon dont ces structures sont liées.

Imaginez que vous avez deux petits gâteaux simples, A et B. Chacun a une recette courte (une base finie).

Le gâteau A est basé sur une structure de 3 éléments.
Le gâteau B est basé sur une structure de 2 éléments (très simple).

En mathématiques, on peut "coller" ces deux gâteaux ensemble pour en faire un nouveau, plus grand. On appelle cela le joint (ou la réunion des variétés).

La question était : "Si on assemble deux gâteaux avec des recettes courtes, le nouveau gâteau aura-t-il aussi une recette courte ?"
La réponse intuitive serait "Oui".
Mais ce papier dit NON.

Les auteurs montrent que le gâteau résultant de l'assemblage de ces deux structures simples est en fait S(4,545), qui est un monstre à base infinie !
C'est comme si vous preniez deux recettes simples de pain et de beurre, et que le mélange donnait un gâteau qui nécessiterait une infinité de règles pour être décrit. C'est une découverte majeure car cela brise une croyance commune en mathématiques.

Le Petit Frère et le Grand Frère

Il y a aussi une histoire de famille intéressante :

Il existe une structure de 3 éléments (appelée S53) qui est simple et a une recette courte.
Si vous ajoutez un élément "zéro" (comme ajouter un fond de boîte vide à un jeu), vous obtenez S(4,634).
Le papier prouve que ce "grand frère" (S(4,634)) est un monstre à base infinie, alors que le "petit frère" (S53) est simple.

C'est le plus petit exemple connu où un objet simple devient impossible à décrire simplement dès qu'on lui ajoute un seul élément.

Pourquoi est-ce important ?

C'est un test de résistance : Ces structures sont comme des "bancs d'essai". Elles montrent que la taille d'un objet ne détermine pas sa complexité. Un petit objet peut être infiniment complexe.
Cela change les règles du jeu : Cela prouve que l'assemblage de deux choses simples peut créer une complexité infinie. C'est une leçon importante pour la théorie des variétés (la classification des structures mathématiques).
Une nouvelle méthode : Les auteurs ont créé de nouveaux outils (des conditions suffisantes) qui aideront d'autres mathématiciens à résoudre d'autres énigmes similaires.

En résumé :
Ce papier nous dit que dans le monde des mathématiques abstraites, même les objets les plus petits peuvent cacher des secrets infinis. Deux structures de 4 éléments, qui semblaient banales, se révèlent être des énigmes sans fin, et leur découverte nous force à réécrire nos règles sur la façon dont les objets mathématiques simples peuvent se combiner pour devenir complexes.

1. Problématique et Contexte

Contexte :
Le papier s'inscrit dans le cadre de la théorie des variétés d'algèbres, plus spécifiquement celle des demi-anneaux additivement idempotents (ai-demi-anneaux). Un ai-demi-anneau est une algèbre $(S, +, \cdot)$ où $(S, +)$ est un semi-groupe commutatif idempotent, $(S, \cdot)$ est un semi-groupe, et les lois de distributivité sont vérifiées. L'ordre partiel naturel est défini par $a \le b \iff a + b = b$ .

Le Problème de la Base Finie :
Une question centrale en théorie des variétés est de savoir si la classe des identités (équations) satisfaites par une algèbre finie peut être générée par un ensemble fini d'identités.

Si oui, l'algèbre (et la variété qu'elle engendre) est dite basée de manière finie (finitely based).
Sinon, elle est non basée de manière finie (nonfinitely based).

État de l'art :

Des exemples d'algèbres finies non basées de manière finie existent (ex: Dolinka, Volkov), mais la classification complète pour les petits ordres (3 et 4 éléments) est un défi majeur.
Les auteurs de groupes précédents ont classé les ai-demi-anneaux d'ordre 3 et certains d'ordre 4. Cependant, la classe des ai-demi-anneaux d'ordre 4 dont le réduct additif est une chaîne (481 à 866 cas) reste partiellement ouverte.
Problèmes ouverts :
1. Est-ce que tout ai-demi-anneau fini dont la variété contient l'algèbre $S_7$ (un exemple d'ordre 3 non basé) est lui-même non basé ?
2. La réunion (join) de deux variétés basées de manière finie est-elle toujours basée de manière finie ?
3. Quelle est la cardinalité de l'intervalle $[V(S), V(S^0)]$ dans le treillis des variétés, où $S^0$ est l'extension de $S$ par un zéro ?

2. Méthodologie

Les auteurs développent une approche combinatoire et syntaxique basée sur la théorie des identités équationnelles et le théorème de compacité de la logique équationnelle.

Outils principaux :

Termes et Inégalités : Utilisation de termes construits sur un ensemble de variables $X$ . Les identités $u \approx v$ sont traitées comme des paires d'inégalités $u \preceq v$ et $v \preceq u$ , où $u \preceq v$ signifie $u + v \approx v$ .
Critères de liberté (Freeness) : Définition de termes "libres" par rapport à d'autres termes pour prouver l'indépendance des identités.
Construction de bases infinies : Définition de familles infinies d'inégalités spécifiques ( $\sigma_{n,k}$ ) qui sont satisfaites par les algèbres cibles mais qui ne peuvent pas être déduites d'un sous-ensemble fini.
Théorème de compacité (Lemme 2.3) : Si une variété admet une base équationnelle infinie dont aucun sous-ensemble fini ne définit la variété, alors cette variété est non basée de manière finie.

Algèbres cibles :
L'étude se concentre sur deux algèbres spécifiques d'ordre 4, notées $S(4,545)$ et $S(4,634)$ , dont les tables de Cayley sont fournies.

Elles partagent le même réduct additif (une chaîne de 4 éléments).
Leurs réducts multiplicatifs sont distincts.
$S(4,634)$ est isomorphe à $S_{53}^0$ (l'extension de l'algèbre $S_{53}$ d'ordre 3 par un élément zéro).

3. Contributions Clés et Résultats

A. Établissement de conditions suffisantes pour le non-basage fini

Les auteurs formulent deux théorèmes généraux (Théorèmes 3.3 et 4.2) fournissant des conditions suffisantes pour qu'un ai-demi-anneau commutatif soit non basé de manière finie. Ces conditions reposent sur l'existence d'une infinité d'inégalités $\sigma_{n,k}$ (ou $\sigma_{n,n}$ ) qui ne peuvent pas être dérivées d'un ensemble fini d'autres identités, grâce à des propriétés de "liberté" des termes $u_{m,k}$ .

B. Résolution du problème de base finie pour $S(4,545)$ et $S(4,634)$

Résultat 1 : Les deux algèbres $S(4,545)$ et $S(4,634)$ sont non basées de manière finie.
Preuve : Les auteurs construisent explicitement des bases équationnelles infinies pour chaque variété. Ils démontrent que les identités de ces algèbres contiennent des sous-ensembles infinis d'inégalités indépendantes qui ne peuvent pas être réduits à un ensemble fini.
Relation structurelle : Ils prouvent que $V(S(4,545))$ est une sous-variété de $V(S(4,634))$ . De plus, $V(S(4,545))$ est le join (réunion) de deux variétés basées de manière finie : $V(S_{53})$ et $V(D_2)$ (où $D_2$ est le réseau distributif à 2 éléments).

C. Réponse aux problèmes ouverts

Contre-exemple au problème du Join (Problème 1.2) :
Le papier répond négativement à la question : "La réunion de deux variétés basées de manière finie est-elle toujours basée de manière finie ?"
- $V(S_{53})$ et $V(D_2)$ sont basées de manière finie.
- Leur réunion $V(S(4,545))$ est non basée de manière finie.
- C'est le premier exemple connu de ce type pour les ai-demi-anneaux.
Support à la conjecture sur $S_7$ (Problème 1.1) :
Les auteurs montrent que $V(S(4,545))$ contient l'algèbre $S_7$ . Puisque $V(S(4,545))$ est non basée, cela soutient l'hypothèse que tout ai-demi-anneau fini dont la variété contient $S_7$ est non basé de manière finie.
Cardinalité de l'intervalle des variétés (Problème 1.4) :
Les auteurs démontrent que l'intervalle $[V(S(4,545)), V(S(4,634))]$ dans le treillis des variétés contient $2^{\aleph_0}$ (la cardinalité du continu) de variétés distinctes.
- Cela implique également que l'intervalle $[V(S_{53}), V(S_{53}^0)]$ contient $2^{\aleph_0}$ variétés.
- Nouveauté : Contrairement aux exemples précédents où les deux extrémités de l'intervalle étaient non basées, ici l'extrémité gauche $V(S_{53})$ est basée de manière finie, tandis que l'extrémité droite $V(S_{53}^0)$ (isomorphe à $V(S(4,634))$ ) est non basée.
Exemple minimal d'extension non basée :
Ils identifient $S_{53}$ comme le plus petit ai-demi-anneau (en termes d'ordre) qui est basé de manière finie, mais dont l'extension $S_{53}^0$ (ajout d'un zéro) est non basée de manière finie.

4. Signification et Impact

Avancement de la classification : Ce travail complète la classification des ai-demi-anneaux d'ordre 4 dont le réduct additif est une chaîne, un domaine complexe où les méthodes précédentes échouaient.
Théorie des variétés : La découverte qu'une réunion de variétés finiment basées peut être infiniment basée remet en cause certaines intuitions sur la stabilité des propriétés de base finie.
Méthodologie : Les conditions suffisantes développées (basées sur l'analyse syntaxique des termes et la liberté des sous-termes) offrent de nouveaux outils puissants pour attaquer le problème de la base finie dans d'autres classes d'algèbres.
Perspectives : Les auteurs indiquent que ces résultats préparent le terrain pour une solution complète du problème de base finie pour toute la classe des ai-demi-anneaux d'ordre 4 à réduct additif en chaîne, qui sera présentée dans un travail ultérieur.

En résumé, ce papier apporte des contre-exemples fondamentaux à des conjectures ouvertes en théorie des variétés, résout le problème de base finie pour deux structures algébriques critiques d'ordre 4, et établit des bornes inférieures sur la complexité du treillis des variétés d'ai-demi-anneaux.