A note on subloop lattices. (Q2634296)

This paper deals with the following question: Is every finite lattice isomorphic to an interval sublattice of the subloop lattice of a finite loop? As a first step in this direction examples of lattices that can be realized as subloop lattices but not as subgroup lattices are considered. Two new notions are introduced: the neckification and the tailification of a loop. The neckifiaction of a lattice is a new lattice with the property such that if its maximal element is removed one ends up with the original lattice. For a given loop \(L\), a neckification of \(L\) is an embedding of \(L\) in a coatomic loop \(\widehat L\) such that if the maximal element is removed from the subloop lattice of \(\widehat L\) one obtains the subloop lattice of \(L\). The following facts are shown: --- Every finite loop \(L\) has a neckification \(\widehat L\) and \(|\widehat L|=2\cdot|L|\). --- Every finite loop can be embedded in a monogenerated loop. --- Every finite loop \(L\) is a normal subloop of index 2 in its index 2 neckification. The tailification of a lattice is a new lattice such that if its minimal element is removed one gets the original lattice. A tailification of a loop \(L\) is an atomic loop \(\widehat L\) with \(L\cong\widehat L/K\) for some normal subloop \(K\) of \(\widehat L\) and with the property that if the minimal element is removed from the subloop lattice of \(\widehat L\) one obtains the subloop lattice of \(L\). It is proved that every power-associative loop \(L\) with \(\exp(L)=p^i\) for some \(i\in\mathbb Z\) has a tailification.