Units in integral loop rings (Q1921928)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Units in integral loop rings |
scientific article |
Statements
Units in integral loop rings (English)
0 references
6 November 1997
0 references
Let \(L\) be a loop and let \(L'\) and \(A(L)\) denote the subloops generated by all commutators and all associators respectively. Furthermore, denote by \(c(L)\) the set of elements of \(L\) that commute with every other element and by \(Z(L)\) the center of the loop; i.e., the set of elements in \(C(L)\) that also associate with any two other elements of \(L\), in any order. This paper considers the family \({\mathcal L}\) of all loops \(L\) such that \(L'\) and \(A(L)\) are contained in \(\{1,s\}\), a subloop of order 2, and \(Z(L)=C(L)\). This family includes RA loops and code loops and the authors show that it also contains many others that are not even Moufang loops. The main result is that if \(L\) is a diassociative loop in \({\mathcal L}\) then the units of the integral loop ring \(ZL\) are all trivial if and only if \(L\) is either commutative of exponent dividing 4 or 6 or a Hamiltonian 2-loop.
0 references
trivial units
0 references
commutators
0 references
associators
0 references
center
0 references
RA loops
0 references
code loops
0 references
Moufang loops
0 references
diassociative loops
0 references
units of integral loop rings
0 references
Hamiltonian \(2\)-loops
0 references