SRAR loops with more than two commutators. (Q2425421): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q184495 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Huberta Lausch / rank | |||
Normal rank |
Revision as of 11:41, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | SRAR loops with more than two commutators. |
scientific article |
Statements
SRAR loops with more than two commutators. (English)
0 references
5 May 2008
0 references
Loops whose loop rings satisfy the right Bol identity \([(xy)z]y=x[(yz)y]\) are called SRAR loops. Until now only examples of such loops with a unique commutator/associator were known. In this paper the authors present constructions of SRAR loops having more than two commutators. Their main result which leads to the discovery of those new SRAR loops is the following: Let \(L\) be a (non-Moufang) Bol loop whose left nucleus \(N\) is an Abelian group and has index 2. Choose a fixed element \(u\notin N\), put \(L=N\cup Nu\) and define bijections \(\theta\colon N\to N\) and \(\varphi\colon N\to N\) by \(un=(n\theta)u\) and \(n\varphi=u(nu)\). If \(\theta=I\) or \(\varphi =R(u^2)\), then \(L\) is SRAR. This is used to construct examples of new SRAR loops where the left nucleus \(N\) is an elementary Abelian 2-group of order at least 8, \(\theta=I\), and \(\varphi\) is any nonidentity bijection on \(N\) such that \(\varphi^2=I\) and \(\varphi\) is not a right multiplication map. Another kind of examples has an Abelian group of exponent 4 (but not of exponent 2) for its left nucleus \(N\), \(u^2\) is any element of order 2 in \(N\), \(\varphi=R(u^2)\) and \(n\theta=n^{-1}\) for all \(n\in N\).
0 references
right Bol loops
0 references
left nuclei
0 references
commutators
0 references
strongly right alternative rings
0 references
loop rings
0 references
associators
0 references