A generalization of some Huang–Johnson semifields N.L. Johnson Mathematics Dept. University of Iowa Iowa City, Iowa 52242, USA njohnson@math.uiowa.edu Giuseppe Marino ∗ Dipartimento di Matematica Seconda Universit`a degli Studi di Napoli I– 81100 Caserta, Italy giuseppe.marino@unina2.it Olga Polverino ∗ Dipartimento di Matematica Seconda Universit`a degli Studi di Napoli I– 81100 Caserta, Italy olga.polverino@unina2.it Rocco Trombetti ∗ Dipartimento di Matematica e Applicazioni Universit`a degli Studi di Napoli “Federico II” I– 80126 Napoli, Italy rtrombet@unina.it Submitted: May 19, 2010; Accepted: Jan 25, 2011; Published: Feb 4, 2011 Mathematics Subject Classification: 12K10 51A40 51E99 Abstract In [H. Huang, N.L. Johnson: Semifield planes of order 8 2 , Discrete Math., 80 (1990)], the authors exhibited seven sporadic semifields of order 2 6 , with left nucleus F 2 3 and center F 2 . Following the notation of that paper, these examples are referred as the Huang–Johnson semifields of type II, III, IV , V , V I, V II and V III. In [N. L. Johnson, V. Jha, M. Biliotti: Handbook of Finite Translation Planes, Pure and Applied Mathematics, Taylor Books, 2007], the qu estion whether these semifields are contained in larger families, rather then sporadic, is posed. In this paper, we first prove that the Huang–Johnson semifield of type V I is isotopic to a cyclic semifield, whereas those of types V II and V III belong to infinite families recently constructed in [N.L. Johnson, G. Marino, O. Polverino, R. Trombetti: Semifields of order q 6 with left nucleus F q 3 and center F q , Finite Fields Appl., 14 (2008)] and [G.L. Ebert, G. Marino, O. Polverino, R. Trombetti: Infinite families of new semifields, Combinatorica, 6 (2009)]. Then, Huang–Johnson semifields of type II and III are extended to new infinite families of semifields of order q 6 , existing for every prime power q. ∗ This work was supported by the Research Project of MIUR (Italian Office for University and Re- search) “Geometrie su Campi di Galois, piani di traslazione e geometrie di incidenza” and by the Research group GNSAGA of INDAM the electronic journ al of combinatorics 18 (2011), #P29 1 1 Introduction The term semifield is used to describ e an algebraic structure with a t least two elements and two binary operations, satisfying all axioms for a skewfield except (possibly) associativity of the multiplication. In this paper we are only interested in the finite case. For this reason, in what follows, the term semifield will always stand for finite semifield. One of the maj or reasons behind the great interest towards semifields during the sixties was the discovery that they can be used to coordinatize a class of affine (and hence projective) planes; in fact, t he so called semifield planes. Very recently the theory of finite semifields has received an even greater attention stimulated by the connection t hat they have with other areas of discrete mathematics like coding theory and cryptography (see e.g. the chapter [15] in the collected work [3]). A finite field is a trivial example of semifield and it is easy to see that, in general, the order of a proper semifield is a power of a prime number p. Such a prime is also called the characteristic of the semifield. The additive group of a semifield of characteristic p is an elementary abelian p–group a nd it is always possible to choose the support o f the algebraic structure t o be the finite field F q , q = p h . This can be done in such a way that the semifield addition equals the field addition while the multiplication is defined by a rule in which appear both addition and multiplication of the field. In [13], the author tabulated all proper semifields of order 16. There are 23 non–isomorphic proper semifields of that order. In [14, Section 2], Knuth exhibits two examples of semifields over the field F 2 4 which he refers as systems V a nd W. All semifields of order 16 are either isotopic to system V or isotopic to system W. Also, in [14], generalizing the work done by Dickson in [5], he constructs four infinite families of semifields of order p m (p odd or even) where m is an even integer, in fact families K.I, K.II, K.III and K.IV , showing that system V belongs to family K.I and system W belongs to all four families. In 199 0 Huang a nd Johnson exhibited seven sporadic semifields of order 64, with left nucleus F 2 3 and center F 2 : the Huang–Johnson semifields of type II, III, IV , V , V I, V II and V III [8]. These were constructed in the geometric setting of translation planes. In fact, in [8], the authors were mainly interested in the complete determination o f all translation planes of order 64 with kernel isomorphic to F 2 3 admitting a subgroup of order 2 ·64 in their linear translation complement. These translation planes turned out to be semifield planes and the semifields which coordinates them are the above mentioned semifields of Huang and Johnson. In [11, p. 281], the authors posed the question whether these seven examples could be extended to larger, possibly infinite, families. We answer this question by proving that some of Huang–Johnson semifields are contained into infinite families as in the case of systems V and W. Precisely, we prove that Huang–Johnson semifield of type V I is isotopic to a cyclic semifield of typ e (q, 2, 3) intro duced by Jha and Johnson in [9] and Huang–Johnson semifields of type V II and V III b elong to the infinite families F IV and F V recently constructed in [6]. Nevertheless, we construct new infinite families of semifields containing examples for any even and odd prime p ower q, proving that semifields of type II and III belong to such fa milies. The technique used in the paper are heavily based on properties of linear sets of projective spaces. For more details on the theory of linear sets we refer t o [20]. the electronic journ al of combinatorics 18 (2011), #P29 2 2 Preliminary Results A semifield S is an algebraic structure satisfying all the axioms for a skewfield except (possibly) associativity. The subsets N l = { a ∈ S | (ab)c = a(bc), ∀b, c ∈ S}, N m = { b ∈ S | (ab)c = a(bc), ∀a, c ∈ S}, N r = {c ∈ S | (ab)c = a(bc), ∀a, b ∈ S} and K = {a ∈ N l ∩ N m ∩ N r | ab = ba, ∀b ∈ S} are skewfields which are known, respectively, as the left nucleus, middle nucleus, right nucleus and center of the semifield. A semifield is a vector space over its nuclei and its center. If S satisfies all the axioms for a semifield, except that it does not have a n identity element under multiplication, then S is called a presemifield. Two presemifields, say S = (S, +, ∗) and S ′ = (S ′ , +, ◦) with the same characteristic p, are said to be isotopic if there exist three invertible F p -linear maps g 1 , g 2 , g 3 from S to S ′ such that g 1 (x) ◦ g 2 (y) = g 3 (x ∗ y) for all x, y ∈ S. From any presemifield, one can naturally construct a semifield which is isotopic to it (see [14]). Moreover, a presemifield S, viewed as a vector space over some prime field F p , can b e used to coordinatize an affine (and hence a projective) plane of order |S| (see [4]). Albert [1] showed that the projective planes coordinatized by the presemifields S and S ′ are isomorphic if and only if S and S ′ are isotopic. Any projective plane π(S) co ordinatized by a semifield (or presemifield) is called a semifield plane . If π(S) is a semifield plane, then the dual plane is a semifield plane as well, and the semifield (or presemifield) coordinatizing it is called transpose of S a nd is denoted by S t . Let b be an element of a semifield S = (S, +, ∗); then the map ϕ b : x ∈ S → x ∗ b ∈ S is a linear map when S is regarded as a left vector space over N l . We call the set S = {ϕ b : b ∈ S} ⊆ V = End N l (S) ( 1 ) the semifield spread set of linear maps of S (semifield spread set, for short). It satisfies the following properties: i) |S| = |S|; ii) S is closed under addition and contains the zero map; iii) every non–zero map in S is non–singular (that is, invertible). Conversely, any set ¯ S of ¯ F –linear maps of an ¯ F –vector space ¯ S satisfying i), ii) and iii) defines a presemifield ¯ S = ( ¯ S, +, ∗) with x ∗ y = ϕ y (x), (1) where ϕ y is the unique element of ¯ S such that ϕ y (e) = y (with e a fixed non– zero element of ¯ S). Also, ¯ S is a semifield whose ident ity is e, if and only if the identity map belongs to ¯ S. In the latter case the left nucleus of ¯ S contains ¯ F . Let S = (S, +, ∗) be a semifield with center K, then the semifield spread set S of S is a K–vector space. In what follows we will always assume that the semifields under consideration have as cent er the Galois field F q . If S is 2-dimensional over its left nucleus F q n and 2n- dimensional over its center F q , then we can assume that S = (F q 2n , +, ∗) and in this case the semifield spread set S is an F q –vector subspace of V = End F q n (F q 2n ) of 1 End N l (S) denotes the vector space of the endomorphisms of S over N l the electronic journ al of combinatorics 18 (2011), #P29 3 dimension 2n. Note that any F q n –linear map of F q 2n can be uniquely represented in the form ϕ η,ζ : F q 2n → F q 2n via x → ηx + ζx q n , for some η, ζ ∈ F q 2n ; i.e. through a q n –polynomial over F q 2n . Hence the F q –vector space S defines, in the projective space PG(V, F q n ) = P G(3, q n ), an F q –linear set of rank 2n, namely L(S) = L(S) = {ϕ b  F q n : b ∈ S \ {0}}. Also, since the linear maps defining S are invertible, the linear set L(S) is disjoint from the hyperbo lic quadric Q = Q + (3, q n ) of P G(V, F q n ) defined by the non–invertible maps of V, namely Q = {ϕ η,ζ  F q n : η, ζ ∈ F q 2n , η q n +1 = ζ q n +1 , (η, ζ) = (0, 0)}. Define G to be the index two subgroup of Aut(Q) which leaves the reguli of Q invariant. If ϕ: x → ηx + ζx q n , then for any τ ∈ Aut(F q 2n ) let ϕ τ denote the F q n -linear map of F q 2n defined by the rule ϕ τ : x → η τ x + ζ τ x q n . Now for any non–singular F q n -linear maps ψ and φ of F q 2n , define I = I ψτ φ to be the collineation of P G(V, F q n ) induced by the semilinear Θ = Θ ψτ φ map on V whose rule is Θ : ϕ → ψϕ τ φ. Since ϕ is singular if and only if ψϕ τ φ is singular, I ψτ φ leaves t he quadric Q invariant and G = {I ψτ φ | τ ∈ Aut(F q 2n ), ψ, φ non–singular F q n -linear maps of F q 2n }. A version of the following result may be found in [2]. Theorem 2.1. [2, Thm. 2.1] Let S = (F q 2n , +, ∗) and S ′ = (F q 2n , +, ∗ ′ ) be two semifields with left nucleus F q n and let S and S ′ be the associated semifield spread sets, respectively. Then S and S ′ are isotopic if and on l y if L(S ′ ) = L(S Θ ) = L(S) I , for some collineation I of G. Remark 2.2. If Ψ is an invertible semilinear map of V inducing a collineation in PG(V, F q n ) interchanging the reguli of the quadric Q, then S Ψ is a semifield spread set as well and it defines, up to isotopy, the transpose semifield S t of S ([17, Thm. 4.2]). Fixing an F q n –basis of F q 2n , the vector space V = End F q n (F q 2n ) can be ident ified with the vector space of all 2 × 2 matrices over F q n ; denote it by M. In this setting, the semifeld spread set S is a set of q 2n elements of M, closed under addition, containing the zero matrix and whose non–zero elements are invertible. In this case, we say that S is a semifield spread set of matrices associated with S and since every matrix of S is non–singular, the linear set L(S) of P G(M, F q n ) is disjoint from the hyperbolic quadric Q of P G(M, F q n ) defined by singular 2 × 2 matrices of M. By Theorem 2.1, two semifields S 1 and S 2 , 2–dimensional over their left nuclei and with center F q , are isotopic if and only if there exists a semilinear map φ: X ∈ M → the electronic journ al of combinatorics 18 (2011), #P29 4 AX σ B ∈ M (where A and B are two non–singular matrices over F q n and σ ∈ Aut(F q n )) such that S 2 = S φ 1 , where S 1 and S 2 are the semifield spread sets of matrices associated with S 1 and S 2 , respectively. Starting from an F q –linear set L(S) of P = PG(3, q n ) asso ciated with a semifield 2– dimensional over the left nucleus F q n and 2n dimensional over the center F q and using the polarity ⊥ induced by the hyp erbolic quadric Q of P, it is possible to construct another F q –linear set of P, say L(S) ⊥ , of rank 2n which is disjoint from Q as well. Precisely, let β be the bilinear form arising from the quadric Q and let T r q n /q be the trace function of F q n over F q . The map T r q n /q ◦ β is a non–degenerate F q –bilinear form of the vector space underlying P, when it is regarded a s an F q –vector space. Denote by ⊥ ′ the polarity induced by T r q n /q ◦β. The orthogonal complement S ⊥ of S with respect to the F q –bilinear form T r q n /q ◦ β defines an F q –linear set L(S) ⊥ := L(S ⊥ ′ ) of P of rank 2n, which is disjoint from Q as well. Hence, S ⊥ ′ defines a presemifield of order q 2n whose associated semifield has left nucleus isomorphic to F q n and center isomorphic to F q . This presemifield is the translation dual of S and is denoted by S ⊥ ([16], [17] and [11, Chapter 85]). If T = P G(U, F q n ) is a subspace of P of dimension s, then we define the weigh t of T in L(S) to b e dim F q (U ∩ S), where we are treating U as an F q –vector subspace. We denote the weight of T in L(S) by t he symbol w L(S) (T ). In particular a point P = v F q n of P belongs to L(S) if and only if w L(S) (P ) ≥ 1. Proposition 2.3. The weight distribution of a linear se t associated with a p resemifield is invariant up to isotopy an d up to the transpose operation. Proof. Let S 1 and S 2 be two presemifields with associated spread sets of linear maps S 1 and S 2 , respectively. If S 1 is either isotopic to S 2 or isotopic to the transpose of S 2 , then by Theorem 2.1 and by Remark 2.2 S 2 = S Ψ 1 , where Ψ is an invertible semilinear map of V fixing the invertible elements of V. Now, noting that an invertible semilinear map of V preserves the dimension of the F q –vector subspaces, t he result easily follows. Now recall the following rule which is a particular case of [20, Proposition 2.6] relating the weights distribution of subspaces pairwise polar with respect to the polarity ⊥, in the linear sets L(S) and L(S) ⊥ of P = P G(3, q n ): w L ⊥ (S) (T ⊥ ) − w L(S) (T ) = 2n − (s + 1)n, (2) where T is an s–dimensional subspace of P. Finally, one property which will be useful in the sequel, proved in [12, Property 3.1], is the following. Property 2.4. A line r of P = P G(3, q n ) is contained in the linear set L(S) if and only if w L(S) (r) ≥ n + 1. the electronic journ al of combinatorics 18 (2011), #P29 5 3 Semifields in class F 3 Let S be a semifield of order q 6 with left nucleus of order q 3 and center of order q and let S be the associated spread set. There are six p ossible geometric configurations for the associated linear set L = L(S) in P = P G(3, q 3 ), a s described in [18] and the corresponding classes of semifields are labeled F i , for i = 0, 1, · · · , 5. The class F 4 has been furtherly partitioned, again geometrically, into three subclasses, denoted F (a) 4 , F (b) 4 and F (c) 4 [12]. Semifields belonging to different classes are not isotopic and the families F i , for i = 0, 3, 4 , 5 are closed under the transpose and the translation dual o perations. The linear set L associated with a semifield in class F 3 has the following structure (F 3 ) L contains a unique point of weight 2 and does not contain any line of P or, equiva- lently, L contains a unique point of weight grater than 1 and such a point has weight 2. In this case L is not contained in a plane and |L| = q 5 + q 4 + q 3 + q 2 + 1. Suppose that S is a semifield belonging to class F 3 . Let S be the associated spread set and let L(S) be the corresponding linear set of P. Let P denote the unique point of L(S) of weight 2. Since L(S) is not contained in a plane, for each plane π of P, we have that 3 ≤ w L(S) (π) ≤ 5. Proposition 3.1. There exists a unique plane π of P of weight 5 in L(S) and the point P belongs to π. Also, if π = P ⊥ , then the weight of the plane P ⊥ in L(S) is 3 or 4, whe reas the weight of the point π ⊥ in L(S) i s ei ther 0 or 1. Proof. By [18, Theorem 4.4] the class F 3 is closed under the translation dual operation, hence L(S) ⊥ has a unique point, say R, of weight 2. Now, by Equation (2), R ⊥ = π is the unique plane of P of weight 5 in L(S). Also, since the weights of P and π in L(S) are 2 and 5, respectively, and since L(S) has rank 6, we have that P is a point of the plane π. The last part of the statement simply follows from the facts that any plane of P, different from π, has weight 3 or 4 in L(S) and that any point different from P has weight 0 or 1 in L(S). Since P and π are the unique point and the unique plane of P of weight 2 and 5 in L(S), respectively, and since the elements of G commute with ⊥, we have that the weights of P , π, P ⊥ and π ⊥ in L(S) are invariant under isotopisms. Hence, the following definition makes sense: a semifield S belonging to the class F 3 , with π = P ⊥ , is of type (i, j), i ∈ { 3, 4} and j ∈ {0, 1} , if the weight of P ⊥ in L(S) is i and the weight of π ⊥ in L(S) is j. Theorem 3.2. Semifields belonging to F 3 , with P = π ⊥ , of different types are not iso- topic. Also, if a se mifield S of F 3 is of type (i, j), then the transpose semifield S t of S is of type (i, j) as well. Proof. It follows from previous arguments and from Proposition 2.3. the electronic journ al of combinatorics 18 (2011), #P29 6 Theorem 3.3. Let S be a s e mifields belonging to F 3 , then • if S is of type (4, 1) or (3, 0), then i ts tran s l ation dual S ⊥ is of type (4, 1) or (3, 0), respectively; • if S is of type (4, 0) or (3, 1), then i ts tran s l ation dual S ⊥ is of type (3, 1) or (4, 0), respectively. Proof. It is sufficient to recall that the class F 3 is closed under t he translation dual operation ([18, Theorem 4.4]) and to apply Eq. (2). 3.1 The Huang–Johnson semifields of order 2 6 In [8], the authors exhibit eight non–isotopic semifields, say S i i ∈ {I, II, III, IV , V , V I, V II, V III}, of order 2 6 . All of these, but S I , are proper semifields and they have left nucleus F 2 3 and center F 2 . Semifields with 2 6 elements have been classified in [21] and, apart from the Knuth types (17) and (19) and the semifields of Huang–Johnson, all t he others are not 2-dimensional over their left nucleus. In the literature the only infinite families of semifields of order q 6 , 2–dimensional over their left nucleus and 6–dimensional over their center, containing examples of order 2 6 are i) the Knuth semifields (17) and (19) [4, p. 241]; ii) t he cyclic semifields of type (q, 2, 3) ([9], [10] and [12]); iii) the families F IV and F V of semifields recently constructed in [6]. These families are pairwise non–isotopic. In what follows we will determine which Huang–Johnson semifields belong to the infinite families ii) and iii). In order to do this let P = P G(3, 2 3 ) = P G(M, F 2 3 ); in the table here below we list the semifield spread sets of matrices S i , i ∈ {II, III, IV , V , V I, V II, V III}, associated with any S i (see [8]). the electronic journ al of combinatorics 18 (2011), #P29 7 Type Spread sets of matrices S II   x + y + y 2 + y 4 y 2 + x 2 + x 4 y x  : y, x ∈ F 2 3  S III   x + y + y 2 + y 4 y 4 + x 2 + x 4 y x  : y, x ∈ F 2 3  S IV   x + y + αy + y 2 + α 3 y 4 α 6 y 4 + αx + x 2 + α 3 x 4 y x  : y, x ∈ F 2 3  S V   x + y + αy + y 2 + α 3 y 4 α 6 y 2 + αx + x 2 + α 3 x 4 y x  : y, x ∈ F 2 3  S V I   x + y + α 3 y + y 2 + αy 4 y + α 3 x + x 2 + αx 4 y x  : y, x ∈ F 2 3  S V II   x + y + α 3 y + y 2 + αy 4 y + α 6 y 2 + αy 4 + α 3 x + x 2 + αx 4 y x  : y, x ∈ F 2 3  S V III   x + y + α 3 y + y 2 + αy 4 y + y 2 + α 4 y 4 + α 3 x + x 2 + αx 4 y x  : y, x ∈ F 2 3  Table 1 Here α is an element of F 2 3 \F 2 such that α 3 +α+1 = 0. Each semifield S i is self–transpose (i.e., it is isotopic to its transpose) with the exception of S IV and S V that, in fact, are pairwise transpose (see [8, Table 1]). Moreover Proposition 3.4. The semifield S III is, up to isotopy, the trans l ation dual of S II . Proof. Each S i , i ∈ {II, . . . , V III}, is an F 2 –vector subspace of the vector space M of all 2 × 2 matrices over F 2 3 , and the translation dual S ⊥ i of S i is defined by the orthogonal complement S ⊥ i of S i with respect to the bilinear form T r 2 3 /2 (β(X, Y )) = T r 2 3 /2 (X 0 Y 3 + X 3 Y 0 − X 1 Y 2 − X 2 Y 1 ), where X =  X 0 X 1 X 2 X 3  and Y =  Y 0 Y 1 Y 2 Y 3  . Then, the set S ⊥ II is an F 2 –vector subspace of M of dimension 6 and it can be repre- sented as follows S ⊥ II =   f(y ′ , x ′ ) g(y ′ , x ′ ) y ′ x ′  : y ′ , x ′ ∈ F 2 3  , where f(y ′ , x ′ ) and g(y ′ , x ′ ) are two F 2 –linear functions of F 2 3 , satisfying the following condition T r 2 3 /2 ((x + y + y 2 + y 4 )x ′ + f(y ′ , x ′ )x + (y 2 + x 2 + x 4 )y ′ + yg(y ′ , x ′ )) = 0 ∀x, y ∈ F 2 3 . (3) the electronic journ al of combinatorics 18 (2011), #P29 8 A direct computation shows that the maps f(y ′ , x ′ ) = y ′2 + y ′4 + x ′ and g(y ′ , x ′ ) = y ′4 + x ′4 + x ′2 + x ′ satisfy (3). Hence, S ⊥ II =  x + y 2 + y 4 x + x 2 + x 4 + y 4 y x  : y, x ∈ F 2 3  . Consider the collineation φ g of G < P GO + (4, 2 3 ) induced by the linear map g g :  X 0 X 1 X 2 X 3  →  X 0 + X 2 X 1 + X 3 X 2 X 3  , then (S ⊥ II ) g = S III . This implies that, up to isotopy, the Huang–Johnson semifield S III is the translation dual of S II . In what follows we investigate the geometric structure of t he linear sets L(S i ) with i ∈ {II, III, IV, V, V I, V II, V III}. Proposition 3.5. Th e Huang–Johnson semifields S II , S III , S IV and S V belong to the class F 3 . Precisely, S II and S III are of type (4, 1), whereas S IV and S V are of type (3, 0). Proof. Let L i = L(S i ), i ∈ {II, III, IV, V }. Since S t IV = S V and S ⊥ II is isotopic to S III , by Theorems 3.2 and 3.3, we can argue considering just one between S II and S III and just one between S IV and S V . Let (X 0 , X 1 , X 2 , X 3 ) be the homogeneous projective coordinates of the point   X 0 X 1 X 2 X 3   of P = P G(3, 2 3 ) = PG(M, F 2 3 ) and let P be the point with coordinates (1, 1, 0, 1). A direct computation shows that P belongs to L II , has weight 2 and all other points of L II have weight 1. Indeed, let R x,y ≡ (x + y + y 2 + y 4 , y 2 + x 2 + x 4 , y, x), with x, y ∈ F 2 3 , be a point of L II having weight w L II (R x,y ) > 1. Then, there exist λ ∈ F 2 3 \ F 2 and x ′ , y ′ ∈ F 2 3 such that        λy = y ′ λx = x ′ λ(x + y + y 2 + y 4 ) = x ′ + y ′ + y ′2 + y ′4 λ(y 2 + x 2 + x 4 ) = y ′2 + x ′2 + x ′4 . This implies that  λ(y 2 + y 4 ) = λ 2 y 2 + λ 4 y 4 λ(y 2 + x 2 + x 4 ) = λ 2 y 2 + λ 2 x 2 + λ 4 x 4 . (4) the electronic journ al of combinatorics 18 (2011), #P29 9 If y = 0 , from the second equation of System (4), we get x = λ 2 +λ 4 ; hence Tr 2 3 /2 (x) = 0 and then R x,y = P . If y = 0, from the first equation of System (4), we get y = λ 2 + λ 4 . Hence T r 2 3 /2 (y) = 0 and by substituting y in the second equation of System (4), we get x 4 + (λ + λ 4 )x 2 + (λ + λ 4 ) 2 = 0, which admits no solution in F 2 3 . These facts assure that S II belongs to the class F 3 . Also, let π be the plane of P with equation X 0 = X 3 ; then we have that L II ∩ π = {(x, y 2 + x 2 + x 4 , y, x) : x, y ∈ F 2 3 , T r 2 3 /2 (y) = 0}, which implies that π is the unique plane of P o f weight 5 in L II . Finally, the plane P ⊥ : X 0 + X 2 + X 3 = 0 and the point π ⊥ ≡ (1, 0, 0, 1) have weight 4 and 1 in L II , respectively. Hence the semifield S II is of type (4, 1). Now, consider the semifield S IV . By using similar arguments, it can be proven that P ≡ (1, α 4 , 0, 1) is the unique point of L IV of weight 2 and all the other points have weight 1. This assures that the semifield S IV belongs to the class F 3 , as well. Also, we have that π ′ : X 0 + α 5 X 2 + X 3 = 0 is the unique plane of P of weight 5 in L IV , the point π ′⊥ ≡ (1, α 5 , 0, 1) does not belong to L IV and the plane P ⊥ : X 0 + α 4 X 2 + X 3 = 0 has weight 3 in L IV . Hence the semifield S IV is of type (3, 0). In what follows we will show that the remaining Huang–Johnson semifields S V I , S V II and S V III belong to the class F (c) 4 . A linear set L of P G(3, q 3 ) associated with a semifield belonging to the class F 4 contains a unique line of P G(3, q 3 ), say l ([18, Thm. 4.3]). Moreover, such a semifield falls within the subclass F (c) 4 if the polar line l ⊥ of l, with respect to the p olarity induced by the quadric Q, intersects the linear set L in q + 1 points ([12, Sec. 3]). Proposition 3.6. The Huang–Johnson semifields S V I , S V II and S V III belong to the class F (c) 4 . Proof. Let start with the Huang– Jo hnson semifield S V II . Arguing as in the proof of Proposition 3.5 and taking α 3 = α + 1 into account, we have that a point R x,y of L V II has weight greater than 1 if there exist λ ∈ F 2 3 \ F 2 and x ′ , y ′ ∈ F 2 3 such that        λy = y ′ λx = x ′ λ(x + αy + y 2 + αy 4 ) = x ′ + αy ′ + y ′2 + αy ′4 λ(y + α 6 y 2 + αy 4 + α 3 x + x 2 + αx 4 ) = y ′ + α 6 y ′2 + αy ′4 + α 3 x ′ + x ′2 + αx ′4 . This implies that  (λ 2 + λ)y 2 + α(λ 4 + λ)y 4 = 0 α 6 (λ 2 + λ)y 2 + α(λ 4 + λ)y 4 + (λ 2 + λ)x 2 + α(λ 4 + λ)x 4 = 0. (5) the electronic journ al of combinatorics 18 (2011), #P29 10 [...]... α5 Dξ)xq ∈ Fq6 : αi ∈ Fq }, defines an Fq –linear set L(S) of P = P G(V, Fq3 ) of rank 6 having a unique point P of weight 2 (and hence a unique plane π of P of weight 5) and each other point of weight 1 Moreover, if one of the following additional assumptions holds true: i) q is even; ii) q is odd and T rq6 /q3 (ξ) = 0; the electronic journal of combinatorics 18 (2011), #P29 12 then P ⊥ and π ⊥ have... constructed in [6] Proof In [21] the authors completely classify, up to isotopy, all semifields with 64 elements giving a description of their parameters, i.e the dimensions of the semifields over their nuclei and center In this list, the Huang–Johnson semifields Si , with i ∈ {II, III, · · · , V III} are the only semifields of order 26 , with exactly one nucleus of order 23 and with center of order 2 In particular,... chosen as in I) of Theorem 3.9, and their translation duals, must be isotopic to SII and SIII Hence, we have positively answered to the question posed in [11] also for the Huang–Johnson semifields SII and SIII Theorem 3.11 The Huang–Johnson semifields SII and SIII belong to infinite families of semifields of order q 6 , precisely the family of semifields with Multiplication (15) and the family of their translation... respectively, where ⊥ is the polarity induced by the quadric Q of P Proof Note that {1, ξ} is an Fq3 –basis of Fq6 and {1, u, u2} is an Fq –basis of Fq3 So, since D ∈ F∗3 , we have that the Fq –linear set q L(S) = { x → ((α0 + α1 u) + (α2 + α3 u)ξ)x + b(α3 u2 + α4 + α5 Dξ)xq 3 Fq 3 : αi ∈ Fq } of P has rank 6 Let P = I Fq3 be the point of P defined by the identity map I : x → x, then P ∩ S = I, uI Fq... belongs to the class F3 and of type (4, 1), as well (see Thm 3.3) This provides another infinite family By the classification result in [21] and by Proposition 3.5, the Huang–Johnson semifields SII and SIII are, up to isotopy, the only semifields of order 26 belonging to F3 and of type (4, 1) Also, by Proposition 3.4, they are one the translation dual of the other So, the semifields of order 26 , with Multiplication... the Huang–Johnson semifields SV I , SV II and SV III So far, the Huang–Johnson semifields SII , SIII , SIV and SV do not belong to any infinite family In what follows we will prove that two of these semifields, in fact SII and SIII , belong to new infinite families of semifields of order q 6 constructed in the next section 3.2 New semifields in class F3 Recall that if S = (Fq6 , +, ∗) is a semifield of order... computations show that any other point of LV I has weight 1 and hence l is the unique line of P contained in LV I This means that the Huang–Johnson semifield SV I belongs to the class F4 Now, consider the polar line l⊥ of l with equations X0 + X3 = X1 + X2 + X3 = 0 Direct computation shows that (c) |l⊥ ∩ LV I | = 3 Hence, also SV I falls within the class F4 Theorem 3.7 The Huang–Johnson semifields SV I ,... associated spread set S of Fq3 –linear maps of Fq6 is a 6– dimensional Fq –vector space contained in V = EndFq3 (Fq6 ) and each non–zero map in S is invertible Also, if an Fq3 –linear map of Fq6 is represented in the form ϕη,ζ : Fq6 → Fq6 3 via x → ηx + ζxq , for some η, ζ ∈ Fq6 , then ϕη,ζ is invertible if and only if N(η) = N(ζ), (7) where N is the norm from Fq6 to Fq3 In the construction of the new examples... families of new semifields, Combinatorica, 6 (2009), 637–663 [7] G.L Ebert, G Marino, O Polverino, R Trombetti: Semifields in Class (a) F4 , Electron J Combin., 16 (2009), 1–20 [8] H Huang, N.L Johnson: Semifield planes of order 82 , Discrete Math., 80 (1990), 69–79 the electronic journal of combinatorics 18 (2011), #P29 16 [9] V Jha, N.L Johnson: An analog of the Albert-Knuth theorem on the orders of finite... and IV ), the set S satisfies Condition ii) of Proposition 3.8 Hence, from the above proposition, the semifield S belongs to F3 and turns out to be of type (4, 1) the electronic journal of combinatorics 18 (2011), #P29 15 Note that, for q > 2 and q > 3, we can always choose the parameters as in cases III) and IV ), respectively So, by Theorem 3.9, for any value of q there exist semifields whose Multiplication . question by proving that some of Huang–Johnson semifields are contained into infinite families as in the case of systems V and W. Precisely, we prove that Huang–Johnson semifield of type V I is isotopic. mifield S of F 3 is of type (i, j), then the transpose semifield S t of S is of type (i, j) as well. Proof. It follows from previous arguments and from Proposition 2.3. the electronic journ al of combinatorics. F q –linear set L(S) of P = P G(V, F q 3 ) o f rank 6 having a unique point P of weight 2 (and hence a unique p l ane π of P of weight 5) and each other point of weight 1. Moreover, if one of the following