The least primary factor of the multiplicative group
Abstract.
Let denote the least primary factor in the primary decomposition of the multiplicative group . We give an asymptotic formula, with order of magnitude , for the counting function of those integers for which . We also give an asymptotic formula, for any prime powerΒ , for the counting function of those integers for which . This group-theoretic problem can be reduced to problems of counting integers with restrictions on their prime factors, allowing it to be addressed by classical techniques of analytic number theory.
2010 Mathematics Subject Classification:
11N25, 11N37, 11N45, 11N64, 20K011. Introduction
The multiplicative group moduloΒ is the finite abelian group of units in the ring , or equivalently the group of reduced residue classes moduloΒ under multiplication. Several common arithmetic functions are related to the multiplicative group: its size is the Euler phi-function , for instance, and its exponent is the Carmichael lambda-function . Both of these functions have been investigated for their distributional properties (as well as pointwise bounds), which reflects the fact that the multiplicative groupsΒ form a natural family of groups to study, and indeed a richer family of groups than the cyclic (additive) groupsΒ themselves.
The structure of these multiplicative groups is best described in terms of one of the two canonical forms for finite abelian groupsΒ . One canonical form is the invariant factor decomposition where each divides ; indeed in this form we have exactly. It turns out that the lengthΒ of the invariant factor decomposition is essentially , the number of distinct prime factors ofΒ , whose distribution also has a robust theory. Chang and the first authorΒ [1] used a refinement of the SelbergβDelange method to show that for almost all integersΒ and found an asymptotic formula for the number of for which for any fixed integerΒ .
In this paper we focus on the other canonical form for finite abelian groups, namely the primary decomposition where eachΒ is a prime power; this decomposition (which is also called the elementary factor decomposition) is uniquely determined byΒ up to the order of the primary factorsΒ . The result mentioned above implies that the least primary factor of equalsΒ for almost all integersΒ (since every primary factor of an invariant factor ofΒ is also a primary factor ofΒ itself). More specifically, we can prove:
Theorem 1.1.
The number of for whichΒ is not the least primary factor of is
where
(1.1) |
The main result of this paper is to use the same refinement of the SelbergβDelange method to establish an asymptotic formula for the number of integers for which the least primary factor of equals any fixed prime powerΒ . We introduce the following notation:
Definition 1.2.
Let denote the smallest primary factor ofΒ , that is, the least prime power appearing in the primary decomposition ofΒ . (Note that and are trivial groups; we are content to leave and undefined.) Also let denote the set of positive integers such that .
Theorem 1.3.
The constant has an implicit definition but can be computed in principle for anyΒ ; we work out the following special cases as examples.
Theorem 1.4.
Remark 1.5.
The notation appearing in the expressions forΒ andΒ will be explained more fully in RemarkΒ 6.2 below. For now, it suffices to say thatΒ in the expression forΒ runs over all nonprincipal Dirichlet characters moduloΒ , and any such character restricted to the residue class yields a Dirichlet character moduloΒ ; it is this latter character thatΒ refers to. In the expression forΒ , the same convention holds withΒ replaced byΒ and with replaced by .
Throughout this paper, and will always refer to primes, while will refer to a prime power (possibly itself prime). All -constants may depend onΒ . In SectionΒ 2 we prove TheoremΒ 1.1; the argument also serves as a foundation for the subsequent, more involved proof of TheoremΒ 1.3. In SectionΒ 3 we characterize integersΒ for which has no elementary factors less thanΒ in terms of the factorization ofΒ , and then deduce TheoremΒ 1.3 from that characterization using the SelbergβDelange method. The rest of the paper is devoted to demonstrating how to calculate the leading constants in TheoremΒ 1.3 explicitly in a form that allows for numerical approximation; the overall plan for doing so is given in SectionΒ 4, and the evaluation ofΒ is carried out in SectionΒ 5. After evaluating some subsidiary sums and products involving Dirichlet characters in SectionΒ 6, we complete the proof of TheoremΒ 1.4 by evaluatingΒ in SectionΒ 7 andΒ in SectionΒ 8.
2. Counting integers with least primary factor not equal toΒ
In this section we prove TheoremΒ 1.1; the argument also serves as a foundation for the more involved proof of TheoremΒ 1.3 in the next section.
We rely in an essential way on the fact that the primary decomposition of a direct product of finite abelian groups is simply the concatenation of the primary decompositions of the individual groupsΒ . In particular, the least primary factor ofΒ is equal to the minimum of the least primary factors of theΒ . This observation gives a particularly simple criterion for detecting the smallest possible primary factorΒ . Recall that denotes the smallest primary factor of the multiplicative groupΒ . We also write to mean but .
Lemma 2.1.
We have if and only if both and all odd primes dividingΒ are congruent to .
Proof.
If the prime-power factorization ofΒ is , the Chinese remainder theorem tells us that ; in particular, if and only if for some prime power .
WhenΒ is odd, classical results on primitive roots imply that ; the least primary factor of this direct sum is the least primary factor of , which is the smallest prime power dividing . In particular, its least primary factor equalsΒ precisely when .
On the other hand, is the trivial group, while when . In particular, the least primary factor of equalsΒ as soon as . β
As we carry out the proof of TheoremΒ 1.1, we introduce notation that will foreshadow more general notation in the next section.
Definition 2.2.
Let be the set of all positive integersΒ not exceedingΒ such that . Let be the set of all odd integers in .
Note that , and so TheoremΒ 1.1 is a claim about an asymptotic formula for , which we will deduce from an asymptotic formula for .
Lemma 2.3.
We have .
Proof.
The odd elements of are counted by by definition. On the other hand, every even is of the form whereΒ is odd, since by LemmaΒ 2.1; therefore the even elements of are counted by . β
Note that by LemmaΒ 2.1. Counting integers with this sort of restriction on their prime factors is a classical problem in analytic number theory (and indeed this particular case is almost the same as the seminal study by Landau Β [2] of the counting function of sums of two squares).
Lemma 2.4.
We have , where
Proof.
The paper of Chang and first authorΒ [1, PropositionΒ 4.1] contains the asymptotic formula
for any even positive integer , where
(2.1) |
Here is the order ofΒ in the multiplicative group , and and are the Euler Gamma function and Dirichlet -functions, respectively. The simplification of the constantΒ was carried out after TheoremΒ 1.2 of that paper:
(2.2) |
as claimed. β
With these results in hand, the proof of TheoremΒ 1.1 is a simple calculation:
3. Counting integers with least primary factor equal toΒ
Recall that from DefinitionΒ 1.2 is comprised of integersΒ such that the smallest primary factor is exactly equal toΒ , while from DefinitionΒ 2.2 is comprised of integersΒ such that is at leastΒ . In this section we prove TheoremΒ 1.3, the asymptotic formula for , using an elaboration on the method for finding an asymptotic formula for in the previous section.
Definition 3.1.
Given a prime power , let denote the smallest prime power that is greater thanΒ . Note that
(3.1) |
Thus to obtain an asymptotic formula for for all prime powersΒ , it suffices to obtain an asymptotic formula for for all prime powersΒ . This observation is helpful because, as it turns out, the property is easier to characterize than the property (see PropositionΒ 3.6 below).
Definition 3.2.
Given a prime power and a prime , let denote the largest positive integer such that , so that .
Definition 3.3.
For any primeΒ , let denote the multiplicity with whichΒ dividesΒ . For example, and and .
Lemma 3.4.
Fix primes and and a prime powerΒ . There exists such that and if and only if and .
Proof.
Choose , the only possibility for satisfying . If then the equivalence holds because both and . If then the equivalence holds as well because both and . Otherwise , and the equivalence holds because all statements are true in this case. β
Lemma 3.5.
Fix an odd prime powerΒ and a prime power . We have if and only if for every prime , either or .
Proof.
By LemmaΒ 3.4, it suffices to show that if and only if there exists a primeΒ and an integer such that and . But this is clear because is the smallest prime power such that , since is cyclic of order . (We remark that the exponentΒ plays no role, as the second half of the claimed equivalence indicates.) β
Proposition 3.6.
Let be a prime power and an integer. We have if and only if:
-
(a)
;
-
(b)
if is an odd prime, then ; and
-
(c)
if is a prime and is an odd prime, then either or .
(Technically partΒ (b) is a special case of partΒ (c), since there is always some prime divisorΒ of and thisΒ will automatically be less thanΒ if . But it will be helpful to record partΒ (b) explicitly.)
Proof.
Since by the Chinese remainder theorem, we see that is the minimum value of over all ; in particular, if and only if for all . We check the implications of this inequality separately for , for , and for .
-
(a)
If with , then and thus . Otherwise does not contribute to .
-
(b)
If for some , then , which makes impossible.
-
(c)
This last item follows directly from LemmaΒ 3.5. β
Remark 3.7.
Recall that was defined in DefinitionΒ 3.2. PropositionΒ 3.6(c) says that for each prime , each odd prime belongs to one of reduced residue classes modulo : one of those residue classes is , and the other residue classes modulo are those congruent to neitherΒ norΒ . (We write these residue classes explicitly in DefinitionΒ 6.1 below.)
Definition 3.8.
Remark 3.9.
IfΒ is prime then ; if with then
Either way, we see that .
Definition 3.10.
Let be an integer. Let be the union of distinct reduced residue classes (modΒ ), and set . Let be the set of all positive integersΒ whose prime factors all lie inΒ . We define the associated Dirichlet series:
which converges absolutely when . If we define
it turns out that has a removable singularity at , and thus is well defined.
Recall that from DefinitionΒ 2.2 is comprised of odd integersΒ such that is at leastΒ .
Proposition 3.11.
For any prime power ,
Proof.
LemmaΒ 2.3 is straightforward to generalize:
Lemma 3.12.
We have .
Proof.
The odd elements of are counted by by definition. On the other hand, every even is of the form whereΒ is odd, since by PropositionΒ 3.6; therefore the even elements of are counted by . β
Definition 3.13.
4. Plan for evaluating the leading constants
The remainder of this paper analyzes the constantΒ from DefinitionΒ 3.13 for , establishing TheoremΒ 1.4 and illustrating that in principle can be given a more concrete form for any prime powerΒ . The difficult component ofΒ is the constant , which we now outline a method for evaluating.
Recall DefinitionΒ 3.8 for the quantitiesΒ andΒ and the setΒ , as well as DefinitionΒ 3.10 for the functionsΒ andΒ . Chang and the first author showedΒ [1, equationΒ (3.3)] that
(4.1) |
In the two products we can simply plug in and evaluate, using equationsΒ (7.4) andΒ (7.5) below for the terms. (It turns out that the exponent of is an integerβsee LemmaΒ 6.3 belowβand in particular real-valued. Therefore the right-hand side is a positive real number at , as we can see after pairing the termsΒ andΒ in the product; thus taking the th root to solve for is unproblematic.) As for the factor, Chang and the first author further showedΒ [1, equationΒ (3.1)]Β that
(4.2) |
To evaluate , we will rewrite the right-hand side in terms of convergent Euler products over primes in various residue classes, such as the one arising in equationΒ (5.1) whose value at already appeared in equationΒ (2.2).
5. Calculating the leading constant
Implementing the plan from the previous section when is essentially reproducing the calculation summarized in the proof of LemmaΒ 2.4. Carrying out this computation explicitly will be helpful practice before addressing the more complicated cases and in later sections.
Proof of TheoremΒ 1.4 for .
We have and . EquationΒ (4.2) becomes
where and are the principal and nonprincipal characters moduloΒ , respectively. Splitting the odd primes into their residue classes moduloΒ , this formula becomes
(5.1) |
Notice that this product converges whenever ; in particular we can evaluate by simply plugging in to the right-hand side.
6. Evaluating
In order to evaluate the exponents in equationΒ (4.2), we need to determine in general. We accomplish this task in LemmaΒ 6.3 below after introducing some necessary notation.
Definition 6.1.
Let be a prime power andΒ be a prime. With as in DefinitionΒ 3.2:
-
β’
Define to be the full multiplicative group modulo .
-
β’
Define , which is also the subgroup of st powers in .
-
β’
Let be the singleton set containing only one residue class.
-
β’
Set , which is the set of residue classes described in RemarkΒ 3.7.
Remark 6.2.
Considering the large multiplicative group where is from DefinitionΒ 3.8, we see that by the Chinese remainder theorem; under this isomorphism, the collection of residue classes in from DefinitionΒ 3.8 can be written exactly as .
Moreover, every Dirichlet character can be uniquely written as the product of Dirichlet characters modulo asΒ ranges over the primes less thanΒ ; more precisely, there exist characters such that , where the are the components of the image of under the isomorphism from . It follows, for instance,Β that
(6.1) |
Lemma 6.3.
Let be a prime power and let be a prime. For any Dirichlet character ,
In particular, if then for any .
Proof.
We concentrate on the first assertion since the second one follows directly from it (or directly from the fact that when ). By definition,
by orthogonality. Comparing this expression to the desired formula, it suffices to prove that
But this is an immediate consequence of the fact that the subgroup is the dual group to the subgroup which is the set of st powers modulo . More concretely, if , then for everyΒ there exists such that , and therefore for each of the elements of . On the other hand, if , then we can choose such that ; then, since is in the subgroupΒ ,
which forces . β
By DefinitionΒ 3.10 and RemarkΒ 6.2, we can write equationΒ (4.2) as
(6.2) |
The factor corresponding to a primeΒ is some rational function of that depends only upon the residue class of . When we compute these rational functions, the following lemma implies that each one is actually a rational function of for some integer (depending on the residue class). Consequently, while the above formulas are valid for , the entire expression for will end up converging for at least; in particular, we can evaluate by simply plugging into the resulting expression.
Lemma 6.4.
Given , letΒ be any subgroup of the group of Dirichlet characters moduloΒ . If and the cardinality of equalsΒ , then
Proof.
Since the image is a subgroup of , it must equal the cyclic group of th roots of unity. It follows easily that the image contains all th roots of unity each with equal multiplicity . Therefore
by the factorization of over the complex numbers. β
7. Calculating the leading constant for
We now have all the tools we need to calculate the constantΒ from TheoremΒ 1.4.
Lemma 7.1.
For we have
(7.1) |
Note that the products on the right-hand side converge absolutely for .
Proof.
When , we have ; we also have and and therefore . EquationΒ (6.2) then simplifies since the sum over always equalsΒ :
(7.2) |
where is the character (modΒ ) that is the restriction ofΒ to the residue class . By LemmaΒ 6.3, this becomes
The products on the second line are all (powers of) products of the shape treated by LemmaΒ 6.4, over character subgroups of cardinalityΒ , , andΒ , respectively; the expression evaluates to
(7.3) |
where and and , quantities that depend only upon . A case-by-case analysis of theΒ residue classes in results in the expression asserted in the lemma. To see two example cases:
Remark 7.2.
The quantity can be calculated numerically to several decimal places by plugging in to equationΒ (7.1) and approximating the resulting absolutely convergent products numerically using all the primes up to some bound.
Proof of TheoremΒ 1.4 for .
EquationΒ (4.1) becomes
Therefore by LemmaΒ 6.3,
where the products are over the characters (modΒ ) with the given properties, remembering thatΒ is the restriction ofΒ to the residue class . (As a reality check on the notation, the first product runs over all characters that are nonprincipal but for which the corresponding character is principal; there turns out to be exactly one such character, namely the character induced by the nonprincipal character . The second and third products run overΒ andΒ characters (modΒ ), respectively.)
We briefly describe how we calculated the numerical approximation . Standard computational software can calculate to any desired accuracy. Furthermore, there are classical results that allow us to write as a finite sum of easily calculated quantities. For example, [3, TheoremΒ 9.9] tells us that if and is a primitive character moduloΒ , then
(7.4) |
where is the Gauss sum. Furthermore, if is a Dirichlet character (modΒ ) which is induced by the primitive character , then plugging into [3, equationΒ (9.2)] yields
(7.5) |
Therefore for any nonprincipal character, can be calculated with standard software to any desired accuracy. In this way we find that
It remains to calculate
We approximate by its truncation using all of the primes up to , which evaluates to . To control the error in this approximation, we note that by a linear approximation to the convex function ; the upper bounds for the absolute logarithms of the other possible Euler factors are all majorized by this one. Thus the absolute logarithm of the truncation error is at most
after integrating by parts. Using the RosserβSchoenfeld bound [4, equationΒ (3.6)], we obtain the crude estimate
Therefore the true value of is in the interval .
We conclude that and that this approximation is accurate to the indicated seven decimal places.
8. Calculating the leading constant for
As a final example, we use the same technique to calculate the constantΒ from TheoremΒ 1.4.
Lemma 8.1.
For we have
(8.1) |
Proof.
When , we have ; we also have and and therefore . EquationΒ (6.2) then simplifies since the sum over always equalsΒ :
(8.2) |
where is the character (modΒ ) that is the restriction ofΒ to the residue class . By LemmaΒ 6.3, this becomes
The products on the second line are all (powers of) products of the shape treated by LemmaΒ 6.4, over character subgroups of cardinalityΒ , , andΒ , respectively; the expression evaluates to
(8.3) |
where and and , quantities that depend only upon . A case-by-case analysis of theΒ residue classes in results in the expression asserted in the lemma. β
Proof of TheoremΒ 1.4 for .
As before, standard computational software can calculate , and the known formulas for allow us to calculate
Finally, the method of the previous section allows us to approximate
and the error analysis from the previous section is valid without change for this product. We conclude that accurate rounded to the indicated seven decimal places.
Acknowledgments
The first author was supported in part by a Natural Sciences and Engineering Council of Canada Discovery Grant.
References
- [1] B.Β Chang and G.Β Martin, The smallest invariant factor of the multiplicative group, Int. J. Number Theory 16 (2020), no.Β 6, 1377β1405.
- [2] E.Β Landau, Γber die Einteilung der positiven ganzen Zahlen in vier Klassen nach der Mindestzahl der zu ihrer additiven Zusammensetzung enforderlichen Quadrate, Arch. der Math. und Phys., 13(3):305β312, 1908.
- [3] H.Β L. Montgomery and R.Β C. Vaughan, Multiplicative number theory. I. Classical theory, volumeΒ 97 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 2007.
- [4] J.Β B.Β Rosser and L.Β Schoenfeld, Approximate formulas for some functions of prime numbers, Ill. J. Math. 6 (1962), 64β94.