Some basic results in elementary number theory in function fields

DOI10.1016/J.JNT.2015.07.016MaRDI QIDQ746943zbMATH OpenOpenAlexFDO

Authors Nguyen Ngoc Dong Quan

Publication date 21 October 2015

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jnt.2015.07.016

zbMATH Keywords

Carlitz moduleCarmichael's totient function conjecturecyclotomic function fieldsEuler's totient functionSierpiński's conjecture

Mathematics Subject Classification ID

Arithmetic theory of algebraic function fields (11R58) Cyclotomic function fields (class groups, Bernoulli objects, etc.) (11R60)

Review text

In this paper, the author discusses Carlitz module analogues of some arithmetic functions in number fields. Consider \(k={\mathbb F}_q(T)\), \(A={\mathbb F}_q[T]\) and let \(A_+\) be the set of monic polynomials in \(A\). Let \(C\) be the Carlitz module on \(A\). Then the analogue of Euler's totient function is defined as \(\phi_C(m)=\prod_{i=1}^r \wp_i^{\alpha_i-1}(\wp_i-1)\), where \(m=\varepsilon\prod_{i=1}^r \wp_i^{\alpha_i}\) is the prime factorization of \(m\in A\), \(\varepsilon\in {\mathbb F}_q^{\ast}\) and \(\wp_i\) are distinct monic irreducible polynomials in \(A\). Then, it is proved that \(C_{\phi_C(m)}(u)\equiv 0\bmod m\) for any \(u\in A\) and that \(\sum_{u|m\atop u \text{ monic}}\phi_C(u)=m\). Next, in the classical case Carmichael conjecture states that for a given natural number \(m\), the equation \(\phi(x)=m\) cannot have exactly one solution. In the function field case the author, using a result of Hall that establishes that for \(q>2\), there exist infinitely many polynomials \(P\) in \(A\) such that both \(P\) and \(P+1\) are monic irreducible, proves that there exist infinitely many monic irreducible polynomials \(P\) in \(A\) such that \(\phi_C(x)=P\) has exactly one solution \(x\in A_+\). Sierpiński's conjecture establishes that for any \(n\geq 2\), there exists an integer \(m\) such that \(\phi(x)=m\) has exactly \(n\) solutions. In the last part of the paper is proposed an analogue of this conjecture in the function field case and some special cases are discussed.

Recommendations

• Lehmer's totient problem over \(\mathbb{F}_q [x]\)
• scientific article; zbMATH DE number 4112676
• scientific article; zbMATH DE number 1040507
• A Carlitz module analogue of a conjecture of Erdos and Pomerance
• scientific article; zbMATH DE number 802740

Cites work

• \(L\)-functions of twisted Legendre curves
• A note on Lerch's formulae for Euler quotients
• Explicit Class Field Theory for Rational Function Fields
• scientific article; zbMATH DE number 1716471 (Why is no real title available?)
• scientific article; zbMATH DE number 2130773 (Why is no real title available?)
• scientific article; zbMATH DE number 3523640 (Why is no real title available?)
• scientific article; zbMATH DE number 940594 (Why is no real title available?)
• Irreducible values of polynomials
• Simultaneous prime specializations of polynomials over finite fields
• The number of solutions of \(\varphi (x)=m\)

Cited in

(4)

• Multiple arithmetic functions in function fields
• On primitive elements of algebraic function fields and models of \(X_0(N)\)
• On incidences of \(\varphi\) and \(\sigma\) in the function field setting
• A Twin for Euler’s φ Function in $\mathbb{F}_2[X]$

This page was built for publication: Some basic results in elementary number theory in function fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q746943)