Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.01988 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915828635533312 |
|---|---|
| author | Gorshkov, Ilya |
| author_facet | Gorshkov, Ilya |
| contents | A pair $(G,T)$ is called a faithful odd transposition group if $T$ is a normal set of involutions generating the group $G$ and the product of any two distinct elements of $T$ has odd order. We introduce a special subclass of such groups, a \emph{generalized Moufang group of $p$-type} (or $GM(p)$-type), in which the product of any two distinct involutions from $T$ has a fixed prime order $p$. For any such group $(G,T)$ and a scalar parameter $η$ in a field $\mathbb F$, we construct a non-associative, non-commutative algebra $A = A_{\mathbb F}(G,T,η)$.
We prove that every element of $T$ considered as an element of the algebra $A$, is a primitive semisimple idempotent, defining a $\mathbb Z_{2}$-grading of $A$. The Miyamoto group of $A$ with respect to $T$ is isomorphic to $G/Z(G)$. The algebra $A$ contains no nontrivial right ideals and, for a specific choice of the parameter $η$, admits a symmetric left Frobenius form.
When $G$ is a free Burnside group of odd prime period $p$ extended by an involutory automorphism, the finiteness of $G$ is equivalent to the finite-dimensionality of $A_{\mathbb F}(G,T,η)$, providing a reformulation of the Burnside problem. For $p=5$ and $η=-1/3$, the algebra generated by two idempotents from $T$ is left-axial and satisfies the Monster-type fusion law $\mathcal{M}(4/3, -4/3)$. For a prime $p>5$, the two-generated algebra is also axial, but obeys a more general fusion law.
Although the algebra $A_{\mathbb F}(G,T,η)$ is initially defined using a group $GM(p)$-type, we show that it admits an intrinsic, group-free characterization by axiomatizing a class of so-called $GM(p,η)$-type algebras. We prove that every algebra in this class is isomorphic to one arising from the construction above, establishing the equivalence of the two definitions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_01988 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Groups of generalized Moufang type and $\mathbb Z_2$-graded algebras Gorshkov, Ilya Rings and Algebras A pair $(G,T)$ is called a faithful odd transposition group if $T$ is a normal set of involutions generating the group $G$ and the product of any two distinct elements of $T$ has odd order. We introduce a special subclass of such groups, a \emph{generalized Moufang group of $p$-type} (or $GM(p)$-type), in which the product of any two distinct involutions from $T$ has a fixed prime order $p$. For any such group $(G,T)$ and a scalar parameter $η$ in a field $\mathbb F$, we construct a non-associative, non-commutative algebra $A = A_{\mathbb F}(G,T,η)$. We prove that every element of $T$ considered as an element of the algebra $A$, is a primitive semisimple idempotent, defining a $\mathbb Z_{2}$-grading of $A$. The Miyamoto group of $A$ with respect to $T$ is isomorphic to $G/Z(G)$. The algebra $A$ contains no nontrivial right ideals and, for a specific choice of the parameter $η$, admits a symmetric left Frobenius form. When $G$ is a free Burnside group of odd prime period $p$ extended by an involutory automorphism, the finiteness of $G$ is equivalent to the finite-dimensionality of $A_{\mathbb F}(G,T,η)$, providing a reformulation of the Burnside problem. For $p=5$ and $η=-1/3$, the algebra generated by two idempotents from $T$ is left-axial and satisfies the Monster-type fusion law $\mathcal{M}(4/3, -4/3)$. For a prime $p>5$, the two-generated algebra is also axial, but obeys a more general fusion law. Although the algebra $A_{\mathbb F}(G,T,η)$ is initially defined using a group $GM(p)$-type, we show that it admits an intrinsic, group-free characterization by axiomatizing a class of so-called $GM(p,η)$-type algebras. We prove that every algebra in this class is isomorphic to one arising from the construction above, establishing the equivalence of the two definitions. |
| title | Groups of generalized Moufang type and $\mathbb Z_2$-graded algebras |
| topic | Rings and Algebras |
| url | https://arxiv.org/abs/2603.01988 |