Ein Kriterium für Quasikörper \(A(F,\Gamma,(g_ i),(f_ i),n)\). (A criterion for quasifields \(A(F,\Gamma,(g_ i),(f_ i),n)\)) (Q916080)

For a commutative field \(F(+,\cdot)\) and a group \(\Gamma\) of automorphisms of F, where \(\iota\) is the unit element, the generalized André structure (F,\(\Gamma\),f) with f: \(F^*\to \Gamma\) has a new multiplication using \(a\circ x=ax^{f(a)}\) for \(a\in F^*\). By a special construction one obtains the quasifields \(A(F,\Gamma,(g_ i),(f_ i),n)\) described by \textit{A. Caggegi} and the author in Abh. Math. Semin. Univ. Hamb. 58, 219-236 (1988), where n is written for the constant map \(\epsilon\) : \(F^*\to \{n\}.\) For the generalized André structure (F,\(\Gamma\),f) let L(\(\Gamma\)) be the lattice of subgroups of \(\Gamma\), and for \(\Delta\in L(\Gamma)\) put \(F^{*\Delta -1}=<\{z^{\delta}z^{-1}|\) \(z\in F^*\), \(\delta \in \Delta \}>\). A standard sequence of mappings \(h_ i: F^*\to L(\Gamma)\) is defined recursively by \(h_ 0(x)=\Gamma\) for all \(x\in F^*\), \(h_{i+1}(x)=<\{f(x)^{-1}f(y)|\) \(y\in F^*\) and \(x^{-1}y\in F^{*h_ i(x)-1}\}>.\) Now let \(\Gamma\) be finite. The generalized André structure (F,\(\Gamma\),f) is soluble iff \[ \forall x\in F^*:\;h_ i(x)\neq \{\iota \}\quad \Rightarrow \quad h_{i+1}(x)\neq h_ i(x),\quad i=0,1,... \] Theorem: (F,\(\Gamma\),f) is soluble iff it is a generalized André quasifield \((F,\Gamma,(g_ i),(f_ i),n)\) for some natural number n. Special well-known examples are the finite Dickson near-fields and the Foulser systems \(Q_ g(m,t)\) [see \textit{D. A. Foulser}, Math. Z. 100, 380-395 (1967; Zbl 0152.189)]. But also: If \(\Gamma\) is cyclic of order \(p^ ar^ b\) for primes p and r, then any quasifield (F,\(\Gamma\),f) is soluble.