×

Polynomial identities of RA2 loop algebras. (English) Zbl 0923.17004

Let \(L\) be a loop, and let \(R\) be a ring. Then the loop ring \(RL\) is the free \(R\)-module with basis \(L\) and multiplication induced by the binary operation of \(L\). If \(R\) is a field then \(RL\) is a loop algebra. In the sequel, let \(R=K\) be a field of characteristic \(\neq 2,3\).
A loop whose loop algebra satisfies the alternative identities is called an RA loop, and an RA2 loop is a loop whose loop algebra over a field of characteristic 2 is alternative but not associative. There are three RA2 loops \(L_3\), \(L_4\), and \(L_5\) of order 16 which are not RA loops. Their loop algebras \(KL_i\), \(i=1,2, 3\), over a field \(K\) of characteristic \(\neq 2\) may be written in the form \(KL_i \simeq 8K\oplus{\mathcal A}_i\), where \({\mathcal A}_i\) is a simple algebra of dimension eight over \(K\). The algebras \({\mathcal A}_i\) are described by their multiplication tables.
The authors study the polynomial identities and the polynomial central identities of the loop algebras of the three loops \(L_3\), \(L_4\), and \(L_5\). They apply a modified version of the Cayley-Dickson process to the algebras \({\mathcal A}_3\), \({\mathcal A}_4\), and \({\mathcal A}_5\) to obtain the polynomial identities of small degree of these algebras. It turns out that the algebras \({\mathcal A}_i\), \(i=3, 4, 5\), do not satisfy any polynomial identity or central identity of degree \(\leq 3\). The polynomial identities of degree 4 of \({\mathcal A}_i=3, 4, 5\), are consequences of ten identities, and the degree 4 polynomial central identities of \({\mathcal A}_i\), \(i=3,4,5\), are consequences of two more identities. Moreover, \(f\) is a polynomial identity (central identity) of \({\mathcal A}_i\), \(i= 3, 4, 5\) if and only if \(f\) is a polynomial identity (central identity) of \(KL_i\). Thus the authors have found all polynomial identities of degree \(\leq 4\) of \(KL_i\).

MSC:

17A30 Nonassociative algebras satisfying other identities
20N05 Loops, quasigroups
16R50 Other kinds of identities (generalized polynomial, rational, involution)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] de Barros, L. G.X.; Juriaans, S. O., Some loops whose loop algebras are flexible, Nova J. Math. Game Theory Algebra, 5, 189-205 (1996) · Zbl 0870.20050
[2] de Barros, L. G.X.; Watson, B., On modular loop algebras of RA2 loops, Algebras Groups Geom., 14, 163-181 (1997) · Zbl 0878.17032
[3] Bruck, R. H., Some results in the theory of linear nonassociative algebras, Trans. Amer. Math. Soc., 56, 141-199 (1944) · Zbl 0061.05202
[4] Chein, O., Moufang loops of small order, I, Trans. Amer. Math. Soc., 188, 31-51 (1974) · Zbl 0286.20088
[5] Chein, O.; Goodaire, E. G., Loops whose loop rings are alternative, Comm. Algebra, 14, 293-310 (1986) · Zbl 0582.17015
[6] Chein, O.; Goodaire, E. G., Loops whose loop rings in characteristic 2 are alternative, Comm. Algebra, 18, 659-688 (1990) · Zbl 0718.20034
[7] Goodaire, E. G.; Jespers, E.; Milies, C. P., Alternative Loop Rings. Alternative Loop Rings, Math. Studies, 184 (1996), North-Holland: North-Holland New York · Zbl 0878.17029
[8] Hentzel, I. R.; Peresi, L. A., Identities of Cayley-Dickson algebras, J. Algebra, 188, 292-309 (1997) · Zbl 0890.17001
[9] Zhevlakov, K. A.; Slin’ko, A. M.; Shestakov, I. P.; Shirshov, A. I., Rings That Are Nearly Associative (1982), Academic Press: Academic Press New York · Zbl 0487.17001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.