2025-11-30T05:07:18.998996

Local, 2-local derivations and biderivations on 3-parameter generalized quaternion

Oubba
This article investigates the recently introduced three-parameter generalized quaternion algebra (3PGQ), denoted here as $\mathbb{K}_{λ_1,λ_2,λ_3}$ . Our analysis is structured in three parts. First, we demonstrate that every local and 2-local derivation on this algebra is automatically a derivation. Second, we provide a complete characterization of its biderivations. Finally, we describe its commuting maps and centroid.
academic

Dérivations locales, 2-dérivations locales et bidérivations sur les quaternions généralisés à 3 paramètres

Informations fondamentales

  • ID de l'article: 2511.18026
  • Titre: Local, 2-local derivations and biderivations on 3-parameter generalized quaternion
  • Auteur: Hassan Oubba (Université Moulay Ismaïl, Maroc)
  • Classification: math.RA (Anneaux et Algèbres)
  • Date de soumission: 22 novembre 2025
  • Lien de l'article: https://arxiv.org/abs/2511.18026

Résumé

Cet article étudie l'algèbre des quaternions généralisés à 3 paramètres (3PGQ) récemment introduite, notée Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3}. L'étude se divise en trois parties : d'abord, on prouve que toute dérivation locale et toute 2-dérivation locale sur cette algèbre sont automatiquement des dérivations ; ensuite, on caractérise complètement la forme de toutes les bidérivations ; enfin, on décrit les applications commutantes et le centre de l'algèbre.

Contexte et motivation de la recherche

Problèmes de recherche

Les problèmes fondamentaux abordés dans cet article sont :

  1. Les dérivations locales et les 2-dérivations locales sur l'algèbre des quaternions généralisés à 3 paramètres sont-elles toutes des dérivations véritables ?
  2. Comment caractériser complètement la forme de toutes les bidérivations sur cette algèbre ?
  3. Quelle est la structure des applications commutantes linéaires et du centre de l'algèbre ?

Importance du problème

L'algèbre des quaternions occupe une place centrale dans les mathématiques modernes, avec des applications croisées en théorie des anneaux non commutatifs, théorie de Lie, géométrie et théorie des nombres. L'importance spécifique se manifeste par :

  1. Valeur théorique : Les dérivations locales et les bidérivations sont des outils puissants pour sonder la structure algébrique, révélant les propriétés intrinsèques de l'algèbre
  2. Signification générale : Les quaternions généralisés à 3 paramètres unifient plusieurs cas particuliers : les quaternions de Hamilton, les quaternions scindés, les quaternions généralisés à 2 paramètres, etc.
  3. Compréhension structurelle : Le centre de l'algèbre joue un rôle clé dans la compréhension de la structure des algèbres simples, particulièrement dans l'étude du groupe de Brauer et des corps gauches

Limitations des méthodes existantes

  1. Pour les algèbres de Lie, Ayupov et Kudaybergenov ont prouvé qu'il n'existe pas de dérivations locales et 2-locales non triviales sur les algèbres de Lie semi-simples de dimension finie
  2. Cependant, pour les algèbres non associatives, en particulier pour la nouvelle algèbre des quaternions généralisés à 3 paramètres, ces propriétés n'ont pas encore été étudiées
  3. L'étude des bidérivations et des applications commutantes s'est principalement concentrée sur les algèbres de Lie, avec peu de recherches sur les algèbres de type quaternionique

Motivation de la recherche

L'auteur vise à enrichir les propriétés de l'algèbre des quaternions généralisés à 3 paramètres en établissant de nouveaux théorèmes de structure pour perfectionner le cadre théorique de ce système algébrique.

Contributions principales

Les contributions principales de cet article incluent :

  1. Théorème des dérivations locales (Théorème 2.2) : On prouve que lorsque λ3≠0\lambda_3 \neq 0, toute dérivation locale sur Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} est une dérivation
  2. Théorème des 2-dérivations locales (Théorème 2.3) : On prouve que lorsque λ3≠0\lambda_3 \neq 0, toute 2-dérivation locale sur Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} est une dérivation
  3. Caractérisation complète des bidérivations (Théorème 3.1) : δ\delta est une bidérivation sur Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} si et seulement s'il existe un nombre réel μ\mu tel que\frac{\lambda_3}{\lambda_1}e_1 & \frac{\lambda_2}{\lambda_1}e_2 & e_3 \\ x_1 & x_2 & x_3 \\ y_1 & y_2 & y_3 \end{vmatrix}$$
  4. Caractérisation des applications commutantes (Théorème 4.1) : On prouve que la forme matricielle des applications linéaires commutantes est (λabc0μ0000μ0000μ)\begin{pmatrix} \lambda & a & b & c \\ 0 & \mu & 0 & 0 \\ 0 & 0 & \mu & 0 \\ 0 & 0 & 0 & \mu \end{pmatrix}
  5. Théorème du centre (Théorème 4.3) : On prouve que Γ(Kλ1,λ2,λ3)={λid:λ∈R}\Gamma(K_{\lambda_1,\lambda_2,\lambda_3}) = \{\lambda \text{id} : \lambda \in \mathbb{R}\}, c'est-à-dire que le centre est un corps

Explication détaillée des méthodes

Définition des tâches

Définition de l'algèbre des quaternions généralisés à 3 paramètres : Kλ1,λ2,λ3={a+be1+ce2+de3∣a,b,c,d,λ1,λ2,λ3∈R}K_{\lambda_1,\lambda_2,\lambda_3} = \{a+be_1+ce_2+de_3 | a,b,c,d,\lambda_1,\lambda_2,\lambda_3 \in \mathbb{R}\}

où les éléments de base satisfont :

  • e12=−λ1λ2e_1^2 = -\lambda_1\lambda_2
  • e22=−λ1λ3e_2^2 = -\lambda_1\lambda_3
  • e32=−λ2λ3e_3^2 = -\lambda_2\lambda_3
  • e1e2e3=−λ1λ2λ3e_1e_2e_3 = -\lambda_1\lambda_2\lambda_3

Concepts fondamentaux :

  1. Dérivation : Application linéaire D:A→AD: A \to A satisfaisant D(ab)=D(a)b+aD(b)D(ab) = D(a)b + aD(b)
  2. Dérivation locale : Application linéaire Δ:A→A\Delta: A \to A telle que pour chaque x∈Ax \in A, il existe une dérivation DxD_x avec Δ(x)=Dx(x)\Delta(x) = D_x(x)
  3. 2-dérivation locale : Application Δ:A→A\Delta: A \to A (pas nécessairement linéaire) telle que pour tous x,y∈Ax,y \in A, il existe une dérivation Dx,yD_{x,y} avec Δ(x)=Dx,y(x)\Delta(x) = D_{x,y}(x) et Δ(y)=Dx,y(y)\Delta(y) = D_{x,y}(y)
  4. Bidérivation : Application bilinéaire ϕ:A×A→A\phi: A \times A \to A qui est une dérivation pour chaque variable

Cadre théorique

Théorème fondamental (Théorème 2.1 de Chaker-Boua) : Toute dérivation dd sur Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} a la forme matricielle :

0 & 0 & 0 & 0 \\ 0 & 0 & -\frac{\lambda_3}{\lambda_2}a & -\frac{\lambda_3}{\lambda_1}b \\ 0 & a & d & -\frac{\lambda_2}{\lambda_1}c \\ 0 & b & c & d \end{pmatrix}$$ où les paramètres satisfont des conditions de contrainte spécifiques. ### Stratégie de preuve **Idée de la preuve du théorème des dérivations locales** (Théorème 2.2) : 1. **Représentation matricielle** : Soit $\Delta(x) = BX$ une dérivation locale, où $B = (b_{ij})_{0 \leq i,j \leq 3}$ 2. **Test sur les éléments de base** : En appliquant la propriété de dérivation locale à chaque élément de base, par le théorème 2.1, il existe des paramètres $a_{e_i}, b_{e_i}, c_{e_i}$ tels que : - $\Delta(e_0) = 0$ implique $b_{00} = b_{10} = b_{20} = b_{30} = 0$ - $\Delta(e_1)$ implique $b_{01} = 0, b_{11} = 0, b_{21} = a_{e_1}, b_{31} = b_{e_1}$ - $\Delta(e_2)$ implique $b_{02} = 0, b_{12} = -\frac{\lambda_3}{\lambda_2}a_{e_2}, b_{22} = 0, b_{32} = c_{e_2}$ - $\Delta(e_3)$ implique $b_{03} = 0, b_{13} = -\frac{\lambda_3}{\lambda_1}b_{e_3}, b_{23} = -\frac{\lambda_2}{\lambda_1}c_{e_3}, b_{33} = 0$ 3. **Utilisation de la linéarité** : L'étape clé est d'utiliser la linéarité de $\Delta$ : - De $\Delta(e_1 + e_2) = \Delta(e_1) + \Delta(e_2)$ on obtient $a_{e_1} = a_{e_2}$ - De $\Delta(e_1 + e_3) = \Delta(e_1) + \Delta(e_3)$ on obtient $b_{e_1} = b_{e_3}$ - De $\Delta(e_2 + e_3) = \Delta(e_2) + \Delta(e_3)$ on obtient $c_{e_2} = c_{e_3}$ 4. **Conclusion** : Tous les paramètres s'unifient, la forme matricielle de $\Delta$ satisfait le théorème 2.1, donc $\Delta$ est une dérivation **Idée de la preuve du théorème des 2-dérivations locales** (Théorème 2.3) : L'observation clé est que pour tous $x,y \in K_{\lambda_1,\lambda_2,\lambda_3}$ et éléments de base $e_i$, il existe des dérivations $D_{x,e_i}$ et $D_{y,e_i}$ satisfaisant : - $\Delta(x) = D_{x,e_i}(x), \Delta(e_i) = D_{x,e_i}(e_i)$ - $\Delta(y) = D_{y,e_i}(y), \Delta(e_i) = D_{y,e_i}(e_i)$ Puisque $\Delta(e_i)$ est le même pour tous les $x$, cela signifie que toutes les dérivations $D_{x,e_i}$ ont la même valeur en $e_i$, donc les mêmes paramètres, c'est-à-dire que $D_{x,e_i}$ ne dépend pas de $x$. Par conséquent, $\Delta$ est une dérivation. ### Points d'innovation technique 1. **Utilisation des contraintes de paramètres** : On utilise de manière cruciale la condition $\lambda_3 \neq 0$, ce qui permet à la linéarité de transmettre les relations d'égalité des paramètres 2. **Méthode de calcul** : En calculant directement l'action sur les éléments de base, on évite les théories algébriques complexes 3. **Caractérisation des bidérivations** : On introduit l'opération de produit vectoriel $\tilde{x} \wedge \tilde{y}$, reliant les bidérivations au produit extérieur de la partie vectorielle 4. **Discussion par cas** : On traite séparément le cas $\lambda_3 = 0$, prouvant les formes différentes des bidérivations symétriques et antisymétriques ## Configuration expérimentale **Remarque** : Cet article est un pur travail de mathématiques théoriques, ne comportant pas d'expériences, de jeux de données ou de calculs numériques. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses. La méthode de recherche est : 1. **Déduction théorique** : Basée sur les axiomes de la structure algébrique et les théorèmes connus 2. **Calcul matriciel** : Calcul explicite via la représentation matricielle 3. **Discussion par cas** : Analyse complète des différentes situations de paramètres ## Résultats expérimentaux ### Résultats des théorèmes principaux **Théorème 2.2 (Dérivations locales)** : Lorsque $\lambda_3 \neq 0$, toute dérivation locale sur $K_{\lambda_1,\lambda_2,\lambda_3}$ est une dérivation. **Théorème 2.3 (2-dérivations locales)** : Lorsque $\lambda_3 \neq 0$, toute 2-dérivation locale sur $K_{\lambda_1,\lambda_2,\lambda_3}$ est une dérivation. **Théorème 3.1 (Caractérisation des bidérivations)** : $\delta$ est une bidérivation si et seulement s'il existe $\mu \in \mathbb{R}$ tel que : $$\delta(x,y) = \mu \tilde{x} \wedge \tilde{y}$$ **Théorème 3.2 (Bidérivations antisymétriques pour $\lambda_3=0$)** : Lorsque $\lambda_3 = 0$, les bidérivations antisymétriques ont une forme plus complexe, déterminée par deux paramètres $a,b$. **Théorème 4.1 (Applications commutantes)** : La forme matricielle des applications linéaires commutantes est : $$\begin{pmatrix} \lambda & a & b & c \\ 0 & \mu & 0 & 0 \\ 0 & 0 & \mu & 0 \\ 0 & 0 & 0 & \mu \end{pmatrix}$$ **Théorème 4.3 (Centre de l'algèbre)** : $$\Gamma(K_{\lambda_1,\lambda_2,\lambda_3}) = \{\lambda \text{id} : \lambda \in \mathbb{R}\}$$ Cela prouve que le centre est un corps (isomorphe à $\mathbb{R}$). ### Analyse de cas **Vérification des cas particuliers** : 1. Lorsque $\lambda_1=\lambda_2=\lambda_3=1$, on obtient les quaternions de Hamilton 2. Lorsque $\lambda_1=\lambda_2=1, \lambda_3=-1$, on obtient les quaternions scindés 3. Lorsque $\lambda_1=\lambda_2=1, \lambda_3=0$, on obtient les semi-quaternions Tous ces cas particuliers satisfont les théorèmes principaux de cet article. ### Découvertes théoriques 1. **Caractère crucial de $\lambda_3 \neq 0$** : Cette condition garantit que la linéarité de la dérivation locale peut se transmettre à l'uniformité des paramètres 2. **Simplicité des bidérivations** : Toutes les bidérivations sont déterminées par un seul paramètre, avec une forme extrêmement simple 3. **Trivialité du centre** : Le centre ne se compose que d'applications scalaires, indiquant que la structure algébrique est relativement simple 4. **Résultats de dimension** : $\dim(\text{Der}(K_{\lambda_1,\lambda_2,\lambda_3})) = 3$ (lorsque $\lambda_1\lambda_2 \neq 0$) ## Travaux connexes ### Recherche sur les dérivations locales 1. **Série de travaux Ayupov-Kudaybergenov** : - [1,2] Prouvent qu'il n'existe pas de dérivations locales et 2-locales non triviales sur les algèbres de Lie semi-simples de dimension finie - [4] Donnent des exemples de 2-dérivations locales non-dérivations sur les algèbres de Lie nilpotentes - [3] Étendent la recherche aux algèbres de Leibniz 2. **Contribution de cet article** : Première application de la théorie des dérivations locales à cette classe d'algèbres non associatives qu'est l'algèbre des quaternions généralisés à 3 paramètres ### Recherche sur les bidérivations 1. **Origines** : Les bidérivations et les applications commutantes sont apparues pour la première fois en théorie des anneaux associatifs [8,9] 2. **Recherche sur les algèbres de Lie** : - [23] Utilise la Z-graduation pour étudier l'algèbre de Lie de Schrödinger-Virasoro - [10] Donne une approche générale pour une large classe d'algèbres de Lie - [22] Utilise les systèmes de racines pour étudier les algèbres de Lie simples 3. **Méthode de cet article** : Utilise le théorème de classification [11] et les méthodes de calcul, évitant les techniques complexes des algèbres de Lie ### Recherche sur le centre 1. **Travail de Melville** [20] : Étudie le centre des algèbres de Lie nilpotentes 2. **Travail de Benkart-Neher** [7] : Étudie le centre des algèbres de Lie affines étendues, jouant un rôle clé dans les problèmes de classification sur les corps de caractéristique zéro 3. **Résultat de cet article** : Prouve que le centre des quaternions généralisés à 3 paramètres est un corps, ce qui est similaire au cas des algèbres de Lie simples ### Généralisation des quaternions **Travail de Şentürk-Ünal** [21] : Introduit les quaternions généralisés à 3 paramètres en 2022 ; cet article est la première étude approfondie de cette structure algébrique. ## Conclusion et discussion ### Conclusions principales 1. **Automaticité des dérivations locales** : Lorsque $\lambda_3 \neq 0$, les dérivations locales et les 2-dérivations locales deviennent automatiquement des dérivations, ce qui est un résultat de régularité forte 2. **Caractérisation complète des bidérivations** : Toutes les bidérivations peuvent être exprimées sous la forme de produit vectoriel $\mu \tilde{x} \wedge \tilde{y}$, où $\mu \in \mathbb{R}$ 3. **Simplicité du centre** : Le centre ne se compose que d'applications scalaires, isomorphe au corps de base $\mathbb{R}$ 4. **Uniformité de la structure** : Ces résultats valent pour tous les cas particuliers (quaternions de Hamilton, quaternions scindés, etc.) ### Limitations 1. **Restrictions de paramètres** : Les résultats principaux exigent $\lambda_3 \neq 0$ ; l'auteur indique explicitement que lorsque $\lambda_3 = 0$, il peut exister des dérivations locales qui ne sont pas des dérivations 2. **Restriction du corps de base** : Tous les résultats sont sur le corps des nombres réels $\mathbb{R}$, sans discussion d'autres corps 3. **Limitations de la méthode de calcul** : La méthode utilisée est le calcul direct, manquant d'explications structurelles plus profondes 4. **Caractérisation des bidérivations symétriques** : Pour le cas $\lambda_3 = 0$, l'article ne donne pas une caractérisation complète des bidérivations symétriques ### Directions futures Les directions de recherche implicitement proposées par l'article : 1. **Étude complète du cas $\lambda_3 = 0$** : Déterminer s'il existe des dérivations locales qui ne sont pas des dérivations 2. **Généralisation à d'autres corps** : Étudier les cas sur le corps des nombres complexes ou les corps finis 3. **Généralisation en dimension supérieure** : Étudier les quaternions généralisés avec plus de paramètres 4. **Recherche d'applications** : Explorer les applications de ces résultats en géométrie et physique ## Évaluation approfondie ### Avantages 1. **Complétude théorique** : - Étude systématique de la structure des dérivations des quaternions généralisés à 3 paramètres - Caractérisation complète des bidérivations, applications commutantes et centre - Preuves rigoureuses, logique claire 2. **Innovation méthodologique** : - Utilisation astucieuse de combinaisons linéaires d'éléments de base pour transmettre l'égalité des paramètres - Introduction de l'opération de produit vectoriel simplifiant la représentation des bidérivations - La méthode matricielle rend les calculs intuitifs et réalisables 3. **Universalité des résultats** : - Traitement unifié de plusieurs algèbres de quaternions classiques - Formes de résultats simples et élégantes - Pose les fondations pour la recherche ultérieure sur cette classe d'algèbres 4. **Qualité de la rédaction** : - Structure claire, logique rigoureuse - Énoncés précis des définitions et théorèmes - Étapes de preuve détaillées, faciles à vérifier ### Insuffisances 1. **Profondeur théorique** : - Utilise principalement des méthodes de calcul, manquant de compréhension structurelle profonde - N'explore pas la raison essentielle pour laquelle $\lambda_3 \neq 0$ est une condition clé - Discussion insuffisante des connexions avec la théorie des algèbres de Lie 2. **Problèmes de complétude** : - Le cas $\lambda_3 = 0$ n'est pas complètement résolu - La caractérisation des bidérivations symétriques dans les cas particuliers est incomplète - Absence de contre-exemples illustrant les cas limites 3. **Discussion d'applications** : - N'aborde pas les applications pratiques de ces résultats - Les connexions avec la physique et la géométrie ne sont pas traitées - Absence d'analyse de complexité computationnelle 4. **Limitations techniques** : - Limité aux cas de dimension finie - N'aborde pas les propriétés topologiques ou analytiques - Manque de comparaison avec d'autres structures algébriques ### Évaluation de l'impact **Contribution théorique** : - Établit la théorie fondamentale pour l'algèbre des quaternions généralisés à 3 paramètres récemment introduite - Comble le vide dans la théorie des dérivations pour cette algèbre - Les méthodes peuvent être généralisées à d'autres algèbres non associatives **Valeur pratique** : - Fournit un support théorique pour les applications des quaternions en infographie et mécanique quantique - La caractérisation des dérivations et bidérivations aide à comprendre les symétries algébriques **Reproductibilité** : - Les preuves reposent entièrement sur des déductions théoriques, complètement reproductibles - Les étapes de calcul sont claires, faciles à vérifier - Aucun outil de calcul supplémentaire nécessaire ### Scénarios d'application 1. **Recherche en structures algébriques** : Chercheurs étudiant les algèbres non associatives et les algèbres de quaternions 2. **Théorie de Lie** : Chercheurs étudiant les dérivations et bidérivations des algèbres de Lie 3. **Physique mathématique** : Applications nécessitant l'utilisation de quaternions généralisés 4. **Applications pédagogiques** : Études de cas pour les cours d'algèbres non associatives ## Références (Références clés) 1. **[11] Chaker & Boua (2023)** : Donne le théorème de classification des dérivations des quaternions généralisés à 3 paramètres, fondation de cet article 2. **[21] Şentürk & Ünal (2022)** : Travail fondateur introduisant les quaternions généralisés à 3 paramètres 3. **[1,2,4] Série Ayupov & Kudaybergenov** : Travaux fondateurs de la théorie des dérivations locales et 2-locales 4. **[10] Brešar & Zhao (2018)** : Approche générale pour l'étude des bidérivations des algèbres de Lie 5. **[7] Benkart & Neher (2006)** : Applications du centre dans les algèbres de Lie affines étendues --- ## Évaluation globale Cet article est un travail mathématique pur et solide qui étudie systématiquement la structure des dérivations de l'algèbre des quaternions généralisés à 3 paramètres récemment introduite. Les principaux avantages de l'article résident dans la complétude théorique et la rigueur des preuves, établissant avec succès les propriétés fondamentales de cette algèbre. Les principales insuffisances résident dans la profondeur théorique limitée, reposant principalement sur des méthodes de calcul plutôt que sur une compréhension structurelle profonde. Pour les chercheurs dans ce domaine, cet article fournit des résultats fondamentaux importants, posant les bases pour la recherche ultérieure. L'article convient à la publication dans des revues spécialisées en algèbre, contribuant positivement au développement de la théorie des algèbres de quaternions.