Normal points on Artin–Schreier curves over finite fields
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 characte...
Saved in:
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Académie des sciences
2025-06-01
|
Series: | Comptes Rendus. Mathématique |
Subjects: | |
Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.740/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
_version_ | 1839606796526813184 |
---|---|
author | Kapetanakis, Giorgos Reis, Lucas |
author_facet | Kapetanakis, Giorgos Reis, Lucas |
author_sort | Kapetanakis, Giorgos |
collection | DOAJ |
description | 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. |
format | Article |
id | doaj-art-fd492989d58b438baac0b46ff4fd5655 |
institution | Matheson Library |
issn | 1778-3569 |
language | English |
publishDate | 2025-06-01 |
publisher | Académie des sciences |
record_format | Article |
series | Comptes Rendus. Mathématique |
spelling | doaj-art-fd492989d58b438baac0b46ff4fd56552025-08-01T07:26:11ZengAcadémie des sciencesComptes Rendus. Mathématique1778-35692025-06-01363G654155410.5802/crmath.74010.5802/crmath.740Normal points on Artin–Schreier curves over finite fieldsKapetanakis, Giorgos0https://orcid.org/0000-0002-3488-038XReis, Lucas1https://orcid.org/0000-0002-6224-9712Department of Mathematics, University of Thessaly, 3rd km Old National Road Lamia–Athens, 35100, Lamia, GreeceDepartamento de Matemática, Universidade Federal de Minas Gerais, UFMG, Belo Horizonte MG, BrazilIn 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.https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.740/Finite fieldscharacter sumsnormal elementsfree elementsArtin–Schreier curves |
spellingShingle | Kapetanakis, Giorgos Reis, Lucas Normal points on Artin–Schreier curves over finite fields Comptes Rendus. Mathématique Finite fields character sums normal elements free elements Artin–Schreier curves |
title | Normal points on Artin–Schreier curves over finite fields |
title_full | Normal points on Artin–Schreier curves over finite fields |
title_fullStr | Normal points on Artin–Schreier curves over finite fields |
title_full_unstemmed | Normal points on Artin–Schreier curves over finite fields |
title_short | Normal points on Artin–Schreier curves over finite fields |
title_sort | normal points on artin schreier curves over finite fields |
topic | Finite fields character sums normal elements free elements Artin–Schreier curves |
url | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.740/ |
work_keys_str_mv | AT kapetanakisgiorgos normalpointsonartinschreiercurvesoverfinitefields AT reislucas normalpointsonartinschreiercurvesoverfinitefields |