Reducing the axioms of hypergroups, hyperfields, hypermomules and related structures. A new axiomatic basis for hypercompositional structures

Cet article démontre que les axiomes de nombreuses structures hypercomposables manquent d'indépendance et propose de nouvelles définitions minimisant leur nombre pour établir une base axiomatique plus économe.

L'essentiel

🌟 Le Grand Nettoyage des Mathématiques : Moins de Règles, Plus de Logique

Imaginez que vous êtes architecte et que vous devez construire une maison. Jusqu'à présent, les architectes de ce monde spécial (appelé l'Algèbre Hypercomposée) avaient une liste de règles très stricte pour construire leurs maisons. Ils disaient : « Pour qu'une maison soit valide, il faut absolument respecter ces 5 règles : A, B, C, D et E ».

Mais dans cet article, l'auteur, Christos Massouros, fait une découverte fascinante : certaines de ces règles sont en fait inutiles ! Il prouve que si vous respectez les règles A, B et C, alors les règles D et E se créent toutes seules, comme par magie.

En gros, il dit : « Arrêtons de surcharger nos plans. On peut simplifier la définition de ces structures mathématiques sans rien perdre de leur solidité. »

Voici comment cela fonctionne, point par point, avec des images simples.

---

1. Le Problème de la "Boîte Vide" 📦

Dans ce monde mathématique, on ne combine pas deux nombres pour en obtenir un seul (comme $2 + 2 = 4$). On les combine pour obtenir une boîte remplie de plusieurs résultats possibles. C'est ce qu'on appelle une hypercomposition.

• L'ancienne règle : Les mathématiciens disaient : « Règle n°1 : La boîte ne doit jamais être vide. Règle n°2 : L'opération doit être associative (l'ordre ne compte pas). Règle n°3 : On doit pouvoir tout mélanger pour retrouver n'importe quel élément. »
• La découverte de Massouros : Il montre que si vous avez une boîte qui suit les règles 2 et 3, il est mathématiquement impossible qu'elle soit vide !
• L'analogie : Imaginez un distributeur automatique de bonbons. Si vous savez que le distributeur peut donner n'importe quel bonbon (règle 3) et que le mécanisme fonctionne bien (règle 2), alors il est absurde de dire "Attention, le distributeur pourrait ne jamais donner de bonbon". Si le mécanisme fonctionne, le bonbon sortira forcément. Donc, la règle "La boîte n'est pas vide" est redondante. On peut l'effacer de la liste !

2. Le Cas des "Hyperchamps" (Hyperfields) 🌊

Prenons un exemple plus complexe : les hyperchamps. C'est comme un champ de force où l'on peut faire des additions et des multiplications, mais avec des résultats multiples.

• L'ancienne règle : Il fallait une règle spéciale appelée "Réversibilité". C'est comme dire : « Si vous mettez un bonbon A et un bonbon B dans le mélangeur et que vous obtenez C, alors en enlevant B de C, vous devez retrouver A. »
• La découverte : Massouros prouve que dans un hyperchamp, cette règle de "réversibilité" est une conséquence automatique des autres règles (comme la distributivité, qui lie l'addition et la multiplication).
• L'analogie : C'est comme si vous disiez : « Pour qu'une recette de gâteau soit valide, il faut qu'elle soit bonne, qu'elle soit sucrée, et qu'on puisse la manger. » Mais Massouros dit : « Si la recette est bonne et sucrée, il est évident qu'on peut la manger ! » La troisième règle n'a pas besoin d'être écrite, elle est déjà incluse dans les deux premières.

3. Pourquoi est-ce important ? 🚀

Vous pourriez vous demander : « À quoi ça sert de retirer une règle ? C'est juste du détail technique, non ? »

Pas du tout ! Voici pourquoi c'est crucial :

1. La Clarté (Le Grand Triage) : En mathématiques, il est vital de savoir ce qui est une règle fondamentale (un postulat) et ce qui est une conséquence (un théorème). Si on mélange les deux, on crée de la confusion. En retirant les règles inutiles, on nettoie le terrain et on voit mieux la structure pure.
2. L'Informatique et les Algorithmes 💻 : C'est le point le plus cool. Si vous programmez un ordinateur pour vérifier si une structure mathématique est valide, chaque règle supplémentaire demande du temps de calcul.
   • Imaginez un gardien de sécurité. S'il a 10 règles à vérifier pour laisser passer quelqu'un, cela prend du temps. S'il réalise que 3 de ces règles sont automatiquement vraies si les 7 autres le sont, il peut les supprimer de sa liste. Le contrôle est plus rapide et plus efficace.
   • L'auteur mentionne que cette simplification a permis de créer des algorithmes pour construire et classer tous les "hyperchamps" possibles de petite taille beaucoup plus rapidement.

4. L'Histoire derrière l'histoire 📜

L'article commence par un petit voyage dans le temps. Il explique que la définition originale des "hypergroupes" a été donnée par un mathématicien français, F. Marty, en 1934. Mais plus tard, un autre mathématicien, M. Krasner, a modifié la définition en ajoutant des règles qui, on le sait maintenant, n'étaient pas nécessaires.

Massouros remet les pendules à l'heure : il retourne aux sources, prouve que certaines règles sont redondantes, et propose une définition plus épurée, plus élégante et plus moderne.

En Résumé 🎯

Cet article est comme un déménageur de mathématiques qui arrive dans une maison remplie de meubles inutiles. Il dit :

« Regardez, ce canapé (l'axiome de non-viduité) et cette table (l'axiome de réversibilité) sont là depuis toujours, mais en réalité, ils sont déjà supportés par le sol et les murs (les autres axiomes). On peut les enlever pour rendre la maison plus spacieuse, plus claire et plus facile à naviguer. »

C'est une victoire pour la simplicité et la rigueur. Cela montre que parfois, pour aller plus loin, il faut savoir faire le tri et supprimer le superflu.

Résumé technique

Voici un résumé technique détaillé de l'article « Réduction des axiomes des hypergroupes, hyperchamps, hypermodules et structures apparentées : une nouvelle base axiomatique pour les structures hypercompositionnelles » de Christos G. Massouros.

1. Problématique

L'article aborde un problème fondamental en algèbre hypercompositionnelle : l'indépendance des axiomes utilisés pour définir les structures algébriques telles que les hypergroupes, les hyperchamps (hyperfields), les hyperrings et les hypermodules.
Historiquement, les définitions standard (notamment celles de M. Krasner et F. Marty) incluent un axiome stipulant que le résultat de l'hypercomposition de deux éléments quelconques doit être un sous-ensemble non vide. L'auteur démontre que cet axiome n'est pas indépendant, car il découle logiquement des autres axiomes (associativité, reproductivité, existence d'éléments neutres et symétriques). La présence de cet axiome redondant alourdit les définitions et obscurcit la distinction entre postulats primitifs et théorèmes dérivés.

2. Méthodologie

La méthodologie repose sur une analyse logique rigoureuse et des preuves par l'absurde au sein de la théorie des ensembles et de l'algèbre abstraite.

• Analyse de l'indépendance : L'auteur examine chaque structure (hypergroupes, polysymétriques, hyperrings, etc.) pour vérifier si l'axiome de « non-vide » (ou la reproductivité dans certains cas) peut être déduit des autres propriétés.
• Preuves par contradiction : Pour les structures associatives et reproductives, l'auteur suppose que le produit de deux éléments est vide ($\emptyset$) et démontre que cela entraîne une contradiction (par exemple, que l'ensemble entier $H$ serait vide, ce qui contredit la définition d'une structure non vide).
• Réduction axiomatique : Une fois la dépendance prouvée, les définitions sont reformulées en retirant l'axiome redondant, tout en conservant la validité mathématique de la structure.
• Extension aux structures dérivées : La logique est appliquée non seulement aux hypergroupes de base, mais aussi aux structures plus complexes qui en découlent (hyperrings, hypermodules, espaces vectoriels hypersurfaces).

3. Contributions Clés et Résultats

A. Réduction des axiomes des Hypergroupes

• Résultat : L'axiome exigeant que $ab \neq \emptyset$ est redondant.
• Démonstration : Dans un magma associatif et reproductif (où $xH = Hx = H$), si l'on suppose $xy = \emptyset$, alors par associativité et reproductivité, $H = xH = x(yH) = (xy)H = \emptyset H = \emptyset$, ce qui est une contradiction.
• Nouvelle définition : Un hypergroupe est défini uniquement par l'associativité et la reproductivité. La non-vidité du résultat est une conséquence théorique, non un postulat.

B. Hypergroupes Polysymétriques et Quasi-M-Polysymétriques

• Contexte : Ces structures (introduites par J. Mittas) incluent l'associativité, la commutativité, l'existence d'un élément neutre, la polysymétrie (existence d'un symétrique) et la réversibilité.
• Résultat : L'axiome de réversibilité (si $z \in xy$, alors $x \in zy'$ et $y \in x'z$) est déductible des autres axiomes.
• Nouvelle définition : La réversibilité peut être supprimée de la définition de l'hypergroupe M-polysymétrique et du quasi-M-polysymétrique, simplifiant ainsi leur base axiomatique.

C. Hyperchamps (Hyperfields) et Hyperrings

• Résultat : Pour un hyperchamp, l'axiome de réversibilité de l'addition est une conséquence de la distributivité et de l'existence d'un opposé unique.
• Conséquence : La définition de l'hyperchamp peut être simplifiée en retirant l'axiome de réversibilité explicite.
• Extension aux Hyperrings : Le même raisonnement s'applique aux hyperrings unitaires. De plus, l'auteur montre que l'extension de Dorroh (utilisée pour les anneaux classiques pour ajouter un élément unité) échoue pour les hyperrings car elle ne préserve pas l'associativité de la multiplication hypercompositionnelle.

D. Hypermodules et Espaces Vectoriels Hypersurfaces

• Résultat : Dans la définition d'un hypermodule sur un hyperring unitaire, l'exigence que la structure additive soit un « hypergroupe canonique » (impliquant la réversibilité) est redondante.
• Nouvelle définition : Il suffit que la structure additive soit un hypergroupe normal (commutatif avec élément neutre et opposés uniques). La propriété canonique (réversibilité) découle alors des axiomes de module.

4. Signification et Impact

• Rigueur Mathématique : Ce travail clarifie les fondements de l'algèbre hypercompositionnelle en éliminant les redondances. Il rétablit une frontière stricte entre les postulats de base et les théorèmes dérivés, ce qui est crucial pour la cohérence logique de la théorie.
• Historique et Attribution : L'article rectifie également des attributions historiques, notant que la définition standard de l'hypergroupe utilisée aujourd'hui est due à M. Krasner (1937/1939) et non à F. Marty, bien que souvent attribuée à tort à ce dernier.
• Applications Algorithmiques : En réduisant le nombre d'axiomes nécessaires pour vérifier une structure, l'auteur souligne que cela permet de concevoir des algorithmes plus efficaces pour la construction et la classification des structures hypercompositionnelles finies. Cela a déjà été appliqué avec succès pour la construction exhaustive de tous les hyperchamps d'ordre sept.
• Généralisation : La méthode proposée s'applique à une large famille de structures (HV-groupes, presque-hypergroupes, hyperrings multiplicatifs, etc.), offrant une base axiomatique unifiée et plus économique pour tout le domaine.

En conclusion, l'article de Massouros propose une refonte axiomatique essentielle qui simplifie la définition des structures hypercompositionnelles sans en altérer la portée, renforçant ainsi leur fondement théorique et leur utilité pratique en mathématiques computationnelles.