Menichetti's nonassociative $G$-crossed product algebras and Menichetti codes
Susanne Pumpluen
TL;DR
The paper introduces Menichetti algebras as nonassociative $G$-crossed product-like objects with a Galois extension $K/F$ in their nucleus, and extends the construction to generalized Menichetti algebras using central simple algebras. It develops division-algebra criteria via determinant formulas for left-multiplication maps, and applies these algebras as ambient spaces for linear codes by examining principal left ideals in their opposite algebras. Specific depth is given to cubic and quartic degree cases, including cyclic and biquadratic extensions, to produce concrete division algebras and illustrate rich nonassociative ambient structures for code design. Finally, the paper defines and analyzes linear Menichetti codes, including $(G,d)$-constacyclic codes, as left ideals in ambient nonassociative algebras, laying groundwork for broader code constructions over rings with noncyclic automorphism groups and pointing to future work on code distance and classification.
Abstract
We demonstrate the use of nonassociative algebras in code design and consider codes with nonassociative ambient algebras other than the well-known skew polycyclic codes. We define and investigate Menichetti algebras and identify them as important elements in the semiassociative Brauer monoid. Menichetti algebras can be viewed as generalisations of $G$-crossed product algebras; they are $n^2$-dimensional algebras with an $n$-dimensional Galois field extension $K/F$ with Galois group $G$ in their nucleus. We then extend the class of linear error-correcting codes obtained from left principal ideals in their ambient algebra using the opposite algebras of Menichetti algebras as ambient algebra. With the right choice of algebra they display symmetric and cyclic properties which promise efficient decoding algorithms. Well-known examples of such Menichetti codes are those skew constacyclic codes which have a nonassociative $G$-crossed product algebra (a nonassociative cyclic algebra) as their ambient algebra.
