Primitive semifields of order \(2^{4e}\) (Q522209): Difference between revisions

A semifield \(D\) is called left primitive if there exists an element \(a\) such that the left powers of \(a\) exhaust all of \(D\setminus\{0\}\). The left powers are defined recursively by \(a^{(0}:=1\) and \(a^{(i}:=a\cdot a^{(i-1}\). Thus \(a^{(i}\) results from iterated application of the left translation by \(a\) to the identity element \(1\). Similarly, right primitive is defined. Let \(F\) be the finite field with \(2^{e}\) elements, and assume that \(e\) is sufficiently large. The author proves that every semifield of dimension \(4\) over the center \(F\) is left and right primitive. Bounds for \(e\) are given. In particular, \(e>14\) will do. This completes the work from [\textit{I. F. Rúa}, Finite Fields Appl. 33, 212--229 (2015; Zbl 1368.12005)], where similar results were obtained for odd order \(F\).