scientific article; zbMATH DE number 1066409
\((\Gamma, {\mathcal G}, \cdot)\) is called a kinematic space, if i) \((\Gamma, \cdot)\) is a group, ii) \((\Gamma, {\mathcal G})\) is a projective space, where \({\mathcal G}\) is the set of its lines, iii) for any \(a, b \in \Gamma\) the mapping \(x \rightarrow a \cdot x \cdot b\) is a collineation of \((\Gamma, {\mathcal G})\) and iv) any straight line containing the neutral element of \(\Gamma\) is a subgroup of \(\Gamma\). If iv) is replaced by iv'): \(x \rightarrow x^{-1}\) is a collineation of \((\Gamma, {\mathcal G})\), then \((\Gamma, {\mathcal G}, \cdot)\) is called a general kinematic space. If \((G, \cdot)\) is a (not necessarily commutative) group and \(U < \Aut(G)\) then a semi-direct product \(G \times U\) can be defined by \((a, \mu)(b, \nu) := (a + \mu(b), \mu\nu)\). If additionally (K') \(\forall \mu, \nu \in U\setminus\{id\}: \text{Fix }\mu= \text{Fix }\nu =: H < (G, +)\) holds, then an appropriate set \({\mathcal G}\) of lines can be constructed, so that \((G\times U, {\mathcal G}, \cdot)\) is a generalized kinematic space. (K') is a generalization of a condition (K) used by Marchi and Zizioli to construct kinematic spaces in a similar way. If \((G, \cdot)\) is a (not necessarily commutative) group, \(U < \Aut(G)\) with \(\forall \mu \in U\setminus\{id\}: \text{Fix }\mu= {0}\) and (K) holds, then the pair \((G, U)\) is called a Ferrero-pair. Ferrero-geometries \((G, {\mathcal B})\) are defined by the set \(G\) of points and the set \({\mathcal B}\) of blocks \(\{a + \Phi(b), \Phi \in U\} \cup \{a\}\), \(a, b \in G\), \(b \neq 0\). Among other results the following one is shown: If \((G, U)\) is a \textit{Ferrero}-pair and \((G\times U, {\mathcal G}, \cdot)\) is the kinematic space belonging to it and furthermore \({\mathcal G}_G\) denotes the set of lines induced by this space in \(G \subset \Gamma\), then the projection \(\pi: G\times U \longrightarrow G\), \((g, \mu) \longrightarrow g\) maps the line set \({\mathcal G} \cup G \cup {\mathcal B}\) in the following way: i) \(\pi(L) = H \in {\mathcal G}_G\) if \(L \in \{H \times \{id\}\); \(H \in {\mathcal G}_G\}\), ii) \(\pi(L) = \{a\} \subset G\) if \(L \in \{\{a\} \times U; a \in G\}\), iii) \(\pi(B_a) \cup \{a\} \in {\mathcal B}\), where \(B_a := \{(a - \mu(a), \mu); \mu \in U\}\) and \(a \neq 0\). Each of the mappings in i), ii), iii) is bijective. For the entire collection see [Zbl 0867.00024].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357599)
