Multiplicative orders of Gauss periods and the arithmetic of real quadratic fields (Q2031650)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Multiplicative orders of Gauss periods and the arithmetic of real quadratic fields |
scientific article |
Statements
Multiplicative orders of Gauss periods and the arithmetic of real quadratic fields (English)
0 references
10 June 2021
0 references
Let \(q\) be a prime number, \(n\) be a positive integer, and \(\mathbb F_{q^n}\) be the finite field with \(q^n\) elements. Suppose that \(p = 2n+1\) is a prime, let \(\zeta \in \mathbb F_{q^{2n}}\) be a primitive \(p^{\mathrm{th}}\) root of unity, and let \(\alpha = \zeta + \zeta^{-1}\). This \(\alpha\) is known as Gauss period of type \((n,2)\) over \(\mathbb F_q\). If \(\alpha\) is a primitive element, then it generates a normal basis for \(\mathbb F_{q^n}\), thus it is useful to know more about the multiplicative order ord\((\alpha)\) of \(\alpha\) in \(\mathbb F_{q^n}^*\). Some lower bounds are already known (see [\textit{O. Ahmadi} et al., Int. J. Number Theory 6, No. 4, 877--882 (2010; Zbl 1201.11110); \textit{J. von zur Gathen} and \textit{I. Shparlinski}, Appl. Algebra Eng. Commun. Comput. 9, No. 1, 15--24 (1998; Zbl 0931.11057); \textit{S. Gao} and \textit{S. A. Vanstone}, Math. Comput. 64, No. 211, 1227--1233 (1995; Zbl 0868.11059); \textit{R. Popovych}, Finite Fields Appl. 18, No. 4, 700--710 (2012; Zbl 1251.11086); \textit{R. Popovych}, Ukr. Math. J. 66, No. 6, 916--927 (2014; Zbl 1319.11091)] for more). In this paper, the authors obtain upper bounds for ord\((\alpha)\) using some divisibility conditions. More precisely, let ind\((\alpha) = \frac{q^n-1}{\mathrm{ord}(\alpha)} \in \mathbb Z_+^*\) be the index of \(\alpha\), which is usually small. It is shown that small prime factors of this index can be detected in the arithmetic of the quadratic field \(K = \mathbb Q(\sqrt{p})\). Let \(\varepsilon_p\), \(h_p\), and \(\mathcal O_K\) be the fundamental unit, the class number and the ring of integers of \(K\), respectively. When \(q\) is inert in \(K/\mathbb Q\), let ind\((\varepsilon_p \mod q)\) be the multiplicative index of \((\varepsilon_p \mod {q \mathcal O_K})\) in \((\mathcal O_K/ q\mathcal O_K)^* \simeq \mathbb F_{q^2}^*\). The main result can be stated as follows. Theorem 1.1. Let \(p \equiv 5 \mod 8\) be a prime. Suppose that \((\mathbb Z/ p\mathbb Z)^* = \langle -1,q \rangle\) and let \(\zeta \in \mathbb F_{q^{p-1}}\) be a primitive \(p^{\mathrm{th}}\) root of unity. Then \[ \gcd(\mathrm{ind}(\zeta + \zeta^{-1}), q^2-1) =\mathrm{ind}(\varepsilon_p^{h_p} \mod q). \] They also remark that ord\((\zeta+1)\) when \(q=2\) determine the periods of Ducci sequences (see [\textit{F. Breuer} et al., Finite Fields Appl. 13, No. 2, 293--304 (2007; Zbl 1152.11005); \textit{F. Breuer}, Bull. Aust. Math. Soc. 100, No. 2, 201--205 (2019; Zbl 1459.11077); \textit{F. Breuer} and \textit{I. E. Shparlinski}, Bull. Aust. Math. Soc. 102, No. 1, 31--38 (2020; Zbl 1450.11018)]). Moreover, if \(q\) is a primitive root modulo \(p\), then \(p \nmid q^n-1\), hence \(p \nmid\mathrm{ord}(\zeta + \zeta^{-1})\). It implies that ord\((\zeta+1) = p \mathrm{ord}(\zeta + \zeta^{-1})\). As a consequence of Theorem 1.1., they get the following result. Corollary 1.2. Suppose that \(p \equiv 5 \pmod 8\) is prime and that \(2\) is a primitive root modulo \(p\). Let \(\zeta \in \mathbb F_{2^{p-1}}\) be a primitive \(p^{\mathrm{th}}\) root of unity. Then the following are equivalent: \begin{itemize} \item[(1)] ind\((\zeta+1)\) is divisible by \(3\). \item[(2)] ind\((\zeta+\zeta^{-1})\) is divisible by \(3\). \item[(3)] The eventual period \(P\) of any Ducci sequence in \(\mathbb Z^p\) formed by iterating the map \[ D: \mathbb Z^p \to \mathbb Z^p; \quad D(x_1,x_2,\dots,x_p) = (|x_1-x_2|, |x_2-x_3|, \dots, |x_n-x_1|) \] satisfies \(P \mid \frac{1}{3} p(2^{(p-1)/2} - 1)\). \item[(4)] \((i)\) \(\varepsilon_p \equiv 1 \mod 2\mathcal O_K\) or \((ii)\) \(3 \mid h_p\). \end{itemize} Some of the implications above were already known, such as \(4(i) \Rightarrow (3)\) (see [Zbl 1459.11077]) and \((1) \Leftrightarrow (3)\) (see [Zbl 1152.11005]). Finally, they also discuss the heuristic of how often a given prime prime divides \(\text{ord}(\alpha)\).
0 references
multiplicative orders
0 references
Gauss periods
0 references
class numbers
0 references
real quadratic units
0 references