Abstract:In 2022, S.D. Cohen and the two authors introduced and studied the concept of $(r, n)$-freeness on finite cyclic groups $G$ for suitable integers $r, n$, which is an arithmetic way of capturing elements of special forms that lie in the subgroups of $G$. Combining this machinery with some character sum techniques, they explored the existence of points $(x_0, y_0)$ on affine curves $y^n=f(x)$ defined over a finite field $\mathbb F$ whose coordinates are generators of the multiplicative cyclic group $\mathbb F^*$. In this paper we develop the natural additive counterpart of this work for finite fields. Namely, any finite extension $\mathbb E$ of a finite field $\mathbb F$ with $Q$ elements is a cyclic $\mathbb F[x]$-module induced by the Frobenius automorphism $\alpha\mapsto \alpha^{Q}$, and any generator of this module is said to be a normal element over $\mathbb F$. We introduce and study the concept of $(f, g)$-freeness on this module structure for suitable polynomials $f, g\in \mathbb F[x]$. As a main application of the machinery developed in this paper, we study the existence of $\mathbb F_{p^n}$-rational points in the Artin-Schreier curve $\mathfrak A_f : y^p-y=f(x)$ whose coordinates are normal over the prime field $\mathbb F_p$ and establish concrete results.

Locally imprimitive points on elliptic curves

Primitive algebraic points on curves

Large degree primitive points on curves

Primitive elements in $p$-divisible groups

A single source theorem for primitive points on curves

Heegner point constructions and fundamental units in cubic fields

Rigidity in Elliptic Curve Local-Global Principles

Branch points of split degenerate superelliptic curves I: construction of Schottky groups

A question about points on an elliptic curve with prime denominator

Cyclic Cubic Points on Higher Genus Curves

Normal points on Artin-Schreier curves over finite fields

Torsion points and Galois representations on CM elliptic curves

On Locally Primitive Cayley Graphs of Finite Simple Groups

Arithmetic Restrictions on Geometric Monodromy

Arithmetic representations of fundamental groups II: finiteness

$\mathbb{F}_q$-primitive points on varieties over finite fields

Nontrivial rational points on Erdős-Selfridge curves

Theories of green points

Branch points of split degenerate superelliptic curves II: on a conjecture of Gerritzen and van der Put

Sporadic points of odd degree on $X_1(N)$ coming from $\mathbb{Q}$-curves

The distribution of the multiplicative index of algebraic numbers over residue classes