A class of simple proper Bol loops. (Q2518877)

In this paper an open problem in the theory of loops is solved: A class of simple left Bol loops which are not Moufang is constructed. These loops are constructed using exact factorizations of groups. A triple \(\mathcal T=(X,Y_0,Y_1)\) is called an exact factorization triple if \(X\) is a group and \(Y_0,Y_1\) are subgroups of \(X\) satisfying \(Y_0\cap Y_1=1\) and \(Y_0Y_1=X\). Such an exact factorization triple is faithful if \(Y_0\) and \(Y_1\) do not contain proper normal subgroups of \(X\). Any faithful exact factorization triple gives rise to a Bol loop folder, i.e. a triple \((G,H,S)\) with \(1\in S\), \(sts\in S\) for all \(s,t\in S\), and where \(S\) is a system of left coset representatives of \(H\) in \(G\). Then there is a Bol loop \(Q_{\mathcal T}\) corresponding to this Bol loop folder. A group \(X\) is called almost simple if \(T\leq X\leq\Aut(T)\) for some nonabelian simple group \(T\); \(T\) is the socle of \(X\) and is contained in every proper normal subgroup of \(X\). The main result of this paper is the following: Assume \(X\) is an almost simple group with socle \(T\). Let \(\mathcal T\) be a faithful exact factorization triple and assume \(X=TY_0=TY_1\). Then the associated Bol loop \(Q_{\mathcal T}\) is a simple left Bol loop which is not Moufang. This result is used to construct several interesting examples of finite and infinite proper left Bol loops.