Geometry of kinematic \(K\)-loops
type: Item
instance of: scholarly article
title: Geometry of kinematic \(K\)-loops
zbMATH Open document ID: 0852.20062
DOI: 10.1007/BF02953325
author: Yanyan Li
published in: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
publication date: 1996-12-08T00:00:00Z
review text: A loop \((L,+)\) is called \(K\)-loop, if \(\forall a,b\in L\), \(\delta_{a,b}:=((a+b)^+)^{-1}\circ a^+\circ b^+\) (where \(a^+:L\to L\); \(x\to a+x)\) is an automorphism of \((L,+)\), \(\delta_{a,b}=\delta_{a,b+a}\) and \(-(a+b)=-a+(-b)\) (where \(-a\in L\) is defined by \(a+(-a)=0)\). The authors call a \(K\)-loop kinematic if \(\forall a,x,y\in L\setminus\{0\}\), \(\delta_{a,x}=\delta_{a,y}=id\) implies \(\delta_{x,y}=id\), or equivalently if \(\{[a]\setminus\{0\}\mid a\in L\setminus\{0\}\}\), (where \([a]:=\{x\in L\mid\delta_{a,x}=id\})\) forms a partition of \(L\setminus\{0\}\). To such loops the authors associate a right and left geometry \((L,{\mathcal G})\) and \((L,{\mathcal L})\) by setting \({\mathcal G}:=\{[a]+x\mid a,x\in L,\;a\neq 0\}\) and \({\mathcal L}:=\{x+[a]\mid a,x\in L,\;a\neq 0\}\) and defining: \([a]+x|[b]+y:\Leftrightarrow[a]=[b]\). They prove: Each \([a]\) is a commutative subgroup of \((L,+)\); \((L,{\mathcal G},|)\) resp. \((L,{\mathcal L})\) are incidence spaces with parallelism resp. with \(\{a^+\mid a\in L\}\subset\text{Aut}(L,{\mathcal L})\); and ``\(x+[a]|y+[b]:\Leftrightarrow[a]=[b]\)'' defines a parallelism for \((L,{\mathcal L})\) iff \(\forall a,x\in L\), \(\delta_a,\delta_{a,x}(a)=id\). Finally they present several examples where the automorphisms \(\delta_{a,b}\) are either the identity or fixed point free.
Mathematics Subject Classification ID: 20N05
Mathematics Subject Classification ID: 51A15
zbMATH DE Number: 878376
zbMATH Keywords: loops
zbMATH Keywords: right and left geometries
zbMATH Keywords: commutative subgroups
zbMATH Keywords: incidence spaces with parallelism
zbMATH Keywords: automorphisms
reviewed by: Helmut Karzel
MaRDI profile type: Publication
cites work: Q3248988
cites work: On loops of odd order
cites work: Zusammenhänge zwischen Fastbereichen, scharf zweifach transitiven Permutationsgruppen und 2-Strukturen mit Rechtecksaxiom
cites work: Examples of finite and infinite \(K\)-loops
cites work: Q5691393
cites work: On \(K\)-loops of finite order
cites work: Q4141349
cites work: Q5612630
cites work: Q5735274
cites work: Bol Loops
cites work: Weakly associative groups
cites work: The holomorphic automorphism group of the complex disk
cites work: Q3822294
description: scientific article; zbMATH DE number 878376