Oriented Steiner loops. (Q1943347): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q241814 |
Changed an Item |
||
Property / author | |||
Property / author: Karl Strambach / rank | |||
Normal rank |
Revision as of 17:56, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Oriented Steiner loops. |
scientific article |
Statements
Oriented Steiner loops. (English)
0 references
19 March 2013
0 references
It is known that from a Steiner triple system (briefly STS) \((\mathfrak S,T)\) it is possible derive a quasigroup and hence a loop by adjoining the identity element \(e\) in a suitable way. Such a loop \((S,\cdot)\) is commutative and fulfils the following conditions: for all \(x,y\in S\), (a) \(x^2=e\) and (b) \(x(xy)=y\). Conversely, to a `Steiner loop' \((S,\cdot)\) (i.e. a commutative loop with identity \(e\) satisfying (a) and (b)) there corresponds the STS \((\mathfrak S,T)\) with point-set \(\mathfrak S= S\setminus\{e\}\) and block-set \(T=\{\{x,y,xy\}\mid x,y\in\mathfrak S\), \(x\neq y\}\). A STS is called `oriented' if a cyclic order is assigned in each block. If \((S,\cdot)\) is a Steiner loop and \(A\) is the cyclic group of order 2, a suitable operation ``\(\circ\)'' can be introduced in \(L:=S\times A\) in such a way that \((L,\circ)\) is again a loop. The operation ``\(\circ\)'' is constructed by means of a suitable function \(f\colon S\times S\to A\) called `factor system' of \(L\). This procedure is called Steiner loop extension. The authors study some relevant properties of \((L,\circ)\) in Section 3, but the most part of the note is devoted to investigate the so-called `oriented Steiner loop extensions', that is extensions of a Steiner loop \(S\) in which the corresponding STS \((\mathfrak S,T)\) is oriented and the factor system of \(L\) is strictly related to the orientation of \((\mathfrak S,T)\). Many properties of this particular extension are proven, the groups generated by left and right translations are studied together with automorphism and isomorphism groups. Special attention is given to the case where the oriented STS \((\mathfrak S,T)\) associated to \(S\) is a projective space over \(\text{GF}(2)\) or an affine space over \(\text{GF}(3)\) and the final section presents a classification of non-rigid Steiner loops corresponding to the minimal affine or projective plane.
0 references
oriented Steiner loops
0 references
oriented Steiner triple systems
0 references
extensions of Steiner loops
0 references
quasigroups
0 references
commutative loops
0 references
translation groups
0 references