What problem does this paper attempt to address?

The problem that this paper attempts to solve is: under the Generalized Riemann Hypothesis (GRH), study the index properties of the subgroup generated by the elements -1 and 2 in the finite field \( \mathbb{F}_p \), and calculate the natural density ratio of the prime number \( p \) under specific conditions. Specifically, let \( p \) be an odd prime number, and \( \mathbb{F}_p \) be a finite field containing \( p \) elements. Define \( \ell_p = [\mathbb{F}_p^* : \langle -1, 2 \rangle] \), that is, the index of the subgroup generated by -1 and 2 in the multiplicative group \( \mathbb{F}_p^*=\mathbb{F}_p\setminus\{0\} \). For \( \ell\in\mathbb{N} \), define \( d_\ell \) as the natural density of the prime number \( p \) such that \( \ell_p = \ell \). Consider the following ratio: \[ r=\frac{\sum_{\ell:\text{prime}\geq3}d_\ell}{\sum_{\ell\geq3}d_\ell} \] The goal of the paper is to prove that this ratio \( r \) is close to 46% under the Generalized Riemann Hypothesis. Through computer search of the first 100 million prime numbers, we get \( r\approx0.462535 \). To achieve this goal, the author first expresses \( \ell_p \) as: \[ \ell_p=\frac{p - 1}{2\cdot\text{ord}_p(4)} \] where \( \text{ord}_p(n) \) is the order of the element \( n \) in \( \mathbb{F}_p^* \). Further, according to whether \( \text{ord}_p(2) \) is odd, the order of \( \langle -1, 2 \rangle \) can be determined. Then, using the Artin constant and the results of Wagstaff (1992), calculate the natural density \( d_\ell \) for different \( \ell \). Finally, by calculating the sum of the denominator and the numerator, the upper and lower bounds of \( r \) are obtained: \[ 0.462 < r < 0.463 \] This shows that under the Generalized Riemann Hypothesis, the natural density ratio of the prime number \( p \) satisfying specific conditions is close to 46%.

A note on prime index of a certain subgroup in $\mathbb{F}_p^*$

A Note on Indices of Maximal Subgroups

A curious congruence modulo prime powers

A Congruence for Primes

The structure of a finite group and the maximum $π$-index of its elements

A note on sumsets of subgroups in $\mathbb Z_p^*$

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

On the $p$-ranks of class groups of certain Galois extensions

Notes on Primitive Roots Modulo Primes

On the conjecture of non-inner automorphisms of finite $p$-groups

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

A number-theoretic problem concerning pseudo-real Riemann surfaces

Toward a Sharp Baer–Suzuki Theorem for the π-Radical: Exceptional Groups of Small Rank

A remark on the distribution of $\sqrt{p}$ modulo one involving primes of special type

On the proportion of elements in finite symmetric group: I

Class numbers, Ono invariants and some interesting primes

A Prime Number Theorem for Rankin-Selberg L-functions over Number fields

A Note on Generalized Repunit Numerical Semigroups

The rank of 2-Selmer group associate to $\theta$-congruent numbers

A note on the exceptional set for sums of unlike powers of primes

On the modular isomorphism problem for groups with center of index at most