English

A closer look at some cyclic semifields

Rings and Algebras 2025-02-28 v2 Number Theory

Abstract

We show that different choices of generators σ\sigma of the Galois group of Fqn/Fq\mathbb{F}_{q^n}/\mathbb{F}_{q} produce non-isomorphic cyclic semifields Fqn[t;σ]/Fqn[t;σ](tma)\mathbb{F}_{q^n}[t;\sigma]/\mathbb{F}_{q^n}[t;\sigma](t^m-a) when nm1n\geq m-1: there are thus φ(n)\varphi(n) non-isomorphic classes of Sandler semifields Fqn[t;σ]/Fqn[t;σ](tma)\mathbb{F}_{q^n}[t;\sigma]/\mathbb{F}_{q^n}[t;\sigma](t^m-a), one class for each generator σ\sigma involved in their construction, where φ\varphi is the Euler function. We prove that when n=mn=m, two Sandler semifields constructed from different generators σ1\sigma_1 and σ2\sigma_2 of Gal(Fqn/Fq){\rm Gal}(\mathbb{F}_{q^n}/\mathbb{F}_{q}) are not isotopic. Hence when n=mn=m there are φ(m)\varphi(m) non-isotopic classes of these semifields, each class belonging to one choice of generator. We then present a full parametrization of the non-isomorphic Sandler semifields Fqm[t;σ]/Fqm[t;σ](tma)\mathbb{F}_{q^m}[t;\sigma]/\mathbb{F}_{q^m}[t;\sigma](t^m-a) , when mm is prime and Fq\mathbb{F}_{q} contains a primitive mmth root of unity. Since for m=nm=n, two Sandler semifields constructed from the same generator are isotopic if and only if they are isomorphic, this parametrizes these Sandler semifields up to isotopy, and thus parametrizes both the corresponding non-Desarguesian projective planes, and maximum rank distance codes. Most of our results are proved in all generality for any cyclic Galois field extension.

Cite

@article{arxiv.2502.00770,
  title  = {A closer look at some cyclic semifields},
  author = {Susanne Pumpluen},
  journal= {arXiv preprint arXiv:2502.00770},
  year   = {2025}
}

Comments

New version has extended last section

R2 v1 2026-06-28T21:29:30.163Z