Related papers: A new criterion on k-normal elements over finite f…

Let $q=p^k$ be a prime power, let $\mathbb{F}_q$ be a finite field and let $n\geq2$ be an integer. This note investigates the existence small primitive normal elements in finite field extensions $\mathbb{F}_{q^n}$. It is shown that a small…

We show that there are only finitely many finite fields whose members are the sum of an $n$-potent element and a $5$-potent element. Combining this with the algorithmic results provided by S.D. Cohen {\it et al.}, we confirm in the…

Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the…

We investigate bicomplex analogues of fundamental notions from classical algebraic number theory. In particular, we show that the primitive element theorem admits a natural generalization to bicomplex extensions, giving rise to two distinct…

Let $q=p^k$ be a prime power, let $n\geq2$ be an integer and let $\mathbb{F}_{q^n}$ be a finite field. It is shown that the set of primitive normal elements is a Salem set. Furthermore, it is proved that this set is strongly equidistributed…

We introduce the concept of Minkowski normality, a different type of normality for the regular continued fraction expansion. We use the ordering \[ \frac{1}{2},\quad \frac{1}{3}, \frac{2}{3},\quad \frac{1}{4}, \frac{3}{4},\frac{2}{5},…

We study the essential dimension of a finite group G over a field K. A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained. We also get lower bounds of…

The paper begins by exploring the various definitions of norms on semigroups and then presents a new definition of a normed semigroup. The properties of normed semigroups in the new sense are investigated. The new definition of the norm is…

Denote by $\mathbb F_q$ the finite field of order $q$ and by $\mathbb F_{q^n}$ its extension of degree $n$. Some $a\in\mathbb F_{q^n}$ is called primitive if it generates the multiplicative group $\mathbb F_{q^n}^*$ and it is called…

In this paper, we give decision criteria for normal binomial difference polynomial ideals in the univariate difference polynomial ring F{y} to have finite difference Groebner bases and an algorithm to compute the finite difference Groebner…

Let $\mathbb{F}_q$ be the finite field of characteristic $p$ with $q$ elements and $\mathbb{F}_{q^n}$ its extension of degree $n$. We prove that there exists a primitive element of $\mathbb{F}_{q^n}$ that produces a completely normal basis…

We introduce and study $\mu$-elements, that generalize a lattice-theoretic abstraction (namely, essential elements) of essential ideals of rings, essential submodules of modules, and dense subsets of topological spaces. Exploring several…

This paper deals with the following problem. Given a finite extension of fields $\mathbb{L}/\mathbb{K}$ and denoting the trace map from $\mathbb{L}$ to $\mathbb{K}$ by $\mathrm{Tr}$, for which elements $z$ in $\mathbb{L}$, and $a$, $b$ in…

It is well known that for any finite Galois extension field $K/F$, with Galois group $G = \mathrm{Gal}(K/F)$, there exists an element $\alpha \in K$ whose orbit $G\cdot\alpha$ forms an $F$-basis of $K$. Such an element $\alpha$ is called…

Let $G$ be a finite group and $K$ a normal subset consisting of odd-order elements. The rational closure of $K$, denoted $\mathbf D_K$, is the set of elements $x \in G$ with the property that $\langle x \rangle = \langle y \rangle$ for some…

This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality-like condition to ensure the…

Let $K$ be an imaginary quadratic field with discriminant $d_K\leq-7$. We deal with problems of constructing normal bases between abelian extensions of $K$ by making use of singular values of Siegel functions. First, we show that a…

For any prime p we consider the density of elements in the multiplicative group of the finite field F_p having order, respectively index, congruent to a(mod d). We compute these densities on average, where the average is taken over all…

In "Random complex fewnomials, I," B. Shiffman and S. Zelditch determine the limiting formula as N goes to infinity of the (normalized) expected distribution of complex zeros of a system of k random n-nomials in m variables where the…

The aim of this paper is to unveil an unexpected relationship between the normal form of a polynomial with respect to a polynomial ideal and the more geometric concept of orthogonality. We present a new way to calculate the normal form of a…