Primitive semifields of order \(2^{4e}\) (Q522209)

From MaRDI portal
Revision as of 06:26, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
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
    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

    Identifiers