A class of semifields of order \(q^ 4\) (Q1083482): Difference between revisions

As occasionally usual in the context with finite geometries, ''semifield'' in this paper means ''distributive quasifield'' or ''nonassociative division ring with identity''. All semifields S referred to in the title are obtained as follows. Let \(E=GF(q)\) be the Galois field for \(q=p^ n\) with a prime \(p>3\). Then there are elements \(\sigma\in E\) such that \(\sigma\) and \(1+4\sigma\) are nonsquares in E. Put \(F=GF(q^ 2)=\{\alpha =\alpha_ 1+\alpha_ 2a |\alpha_ i\in E\}\) for \(a^ 2=\sigma\). Then the vector space \(S=\{\alpha +\beta x |\alpha\),\(\beta\in F\}\) over F is a semifield by the multiplication \((\alpha +\beta x)(\gamma +\delta x)=\alpha \gamma +\beta (\delta^ qa-\delta_ 1)+(\alpha \delta +\beta \gamma^ q)x.\) Moreover, F is the left nucleus of S, and E the middle and the right nucleus of S. \{Referee's remark: One can further prove that F is a weak nucleus of S. Hence all semifields above (and all mentioned referring to a submitted paper) belong to a class extensively considered, but not completely described by \textit{D. E. Knuth} [J. Algebra 2, 182-217 (1965; Zbl 0128.256), {\S} 7]. So a combined investigation would be of interest, too.\}