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

Lokale, 2-lokale Derivationen und Biderivationen auf verallgemeinerten Quaternionen mit 3 Parametern

Grundinformationen

  • Papier-ID: 2511.18026
  • Titel: Local, 2-local derivations and biderivations on 3-parameter generalized quaternion
  • Autor: Hassan Oubba (Université Moulay Ismaïl, Marokko)
  • Klassifizierung: math.RA (Ring- und Algebratheorie)
  • Einreichungsdatum: 22. November 2025
  • Papierlink: https://arxiv.org/abs/2511.18026

Zusammenfassung

In diesem Artikel wird die kürzlich eingeführte dreiparametrige verallgemeinerte Quaternion-Algebra (3PGQ), bezeichnet als Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3}, untersucht. Die Forschung ist in drei Teile unterteilt: Zunächst wird bewiesen, dass jede lokale Derivation und 2-lokale Derivation auf dieser Algebra automatisch eine Derivation wird; zweitens wird die Form aller Biderivationen vollständig charakterisiert; drittens werden die Kommutator-Abbildungen und das Zentrum beschrieben.

Forschungshintergrund und Motivation

Forschungsfragen

Die Kernfragen, die dieser Artikel behandelt, sind:

  1. Sind alle lokalen Derivationen und 2-lokalen Derivationen auf der dreiparametrigen verallgemeinerten Quaternion-Algebra tatsächlich echte Derivationen?
  2. Wie lässt sich die Form aller Biderivationen auf dieser Algebra vollständig charakterisieren?
  3. Welche Struktur haben die kommutativen linearen Abbildungen und das Zentrum dieser Algebra?

Bedeutung des Problems

Quaternion-Algebren nehmen einen zentralen Platz in der modernen Mathematik ein und verbinden sich mit mehreren Bereichen wie nichtkommutativer Ringtheorie, Lie-Theorie, Geometrie und Zahlentheorie. Die spezifische Bedeutung zeigt sich in:

  1. Theoretischer Wert: Lokale Derivationen und Biderivationen sind mächtige Werkzeuge zur Untersuchung algebraischer Strukturen und können die inneren Eigenschaften von Algebren offenbaren
  2. Verallgemeinerungsbedeutung: Die dreiparametrige verallgemeinerte Quaternion vereinheitlicht mehrere Spezialfälle wie Hamilton-Quaternionen, Split-Quaternionen und zweiparametrige verallgemeinerte Quaternionen
  3. Strukturverständnis: Das Zentrum spielt eine Schlüsselrolle beim Verständnis der Struktur einfacher Algebren, besonders in der Untersuchung von Brauer-Gruppen und Divisionsringen

Beschränkungen bestehender Methoden

  1. Für Lie-Algebren haben Ayupov und Kudaybergenov und andere bewiesen, dass es auf halbeinfachen endlichdimensionalen Lie-Algebren keine nichttrivialen lokalen und 2-lokalen Derivationen gibt
  2. Für nichtassoziative Algebren, besonders die neu eingeführte dreiparametrige verallgemeinerte Quaternion-Algebra, wurden diese Eigenschaften jedoch noch nicht untersucht
  3. Die Forschung zu Biderivationen und Kommutator-Abbildungen konzentriert sich hauptsächlich auf Lie-Algebren; die Forschung zu Quaternion-ähnlichen Algebren ist begrenzt

Forschungsmotivation

Der Autor zielt darauf ab, die Eigenschaften der dreiparametrigen verallgemeinerten Quaternion-Algebra zu bereichern und durch die Etablierung neuer Struktursätze den theoretischen Rahmen dieses Algebrasystems zu vervollständigen.

Kernbeiträge

Die Hauptbeiträge dieses Artikels sind:

  1. Lokales Derivations-Theorem (Theorem 2.2): Es wird bewiesen, dass wenn λ3≠0\lambda_3 \neq 0, jede lokale Derivation auf Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} eine Derivation ist
  2. 2-lokales Derivations-Theorem (Theorem 2.3): Es wird bewiesen, dass wenn λ3≠0\lambda_3 \neq 0, jede 2-lokale Derivation auf Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} eine Derivation ist
  3. Vollständige Charakterisierung von Biderivationen (Theorem 3.1): Es wird bewiesen, dass δ\delta eine Biderivation auf Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} ist genau dann, wenn es eine reelle Zahl μ\mu gibt, so dass\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. Charakterisierung von Kommutator-Abbildungen (Theorem 4.1): Es wird bewiesen, dass die Matrixform kommutativer linearer Abbildungen (λabc0μ0000μ0000μ)\begin{pmatrix} \lambda & a & b & c \\ 0 & \mu & 0 & 0 \\ 0 & 0 & \mu & 0 \\ 0 & 0 & 0 & \mu \end{pmatrix} ist
  5. Zentrum-Theorem (Theorem 4.3): Es wird bewiesen, dass Γ(Kλ1,λ2,λ3)={λid:λ∈R}\Gamma(K_{\lambda_1,\lambda_2,\lambda_3}) = \{\lambda \text{id} : \lambda \in \mathbb{R}\}, d.h. das Zentrum ist ein Körper

Methodische Details

Aufgabendefinition

Definition der dreiparametrigen verallgemeinerten Quaternion-Algebra: 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}\}

wobei die Basiselemente erfüllen:

  • 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

Kernkonzepte:

  1. Derivation: Eine lineare Abbildung D:A→AD: A \to A, die D(ab)=D(a)b+aD(b)D(ab) = D(a)b + aD(b) erfüllt
  2. Lokale Derivation: Eine lineare Abbildung Δ:A→A\Delta: A \to A, so dass für jedes x∈Ax \in A eine Derivation DxD_x existiert mit Δ(x)=Dx(x)\Delta(x) = D_x(x)
  3. 2-lokale Derivation: Eine Abbildung Δ:A→A\Delta: A \to A (nicht notwendigerweise linear), so dass für beliebige x,y∈Ax,y \in A eine Derivation Dx,yD_{x,y} existiert mit Δ(x)=Dx,y(x)\Delta(x) = D_{x,y}(x) und Δ(y)=Dx,y(y)\Delta(y) = D_{x,y}(y)
  4. Biderivation: Eine bilineare Abbildung ϕ:A×A→A\phi: A \times A \to A, die für jede Variable eine Derivation ist

Theoretischer Rahmen

Grundlegendes Theorem (Chaker-Boua Theorem 2.1): Die Matrixform einer beliebigen Derivation dd auf Kλ1,λ2,λ3K_{\lambda_1,\lambda_2,\lambda_3} ist:

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}$$ wobei die Parameter spezifische Bedingungen erfüllen. ### Beweisstrategien **Beweisidee des lokalen Derivations-Theorems** (Theorem 2.2): 1. **Matrixdarstellung**: Setze die lokale Derivation $\Delta(x) = BX$, wobei $B = (b_{ij})_{0 \leq i,j \leq 3}$ 2. **Basiselemente-Test**: Wende die Eigenschaft der lokalen Derivation auf jedes Basiselement an. Nach Theorem 2.1 existieren Parameter $a_{e_i}, b_{e_i}, c_{e_i}$ so dass: - $\Delta(e_0) = 0$ impliziert $b_{00} = b_{10} = b_{20} = b_{30} = 0$ - $\Delta(e_1)$ impliziert $b_{01} = 0, b_{11} = 0, b_{21} = a_{e_1}, b_{31} = b_{e_1}$ - $\Delta(e_2)$ impliziert $b_{02} = 0, b_{12} = -\frac{\lambda_3}{\lambda_2}a_{e_2}, b_{22} = 0, b_{32} = c_{e_2}$ - $\Delta(e_3)$ impliziert $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. **Nutzung der Linearität**: Der Schlüsselschritt ist die Nutzung der Linearität von $\Delta$: - Aus $\Delta(e_1 + e_2) = \Delta(e_1) + \Delta(e_2)$ folgt $a_{e_1} = a_{e_2}$ - Aus $\Delta(e_1 + e_3) = \Delta(e_1) + \Delta(e_3)$ folgt $b_{e_1} = b_{e_3}$ - Aus $\Delta(e_2 + e_3) = \Delta(e_2) + \Delta(e_3)$ folgt $c_{e_2} = c_{e_3}$ 4. **Schlussfolgerung**: Alle Parameter sind einheitlich, die Matrixform von $\Delta$ erfüllt Theorem 2.1, daher ist $\Delta$ eine Derivation **Beweisidee des 2-lokalen Derivations-Theorems** (Theorem 2.3): Kernbeobachtung: Für beliebige $x,y \in K_{\lambda_1,\lambda_2,\lambda_3}$ und Basiselemente $e_i$ existieren Derivationen $D_{x,e_i}$ und $D_{y,e_i}$ so dass: - $\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)$ Da $\Delta(e_i)$ für alle $x$ gleich ist, bedeutet dies, dass alle Derivationen $D_{x,e_i}$ denselben Wert bei $e_i$ haben, daher dieselben Parameter haben, d.h. $D_{x,e_i}$ hängt nicht von $x$ ab, daher ist $\Delta$ eine Derivation. ### Technische Innovationen 1. **Nutzung von Parameterbeschränkungen**: Schlüsselmäßig wird die Bedingung $\lambda_3 \neq 0$ genutzt, so dass die Linearität die Gleichheit von Parametern übertragen kann 2. **Rechenmethode**: Durch direkte Berechnung der Wirkung von Basiselementen werden komplexe algebraische Strukturtheorien vermieden 3. **Charakterisierung von Biderivationen**: Einführung der Keilprodukt-Operation $\tilde{x} \wedge \tilde{y}$, die Biderivationen mit dem Außenprodukt des Vektorteils verbindet 4. **Fallunterscheidung**: Der Fall $\lambda_3 = 0$ wird separat behandelt, wobei unterschiedliche Formen symmetrischer und antisymmetrischer Biderivationen bewiesen werden ## Experimentelle Einrichtung **Anmerkung**: Dieser Artikel ist ein rein theoretisches mathematisches Papier und beinhaltet keine Experimente, Datensätze oder numerische Berechnungen. Alle Ergebnisse werden durch strenge mathematische Beweise erhalten. Die Forschungsmethode ist: 1. **Theoretische Herleitung**: Basierend auf Axiomen algebraischer Strukturen und bekannten Theoremen 2. **Matrixberechnung**: Durch Matrixdarstellung durchgeführte explizite Berechnungen 3. **Fallunterscheidung**: Vollständige Fallanalyse für verschiedene Parametersituationen ## Experimentelle Ergebnisse ### Haupttheoreme **Theorem 2.2 (Lokale Derivationen)**: Wenn $\lambda_3 \neq 0$, ist jede lokale Derivation auf $K_{\lambda_1,\lambda_2,\lambda_3}$ eine Derivation. **Theorem 2.3 (2-lokale Derivationen)**: Wenn $\lambda_3 \neq 0$, ist jede 2-lokale Derivation auf $K_{\lambda_1,\lambda_2,\lambda_3}$ eine Derivation. **Theorem 3.1 (Charakterisierung von Biderivationen)**: $\delta$ ist eine Biderivation genau dann, wenn es $\mu \in \mathbb{R}$ gibt so dass: $$\delta(x,y) = \mu \tilde{x} \wedge \tilde{y}$$ **Theorem 3.2 (Antisymmetrische Biderivationen für $\lambda_3=0$)**: Wenn $\lambda_3 = 0$, haben antisymmetrische Biderivationen eine komplexere Form, bestimmt durch zwei Parameter $a,b$. **Theorem 4.1 (Kommutator-Abbildungen)**: Die Matrixform kommutativer linearer Abbildungen ist: $$\begin{pmatrix} \lambda & a & b & c \\ 0 & \mu & 0 & 0 \\ 0 & 0 & \mu & 0 \\ 0 & 0 & 0 & \mu \end{pmatrix}$$ **Theorem 4.3 (Zentrum)**: $$\Gamma(K_{\lambda_1,\lambda_2,\lambda_3}) = \{\lambda \text{id} : \lambda \in \mathbb{R}\}$$ Dies beweist, dass das Zentrum ein Körper ist (isomorph zu $\mathbb{R}$). ### Fallanalysen **Verifikation von Spezialfällen**: 1. Wenn $\lambda_1=\lambda_2=\lambda_3=1$, erhält man Hamilton-Quaternionen 2. Wenn $\lambda_1=\lambda_2=1, \lambda_3=-1$, erhält man Split-Quaternionen 3. Wenn $\lambda_1=\lambda_2=1, \lambda_3=0$, erhält man Semi-Quaternionen Diese Spezialfälle erfüllen alle Haupttheoreme dieses Artikels. ### Theoretische Erkenntnisse 1. **Kritikalität von $\lambda_3 \neq 0$**: Diese Bedingung stellt sicher, dass die Linearität der lokalen Derivation auf die Einheitlichkeit der Parameter übertragen werden kann 2. **Einfachheit von Biderivationen**: Alle Biderivationen werden durch einen einzelnen Parameter bestimmt, die Form ist äußerst prägnant 3. **Trivialität des Zentrums**: Das Zentrum besteht nur aus skalaren Abbildungen, was zeigt, dass diese Algebrastruktur relativ einfach ist 4. **Dimensionsergebnis**: $\dim(\text{Der}(K_{\lambda_1,\lambda_2,\lambda_3})) = 3$ (wenn $\lambda_1\lambda_2 \neq 0$) ## Verwandte Arbeiten ### Forschung zu lokalen Derivationen 1. **Ayupov-Kudaybergenov-Serie**: - [1,2] bewiesen, dass es auf halbeinfachen endlichdimensionalen Lie-Algebren keine nichttrivialen lokalen und 2-lokalen Derivationen gibt - [4] gab Beispiele von 2-lokalen Derivationen, die keine Derivationen sind, auf nilpotenten Lie-Algebren - [3] erweiterte die Forschung auf Leibniz-Algebren 2. **Beitrag dieses Artikels**: Erste Anwendung der Theorie lokaler Derivationen auf dreiparametrige verallgemeinerte Quaternion-Algebren, eine Klasse nichtassoziativer Algebren ### Forschung zu Biderivationen 1. **Ursprung**: Biderivationen und Kommutator-Abbildungen erschienen zuerst in der Theorie assoziativer Ringe [8,9] 2. **Forschung auf Lie-Algebren**: - [23] verwendete Z-Graduierung zur Untersuchung der Schrödinger-Virasoro-Lie-Algebra - [10] gab einen allgemeinen Ansatz für eine große Klasse von Lie-Algebren - [22] verwendete Wurzelsysteme zur Untersuchung einfacher Lie-Algebren 3. **Methode dieses Artikels**: Verwendung von Klassifizierungstheoremen [11] und Rechenmethoden, vermeidung komplexer Lie-Algebra-Techniken ### Forschung zum Zentrum 1. **Melville-Arbeit** [20]: Untersuchung des Zentrums nilpotenter Lie-Algebren 2. **Benkart-Neher-Arbeit** [7]: Untersuchung des Zentrums erweiterter affiner Lie-Algebren, spielte eine Schlüsselrolle in Klassifizierungsproblemen auf Körpern der Charakteristik Null 3. **Ergebnis dieses Artikels**: Beweis, dass das Zentrum der dreiparametrigen verallgemeinerten Quaternion ein Körper ist, ähnlich wie bei einfachen Lie-Algebren ### Verallgemeinerung von Quaternionen **Şentürk-Ünal-Arbeit** [21]: 2022 wurde die dreiparametrige verallgemeinerte Quaternion eingeführt; dieser Artikel ist die erste tiefgreifende Untersuchung dieser Algebrastruktur. ## Schlussfolgerungen und Diskussion ### Hauptschlussfolgerungen 1. **Automatizität lokaler Derivationen**: Wenn $\lambda_3 \neq 0$, werden lokale Derivationen und 2-lokale Derivationen automatisch zu Derivationen, dies ist ein starkes Regularitätsergebnis 2. **Vollständige Charakterisierung von Biderivationen**: Alle Biderivationen können in der Keilproduktform $\mu \tilde{x} \wedge \tilde{y}$ dargestellt werden, wobei $\mu \in \mathbb{R}$ 3. **Einfachheit des Zentrums**: Das Zentrum besteht nur aus skalaren Abbildungen, isomorph zum Grundkörper $\mathbb{R}$ 4. **Einheitlichkeit der Struktur**: Diese Ergebnisse gelten für alle Spezialfälle (Hamilton-Quaternionen, Split-Quaternionen usw.) ### Einschränkungen 1. **Parameterbeschränkung**: Die Hauptergebnisse erfordern $\lambda_3 \neq 0$; der Autor weist ausdrücklich darauf hin, dass es möglicherweise nicht-derivative lokale Derivationen gibt, wenn $\lambda_3 = 0$ 2. **Körperbeschränkung**: Alle Ergebnisse sind über dem reellen Körper $\mathbb{R}$; andere Körper werden nicht diskutiert 3. **Einschränkung der Rechenmethode**: Die verwendete Methode ist eine direkte Rechenmethode, es fehlt eine tiefere strukturelle Erklärung 4. **Charakterisierung symmetrischer Biderivationen**: Für den Fall $\lambda_3 = 0$ wird keine vollständige Charakterisierung symmetrischer Biderivationen gegeben ### Zukünftige Richtungen Der Artikel impliziert folgende Forschungsrichtungen: 1. **Vollständige Untersuchung des Falls $\lambda_3 = 0$**: Bestimmung, ob nicht-derivative lokale Derivationen existieren 2. **Verallgemeinerung auf andere Körper**: Untersuchung der Fälle über dem Körper der komplexen Zahlen oder endlichen Körpern 3. **Verallgemeinerung auf höhere Dimensionen**: Untersuchung verallgemeinerter Quaternionen mit mehr Parametern 4. **Anwendungsforschung**: Erforschung von Anwendungen dieser Ergebnisse in Geometrie und Physik ## Tiefenbewertung ### Stärken 1. **Theoretische Vollständigkeit**: - Systematische Untersuchung der Derivationsstruktur dreiparametriger verallgemeinerter Quaternionen - Vollständige Charakterisierung von Biderivationen, Kommutator-Abbildungen und Zentrum - Strenge Beweise, klare Logik 2. **Methodische Innovation**: - Geschickte Nutzung linearer Kombinationen von Basiselementen zur Übertragung von Parametergleichheit - Einführung der Keilprodukt-Operation zur Vereinfachung der Biderivations-Darstellung - Matrixmethode macht Berechnungen intuitiv und durchführbar 3. **Universalität der Ergebnisse**: - Einheitliche Behandlung mehrerer klassischer Quaternion-Algebren - Prägnante und elegante Ergebnisformen - Legt Grundlagen für weitere Forschung dieser Algebraklasse 4. **Schreibqualität**: - Klare Struktur, strenge Logik - Genaue Definitionen und Theoremformulierungen - Detaillierte Beweisschritte, leicht zu überprüfen ### Schwächen 1. **Theoretische Tiefe**: - Hauptsächlich Verwendung von Rechenmethoden, es fehlt tieferes strukturelles Verständnis - Keine Erforschung der wesentlichen Gründe, warum $\lambda_3 \neq 0$ eine Schlüsselbedingung ist - Unzureichende Diskussion der Verbindung zur Lie-Algebra-Theorie 2. **Vollständigkeitsprobleme**: - Der Fall $\lambda_3 = 0$ ist nicht vollständig gelöst - Die Charakterisierung symmetrischer Biderivationen in Spezialfällen ist unvollständig - Fehlende Gegenbeispiele zur Veranschaulichung von Grenzfällen 3. **Anwendungsdiskussion**: - Keine Diskussion praktischer Anwendungen dieser Ergebnisse - Verbindungen zu Physik und Geometrie werden nicht behandelt - Fehlende Analyse der Rechenkomplexität 4. **Technische Einschränkungen**: - Nur auf endlichdimensionale Fälle beschränkt - Topologische oder analytische Eigenschaften werden nicht diskutiert - Fehlende Vergleiche mit anderen algebraischen Strukturen ### Bewertung des Einflusses **Theoretischer Beitrag**: - Etablierung grundlegender Theorie für die neu eingeführte dreiparametrige verallgemeinerte Quaternion-Algebra - Schließung der Lücke in der Derivationstheorie dieser Algebra - Methoden sind auf andere nichtassoziative Algebren übertragbar **Praktischer Wert**: - Bietet theoretische Unterstützung für Anwendungen von Quaternionen in Computergraphik und Quantenmechanik - Die Charakterisierung von Derivationen und Biderivationen hilft, die Symmetrien der Algebra zu verstehen **Reproduzierbarkeit**: - Beweise basieren vollständig auf theoretischen Herleitungen, vollständig reproduzierbar - Rechenschritte sind klar, leicht zu überprüfen - Keine zusätzlichen Rechenwerkzeuge erforderlich ### Anwendungsszenarien 1. **Algebraische Strukturforschung**: Forscher, die nichtassoziative Algebren und Quaternion-Algebren untersuchen 2. **Lie-Theorie**: Forscher, die Derivationen und Biderivationen von Lie-Algebren untersuchen 3. **Mathematische Physik**: Anwendungen, die verallgemeinerte Quaternionen benötigen 4. **Lehranwendungen**: Als Fallstudie in Kursen zu nichtassoziativen Algebren ## Referenzen (Schlüsselliteratur) 1. **[11] Chaker & Boua (2023)**: Gab das Klassifizierungstheorem für Derivationen dreiparametriger verallgemeinerter Quaternionen, ist die Grundlage dieses Artikels 2. **[21] Şentürk & Ünal (2022)**: Bahnbrechende Arbeit, die dreiparametrige verallgemeinerte Quaternionen erstmals einführte 3. **[1,2,4] Ayupov & Kudaybergenov-Serie**: Grundlegende Arbeiten zur Theorie lokaler und 2-lokaler Derivationen 4. **[10] Brešar & Zhao (2018)**: Gab einen allgemeinen Ansatz für die Forschung zu Biderivationen von Lie-Algebren 5. **[7] Benkart & Neher (2006)**: Anwendung des Zentrums in erweiterten affinen Lie-Algebren --- ## Gesamtbewertung Dies ist ein solider rein mathematischer Artikel, der die Derivationsstruktur der neu eingeführten dreiparametrigen verallgemeinerten Quaternion-Algebra systematisch untersucht. Die Hauptstärken des Artikels liegen in der Vollständigkeit der Theorie und der Strenge der Beweise, wobei erfolgreich die grundlegenden Eigenschaften dieser Algebra etabliert werden. Die Hauptschwäche liegt in der begrenzten theoretischen Tiefe, da hauptsächlich Rechenmethoden statt tieferer struktureller Einsichten verwendet werden. Für Forscher in diesem Bereich bietet dieser Artikel wichtige Grundlagenergebnisse und legt den Grundstein für weitere Forschung. Der Artikel ist geeignet für die Veröffentlichung in Fachzeitschriften der Algebratheorie und hat positive Bedeutung für die Förderung der Entwicklung der Quaternion-Algebratheorie.