The smallest simple Moufang loop. (Q949582): Difference between revisions

For a field \(K\) let \(M(K)\) denote Zorn's vector matrix algebra over \(K\). Then the so-called general linear loop \(\text{GLL}(K)\) over \(K\) is the set of all invertible elements of the algebra \(M(K)\). In this paper the simple Moufang loop \(\text{GLL}(F_2)\) and its lattice of subloops are studied. The following facts are proved: -- \(\text{GLL}(F_2)\) contains no cyclic subgroup of order 6. -- The 3-subloops are all cyclic of order 3. -- \(\text{GLL}(F_2)\) contains 63 subgroups of order 2 and 28 subgroups of order 3. -- Every proper subloop \(H\) of \(\text{GLL}(F_2)\) is of order \(|H|=2^a\cdot 3^b\) with \(0\leq a\leq 5\) and \(0\leq b\leq 1\). -- For any 2-subgroup of \(\text{GLL}(F_2)\) holds: Every subgroup of order 2 (of order 4) is contained in a subgroup of order 4 (of order 8). Every subgroup of order 2 and every subgroup of order 3 of \(\text{GLL}(F_2)\) is contained both in a subgroup isomorphic to \(S_3\) and in a subgroup isomorphic to \(A_4\). -- Any subgroup of order 12 is isomorphic to \(A_4\). -- A maximal subgroup of \(\text{GLL}(F_2)\) is isomorphic to either \(C_2\times C_2\times C_2\), \(S_3\) or \(A_4\). -- Let \(M_{12}\) be the only non-associative Moufang loop of order 12, and let \(M_{24}\) denote the Moufang loop \(M_{24}(A_4,2)\) of order 24. Then every subgroup of \(\text{GLL}(F_2)\) isomorphic to \(S_3\) is contained in a subloop isomorphic to \(M_{12}\).