🔢 mathematics

Free nearrings

Cet article fournit des constructions explicites pour les quasi-anneaux libres et le produit libre de deux quasi-anneaux au sein de la variété de tous les quasi-anneaux, incluant ceux qui ne sont pas nécessairement zéro-symétriques.

Auteurs originaux : Stefan Veldsman

Publié 2026-08-11

📖 9 min de lecture🧠 Analyse approfondie

CC0 1.0

Auteurs originaux : Stefan Veldsman

Article original placé dans le domaine public sous CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 un monde où les mathématiques ne sont pas seulement des chiffres sur une page, mais les règles qui régissent la façon dont les choses se combinent, s'empilent et interagissent. C'est le domaine de l'algèbre abstraite, une branche des mathématiques qui étudie des structures telles que les groupes et les anneaux. Considérez un « groupe » comme un club possédant un ensemble spécifique de membres et une règle unique pour la façon dont ils peuvent se combiner (comme l'addition de nombres). Un « anneau » est un club plus complexe avec deux règles : une pour l'addition et une pour la multiplication. Mais et si nous assouplissions les règles juste un tout petit peu ? Et si la multiplication ne jouait bien que lorsqu'elle vient du côté droit, mais ignorait le côté gauche ? C'est le monde excentrique et légèrement rebelle du « quasi-anneau » (nearring).

Les quasi-anneaux sont comme les cousins sauvages des anneaux. Dans un anneau standard, la multiplication se distribue sur l'addition parfaitement des deux côtés (tout comme $a(b+c) = ab + ac$ et $(a+b)c = ac + bc$). Dans un quasi-anneau, nous exigeons seulement qu'elle fonctionne par la droite : $(a+b)c = ac + bc$. Le côté gauche ? Il peut faire ce qu'il veut. Cette flexibilité rend les quasi-anneaux incroyablement utiles pour modéliser des systèmes du monde réel où l'ordre et la direction comptent, comme en informatique ou en géométrie. Mais parce qu'ils sont si flexibles, ils sont aussi notoirement difficiles à construire à partir de zéro. Les mathématiciens veulent souvent savoir : « Si je pars d'une ardoise vierge et de quelques ingrédients de base, quel est le quasi-anneau le plus général et respectant les règles que je peux créer ? » C'est la quête d'un « quasi-anneau libre ».

Cet article de Stefan Veldsman s'attaque exactement à cette question. L'auteur fournit une recette détaillée, étape par étape, pour construire un « quasi-anneau libre » à partir d'un ensemble simple de symboles, ainsi qu'une méthode pour fusionner deux quasi-anneaux existants en un nouveau, combiné (appelé « produit libre »). Alors que des travaux précédents n'avaient résolu ce puzzle que pour un type de quasi-anneau très spécifique et bien élevé (un où le zéro se comporte bien), Veldsman prouve que cette construction fonctionne pour tous les quasi-anneaux, même les plus désordonnés et imprévisibles où le zéro ne se comporte pas parfaitement. L'article ne se contente pas de suggérer que cela est possible ; il offre une preuve mathématique rigoureuse que ces structures peuvent être construites exactement comme décrit, élargissant la boîte à outils disponible pour les mathématiciens travaillant avec ces systèmes algébriques complexes.

Le jeu de construction mathématique : Construire un quasi-anneau libre

Imaginez que vous êtes un maître constructeur avec une boîte de briques Lego. Vous voulez construire le château le plus ultime et le plus flexible possible, mais vous avez une règle très spécifique : chaque fois que vous emboîtez une nouvelle pièce sur le côté droit d'une tour, la structure entière doit rester stable. Cependant, si vous emboîtez une pièce sur la gauche, la tour pourrait vaciller, pencher ou faire quelque chose de bizarre. C'est le monde des quasi-anneaux.

Dans cet article, l'auteur, Stefan Veldsman, joue le rôle de l'architecte. Il veut nous montrer comment construire le « Quasi-anneau Libre ». Considérez une structure « libre » en mathématiques comme l'ultime toile vierge. C'est la version la plus basique et la plus dépouillée d'un objet mathématique que vous puissiez créer en utilisant un ensemble spécifique d'ingrédients de départ (comme un ensemble de lettres, $X$ ). Elle contient uniquement les règles que vous lui avez imposées et rien d'autre. Si vous voulez construire un quasi-anneau, vous devez savoir comment construire cette version « libre » d'abord, car tout autre quasi-anneau n'est qu'une copie simplifiée de celle-ci.

Les ingrédients : Un semi-groupe avec un « zéro à gauche »

Avant de pouvoir construire le quasi-anneau, nous avons besoin d'une fondation. Veldsman commence par quelque chose appelé un semi-groupe avec un zéro à gauche.

Le Semi-groupe : Imaginez une file de personnes se passant un ballon. La règle est simple : si la Personne A passe à la Personne B, et que la Personne B passe à la Personne C, c'est la même chose que si la Personne A passait directement à la Personne C. C'est juste une chaîne d'actions.
Le Zéro à gauche : Maintenant, imaginez qu'il y a une personne spéciale dans cette file appelée « Zéro ». La règle pour Zéro est stricte : si Zéro passe le ballon à n'importe qui, le ballon disparaît (ou reste Zéro). Mais si n'importe qui passe le ballon à Zéro, Zéro le garde et le lui rend inchangé. C'est un « zéro à gauche » parce que la magie se produit lorsque Zéro est du côté gauche de l'interaction.

Veldsman construit un ensemble spécifique de ces « mots » ou chaînes de symboles (comme $x_1x_2x_3$ ) et ajoute cet élément Zéro spécial. Cela forme la matière première, le « R », à partir duquel le quasi-anneau sera construit.

La construction : Une tour de groupes

Construire le quasi-anneau n'est pas un processus en une seule étape ; c'est comme construire un gratte-ciel étage par étage. L'auteur utilise une méthode appelée induction, ce qui signifie qu'il construit le premier étage, puis utilise celui-ci pour construire le deuxième, et ainsi de suite, indéfiniment.

Le rez-de-chaussée ( $B_0$ ) : Il commence par prendre les matières premières (le semi-groupe $R$ ) et les transforme en un groupe additif libre. Considérez cela comme le fait de prendre toutes vos briques Lego et de vous autoriser à les additionner ou à les soustraire (comme avoir une brique « négative »). Cela crée un groupe massif et flexible où vous pouvez combiner les éléments dans n'importe quel ordre, tant que vous suivez les règles de base de l'addition.
Les étages suivants ( $B_1, B_2, \dots$ ) : C'est ici que la magie du quasi-anneau opère. L'auteur introduit une nouvelle couche de complexité. Il prend l'étage actuel et le combine avec un nouvel ensemble de « produits formels » (imaginez coller une nouvelle sorte de brique sur la structure existante).
- Il crée un nouvel ensemble d'éléments appelés $D_n$ , qui sont essentiellement les anciens éléments multipliés par les nouveaux éléments « libres ».
- Il construit ensuite l'étage suivant ( $B_n$ ) en prenant l'étage précédent et en effectuant un « produit libre » avec les nouveaux éléments. En langage mathématique, un « produit libre » est comme coller deux groupes séparés en un seul point, créant un arbre géant et ramifié de possibilités.
- Il répète ce processus à l'infini. Le « Quasi-anneau Libre » final est l'union de tous ces étages, une structure imposante d'une complexité infinie.

Les règles du jeu : Distributivité et Associativité

Une fois la tour construite, Veldsman doit prouver qu'elle fonctionne réellement comme un quasi-anneau. Il vérifie deux règles critiques :

Distributivité à droite : C'est la règle d'or des quasi-anneaux. Elle stipule que si vous avez une somme $(a + b)$ et que vous la multipliez par $c$ à droite, cela doit être égal à $ac + bc$. Veldsman montre que grâce à la façon dont il a construit la tour (étage par étage, en respectant les règles à chaque étape), cette règle est parfaitement respectée. La structure est conçue de telle sorte que la multiplication par la droite joue toujours bien avec l'addition.
Associativité : Cette règle stipule que $(ab)c$ doit être égal à $a(bc)$. C'est la règle qui dit qu'il n'importe pas comment vous groupez vos opérations. Veldsman prouve cela en montrant que, quel que soit l'« étage » de la tour où vivent vos éléments, la multiplication fonctionne de manière cohérente.

Le « Produit Libre » de deux quasi-anneaux

L'article traite également d'un second défi : que se passe-t-il si vous avez deux quasi-anneaux existants, disons $A$ et $B$ , et que vous voulez les fusionner en un seul quasi-anneau géant sans perdre leur identité d'origine ? C'est ce qu'on appelle le produit libre (ou coproduit).

Veldsman utilise une stratégie de « construction de tour » similaire. Il commence par prendre les parties « multiplicatives » de $A$ et de $B$ et les fusionne en un nouveau semi-groupe $R$ . Il exécute ensuite le même processus de construction infinie. Le résultat est un nouveau quasi-anneau qui contient $A$ et $B$ comme sous-parties. Si vous avez une règle dans $A$ ou une règle dans $B$ , elle reste intacte dans la nouvelle structure géante. Les seules nouvelles règles ajoutées sont le strict minimum requis pour les faire fonctionner ensemble en tant que quasi-anneau unique.

Pourquoi cela importe-t-il

Vous pourriez vous demander : « Qui se soucie de construire ces tours abstraites ? » La réponse réside dans la flexibilité. Les quasi-anneaux sont utilisés pour modéliser des choses où la direction compte, comme les fonctions en informatique ou les transformations en géométrie. En ayant un plan précis et « libre » pour construire ces structures, les mathématiciens peuvent :

Tester des théories : Ils peuvent utiliser le quasi-anneau libre comme un « test de résistance » pour voir si une nouvelle idée mathématique tient bon sous les conditions les plus extrêmes.
Comprendre la complexité : Cela les aide à comprendre les limites fondamentales de ce qu'un quasi-anneau peut être.
Généraliser : Cet article est important car il supprime une restriction majeure. Les travaux précédents ne fonctionnaient que pour les quasi-anneaux « zéro-symétriques » (où $a \times 0 = 0$ ). Veldsman montre que la construction fonctionne même quand $a \times 0$ n'est pas égal à zéro, ouvrant la porte à une variété beaucoup plus large de modèles mathématiques.

En résumé, Stefan Veldsman nous a remis la clé maîtresse de l'univers des quasi-anneaux. Il ne s'est pas contenté de deviner comment les construire ; il a fourni une preuve rigoureuse, étape par étape, que ces structures existent, peuvent être construites et suivent les règles que nous attendons d'elles. C'est un peu comme si l'on venait enfin de trouver les instructions exactes pour construire un château Lego capable de survivre à n'importe quel séisme, peu importe la façon dont les briques sont empilées.

Résumé technique : Quasi-anneaux libres et produits libres dans la variété de tous les quasi-anneaux

Énoncé du problème
L'article traite de la construction d'objets libres au sein de la variété de tous les quasi-anneaux à droite, étendant ainsi les travaux précédents qui étaient limités à la variété des quasi-anneaux à gauche zéro-symétriques. Un quasi-anneau $N = (N, +, \cdot, 0_N)$ est défini comme une structure où $(N, +, 0_N)$ est un groupe (pas nécessairement commutatif), $(N, \cdot)$ est un semi-groupe, et la multiplication distribue à droite sur l'addition ($(a+b)c = ac + bc$). Contrairement aux anneaux, les quasi-anneaux ne satisfont pas nécessairement $0a = 0$ ou $a(-b) = -(ab)$ ; ceux qui le font sont nommés « zéro-symétriques ». L'article note que tout quasi-anneau se décompose en une partie zéro-symétrique et une partie constante. Bien que Meldrum [5] ait précédemment construit des quasi-anneaux libres et des produits libres pour les quasi-anneaux à gauche zéro-symétriques, la construction explicite pour la variété plus large de tous les quasi-anneaux à droite (incluant les non zéro-symétriques) restait à détailler.

Méthodologie
L'auteur, Stefan Veldsman, emploie une méthode de construction inductive, suivant largement le cadre établi par Meldrum mais l'adaptant pour gérer les quasi-anneaux à droite et la présence d'éléments constants. La construction procède en deux phases principales :

Construction du quasi-anneau libre $F(X)$ :
- Semi-groupe de base : Le processus commence par un semi-groupe multiplicatif libre avec un zéro à gauche, noté $(R, \cdot, 0_R)$ , sur un ensemble générateur $X$ . Cet ensemble $R$ consiste en des mots sur $X$ et des produits formels impliquant un symbole de zéro à gauche $0_R$ .
- Tour de groupes inductifs : Une séquence de groupes $B_n$ est construite. $B_0$ est le groupe libre sur $R$ . Les groupes suivants $B_n$ sont formés comme le produit libre du groupe précédent $B_{n-1}$ et du groupe libre sur un ensemble de produits formels $D_{n-1} = R \cdot C_{n-1}$ , où $C_{n-1}$ représente les « nouveaux » éléments ajoutés à l'étape précédente.
- Objet limite : Le quasi-anneau libre $F(X)$ est défini comme l'union de cette tour de groupes ( $\bigcup_{n=0}^{\infty} B_n$ ).
- Définition de la multiplication : La multiplication est définie de manière inductive. Elle est d'abord définie pour les éléments de $R$ agissant sur $F(X)$ , puis étendue aux inverses additifs, et enfin à l'ensemble de $B_0$ et des $B_n$ suivants via la distributivité et les produits formels.
- Vérification : L'auteur vérifie rigoureusement que la structure résultante satisfait les axiomes des quasi-anneaux : distributivité à droite, associativité de la multiplication, et l'existence d'un produit bien défini.
Construction du produit libre (coproduit) :
- Le produit libre de deux quasi-anneaux $A$ et $B$ est construit en formant d'abord le produit libre de leurs semi-groupes multiplicatifs sous-jacents avec des zéros à gauche, noté $R$ .
- La même tour de groupes inductive et les étapes d'extension de la multiplication utilisées pour $F(X)$ sont appliquées à ce nouveau $R$ pour générer le coproduit dans la catégorie des quasi-anneaux.

Contributions clés et résultats

Construction explicite : L'article fournit une construction explicite, étape par étape, du quasi-anneau libre $F(X)$ sur un ensemble $X$ dans la variété de tous les quasi-anneaux à droite. Cela inclut une description détaillée des ensembles sous-jacents, la définition inductive de la structure du groupe additif, et la définition récursive de l'opération de multiplication.
Généralisation : Le travail étend les résultats de Meldrum des quasi-anneaux à gauche zéro-symétriques à la variété générale des quasi-anneaux à droite. Un accent particulier est mis sur la gestion des « éléments constants » (éléments où $ab=a$ pour tout $b$ ) et du comportement non zéro-symétrique, qui n'étaient pas l'objet principal des constructions zéro-symétriques antérieures.
Produit libre (coproduit) : L'article construit avec succès le produit libre de deux quasi-anneaux arbitraires $A$ et $B$ . Il démontre que la structure résultante $F(R)$ (où $R$ est le coproduit de semi-groupes de $A$ et $B$ ) satisfait la propriété universelle d'un coproduit dans la catégorie des quasi-anneaux.
Associativité et distributivité : L'auteur fournit des preuves détaillées que la multiplication construite est associative et distributive à droite sur l'addition, même en présence de réductions dans les mots du groupe additif.
Extensions unitaires : L'article expose comment modifier la construction pour produire des quasi-anneaux libres avec un élément unité et comment construire le produit libre d'un quasi-anneau avec l'anneau des entiers $\mathbb{Z}$ , ce qui revient à adjoindre un élément unité.

Signification et affirmations
L'article prétend combler une lacune dans la littérature en fournissant les détails nécessaires pour construire des objets libres dans la variété de tous les quasi-anneaux, et non seulement dans la sous-variété zéro-symétrique. L'auteur note que bien que l'on puisse théoriquement suivre la présentation de Meldrum « presque mot pour mot », la gestion spécifique des éléments constants et la nature distributive à droite de la variété nécessite les détails supplémentaires fournis ici.

La signification réside dans l'établissement de l'existence et de la forme explicite des objets libres dans cette catégorie plus large, ce qui est une exigence fondamentale pour comprendre les propriétés structurelles des quasi-anneaux. L'article ne propose pas de nouvelles applications ou utilisations expérimentales, mais solidifie le fondement théorique des quasi-anneaux libres et de leurs coproduits. Comme indiqué dans l'introduction, la construction repose sur les propriétés universelles des groupes et semi-groupes libres, adaptées aux contraintes algébriques spécifiques des quasi-anneaux. Le travail sert d'extension technique des articles fondamentaux de Meldum [5] et [4], garantissant que la théorie couvre la pleine variété des quasi-anneaux à droite.