Primitive semifields of order \(2^{4e}\) (Q522209)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Primitive semifields of order \(2^{4e}\) |
scientific article |
Statements
Primitive semifields of order \(2^{4e}\) (English)
0 references
13 April 2017
0 references
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\).
0 references
finite semifield
0 references
primitive element
0 references
norm form
0 references
quadratic form
0 references
characteristic two
0 references
trace function
0 references
projective planes
0 references