A class of simple proper Bol loops. (Q2518877): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2032476941 / rank | |||
Normal rank |
Revision as of 21:15, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A class of simple proper Bol loops. |
scientific article |
Statements
A class of simple proper Bol loops. (English)
0 references
20 January 2009
0 references
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.
0 references
finite simple Bol loops
0 references
simple non-Moufang left Bol loops
0 references
left multiplication groups
0 references
almost simple groups
0 references
Moufang loops
0 references
Bol loop folders
0 references
exact factorization triples
0 references