\(K\)-loops from classical groups over ordered fields (Q1385222)

A loop \((L,\oplus)\) is a \(K\)-loop if \(a\oplus(b\oplus(a\oplus c))=(a\oplus(b\oplus a))\oplus c\) and \(\ominus(a\oplus b)=(\ominus a)\oplus(\ominus b)\). The group \(\Sigma(L):=\{\delta_{a,b};\;a,b\in L\}\leq\Aut(L)\) generated by the maps \(\delta_{a,b}\colon L\to L\) with \(a\oplus(b\oplus x)=(a\oplus b)\oplus\delta_{a,b}(x)\) is called left inner mapping group. The author reviews the method of Kreuzer and Wefelscheid of constructing \(K\)-loops from groups. If \(G\) is a group with a subgroup \(\Omega\), then the set \(L\) of representatives of the left cosets of \(\Omega\) in \(G\) with \(1\in L\), is called a transversal of \(G/\Omega\). It is shown that \((L,\oplus)\) is a \(K\)-loop with \(0\)-element \(1\). This construction is specialized to matrix groups. Special attention is payed to the question when the left inner mappings are fixed point free. There are given many examples (some new) obtained from the general and special linear groups over \(\mathbb{R}\), over \(\mathbb{R}(i)\) and over the quaternions.