Counting subrings of the ring Zm ˆ Zn

arXiv:1801.07120v1 [math.NT] 22 Jan 2018

László Tóth
Department of Mathematics, University of Pécs
Ifjúság útja 6, 7624 Pécs, Hungary
E-mail: ltoth@gamma.ttk.pte.hu

Abstract
Let m, n P N. We represent the additive subgroups of the ring Zm ˆ Zn , which are also
(unital) subrings, and deduce explicit formulas for N psq pm, nq and N pusq pm, nq, denoting the
number of subrings of the ring Zm ˆ Zn and its unital subrings, respectively. We show that
the functions pm, nq ÞÑ N psq pm, nq and pm, nq ÞÑ N pusq pm, nq are multiplicative, viewed as
functions of two variables, and their Dirichlet series can be expressed inřterms of the Riemann
zeta function. We also establish an asymptotic formula for the sum m,nďx N psq pm, nq, the
error term of which is closely related to the Dirichlet divisor problem.

2010 Mathematics Subject Classification: Primary 11T99, 11N37, 20K27; Secondary 11A25,
13A99.
Key Words and Phrases: subgroup; subring; ideal; number of subrings; multiplicative arithmetic
function of two variables, asymptotic formula, Dirichlet divisor problem.

1

Motivation and preliminaries

Throughout the paper we use the following
N :“ t1, 2, . . .u, N0 :“ t0, 1, 2, . . .u; the
ś νp notation:
pnq
prime power factorization of n P N is n “ p p
, the product being over the primes p, where all
but a finite number of the exponents νp pnq are zero; gcdpm, nq and lcmpm, nq denote the greatest
common divisor and the least common multiple of m, n P N, respectively; Zn denotes the set of
residue classes modulo n (n P N); τ pnq is the number of divisors of n; ϕ is Euler’s arithmetic
function.
Consider the ring pZm ˆ Zn , `, ¨q, where m, n P N. If gcdpm, nq “ 1, then it is isomorphic
to the ring pZmn , `, ¨q. Hence, all of its additive subgroups are subrings, i.e., are closed under
multiplication. In fact, all additive subgroups are ideals of the given ring. If gcdpm, nq ą 1, then
this is not the case. For example, K :“ tp2i, i ` 3jq : 0 ď i, j ď 5u is an additive subgroup of
Z12 ˆ Z18 , p2, 7q P K, p4, 5q P K, but p2, 7qp4, 5q “ p8, 17q R K. In the same time, the subgroup
L :“ tp2i, 2i ` 3jq : 0 ď i, j ď 5u is a subring of Z12 ˆ Z18 , as a direct check shows. Here L is not
an ideal, since, e.g., p2, 5q P L, but p2, 5qp1, 3q “ p2, 15q R L.
Therefore, the following natural questions arise: Let m, n P N. What are the subrings of the
ring Zm ˆ Zn ? What are its unital subrings, i.e., subrings including the multiplicative unity p1, 1q?

1

What are its ideals? What are the number of subrings, unital subrings, respectively ideals of
Zm ˆ Zn ?
Subrings and ideals of direct products of rings were investigated by Anderson and Camillo [1].
Versions of Goursat’s lemma for ideals and subrings of a direct product of rings were given in [1,
Th. 11]. The ideals of the ring Zm ˆZn were also discussed in a recent paper by Chebolu and Henry
[5]. In fact, the ideals of Zm ˆ Zn are of the form I ˆ J, where I and J are additive subgroups
of Zm and Zn , respectively. This follows from a well known property concerning the ideals of the
direct product of two arbitrary rings with unity, and has a simple proof. See [1, Prop. 9]. Hence,
the number of ideals of Zm ˆ Zn is τ pmqτ pnq.
However, there are no direct results in the above papers concerning the subrings and unital
subrings of Zm ˆ Zn , and we are not aware of related results in the literature. We remark that
subrings and unital subrings (called sublattices and subrings, respectively) of a fixed index of the
ring Zn were studied by Liu [8], and in a recent preprint by Atanasov, Kaplan, Krakoff, and Menzel
[2].
The following results on the representation and the number of subgroups of the group pZm ˆ
Zn , `q with m, n P N were deduced by us [11], using Goursat’s lemma for groups. See also the
papers [7, 10], using different approaches.
Theorem 1.1 ([11, Th. 3.1]). Let m, n P N. For every m, n P N let
)
´ a¯
!
c
a
a
“1 .
Jm,n :“ pa, b, c, d, ℓq P N5 : a | m, b | a, c | n, d | c, “ , ℓ ď , gcd ℓ,
b
d
b
b
For pa, b, c, d, ℓq P Jm,n define
!´ m n
)
n¯
Ka,b,c,d,ℓ :“ i , iℓ ` j
: 0 ď i ď a ´ 1, 0 ď j ď d ´ 1 .
a
c
d

(1)

Then the following hold true:
i) The map pa, b, c, d, ℓq ÞÑ Ka,b,c,d,ℓ is a bijection between the set Jm,n and the set of subgroups
of pZm ˆ Zn , `q.
ii) The invariant factor decomposition of the subgroup Ka,b,c,d,ℓ is
Ka,b,c,d,ℓ » Zgcdpb,dq ˆ Zlcmpa,cq .
iii) The order of the subgroup Ka,b,c,d,ℓ is ad and its exponent is lcmpa, cq.
iv) The subgroup Ka,b,c,d,ℓ is cyclic if and only if gcdpb, dq “ 1.
We note that by the condition a{b “ c{d we have lcmpa, cq “ lcmpa, ad{bq “ lcmpad{d, ad{bq “
ad{ gcdpb, dq. That is, gcdpb, dq ¨ lcmpa, cq “ ad. Also, gcdpb, dq | lcmpa, cq.
Figure 1 represents the subgroup K6,2,18,6,2 of Z12 ˆ Z18 . It has order 36 and is isomorphic to
Z2 ˆ Z18 . Here K6,2,18,6,2 “ tp2i, 2i ` 3jq : 0 ď i, j ď 5u “ L, quoted above, and it is also a subring.
Theorem 1.2 ([11, Th. 4.1]). Let m, n P N. The number spm, nq of subgroups of the group
pZm ˆ Zn , `q is given by
´m¯ ´n¯
ÿ
ÿ
spm, nq “
gcdpi, jq “
ϕptqτ
τ
.
t
t
i|m
j|n

t|gcdpm,nq

2

Figure 1. The subgroup K6,2,18,6,2 of Z12 ˆ Z18
17
16
15
14
13
12
11
10
9
8
7
6
5
4
3
2
1
0

¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
0 1

 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
2 3

¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
4 5

¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
6 7

 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
 ¨
¨ ¨
¨ ¨
8 9

¨
¨
 ¨
¨
¨
¨
¨
 ¨
¨
¨
¨
¨
 ¨
¨
¨
¨
¨
 ¨
¨
¨
¨
¨
 ¨
¨
¨
¨
¨
 ¨
¨
¨
10 11

We recall that a nonzero arithmetic function of two variables pm, nq ÞÑ f pm, nq is said to be
multiplicative if f pm1 n1 , m2 n2 q “ f pm1 , m2 qf pn1 , n2 q, provided that gcdpm1 m2 , n1 n2 q “ 1. We
refer to our survey paper [12] regarding this concept. If f is multiplicative, then it is determined
by the values f ppα, pβ q, where p is prime and α, β P N0 . More exactly, f p1, 1q “ 1 and for any
m, n P N,
ź
f pm, nq “
f ppνp pmq , pνp pnq q.
p

The function pm, nq ÞÑ spm, nq is multiplicative and for any prime powers pα , pβ with 1 ď α ď β,
its values are given by
sppα , pβ q “

pβ ´ α ` 1qpα`2 ´ pβ ´ α ´ 1qpα`1 ´ pα ` β ` 3qp ` pα ` β ` 1q
.
pp ´ 1q2

(2)

In this paper we characterize the subgroups Ka,b,c,d,ℓ of Zm ˆ Zn , given by (1), which are also
(unital) subrings, and deduce explicit formulas for N psq pm, nq and N pusq pm, nq, denoting the number
of subrings and unital subrings, respectively. We show that the functions pm, nq ÞÑ N psq pm, nq and
pm, nq ÞÑ N pusq pm, nq are also multiplicative, and their Dirichlet series can be ř
expressed in terms
of the Riemann zeta function. We establish an asymptotic formula for the sum m,nďx N psq pm, nq,
the error term of which is closely related to the Dirichlet divisor problem. Our results are included
in Section 2 and their proofs are given in Section 3.

3

2

Main results

Theorem 2.1. Let m, n P N and consider the additive subgroup Ka,b,c,d,ℓ of Zm ˆ Zn , given by
(1).
i) The subgroup Ka,b,c,d,ℓ is a subring of Zm ˆ Zn if and only if
c
n m
|ℓ ´ .
d
c
a

(3)

ii) The subgroup
` Ka,b,c,d,ℓ
˘ is a unital subring of Zm ˆ Zn if and only if a “ m, c “ n, ℓ “ 1.
Here Km,b,n,d,1 “ t i, i ` j nd : 0 ď i ď m ´ 1, 0 ď j ď d ´ 1u, where b | m, d | n, mb “ nd .
iii) The subgroup Ka,b,c,d,ℓ is an ideal of Zm ˆ Zn if and only if a “ b, c “ d, ℓ “ 1. In this
n
case Ka,a,c,c,1 “ ti m
a : 0 ď i ď a ´ 1u ˆ tj c : 0 ď j ď c ´ 1u, where a | m, c | n.
Theorem 2.2. Let m, n P N.
i) The number of subrings of the ring Zm ˆ Zn is given by
ÿ
N psq pm, nq “
hpi, jq,

(4)

i|m
j|n

where
hpi, jq “

ÿ

d|gcdpi,jq
gcdpd,i{dq“gcdpd,j{dq“t

ϕpdq
.
ϕpd{tq

(5)

ii) The number of unital subrings of the ring Zm ˆ Zn is N pusq pm, nq “ τ pgcdpm, nqq.
iii) The number of ideals of the ring Zm ˆ Zn is τ pmqτ pnq.
It is clear that N psq pm, nq and N pusq pm, nq are symmetric in the variables.
Theorem 2.3. The functions pm, nq ÞÑ hpm, nq, pm, nq ÞÑ N psq pm, nq and pm, nq ÞÑ N pusq pm, nq
are multiplicative, viewed as arithmetic functions of two variables. For any prime powers pα , pβ
(0 ď α ď β) their values are given by the following polynomials in p:
$ γ`1
p
´1
’
α “ β “ 2γ,
’
p´1 ,
’
’
&p γ ,
α “ 2γ ă β,
hppα , pβ q “ 2pγ ´pγ´1 ´1
(6)
’
,
α
“
β
“
2γ
´
1,
’
p´1
’
’
%pγ´1 ,
α “ 2γ ´ 1 ă β,

4

$
ř
pγ ` 10 γj“1 jpγ´j
’
’
’
` γ`2
˘
’
1
’
“ pp´1q
` 8pγ`1 ` pγ ´ 10pγ ` 1qp ` 10γ ,
’
2 p
’
’
ř
’
’
’
pβ ´ 2γ ` 1qpγ ` 2 γj“1 p5j ` β ´ 2γqpγ´j
’
’
`
’
1
’
γ`2 ` 8pγ`1 ´ pβ ´ 2γ ´ 1qpγ
’
“ pp´1q
2 pβ ´ 2γ ` 1qp
’
’
’
& ´2pβ ` 3γ ` 5qp ` 2pβ ´ 3γqq ,
N psq ppα , pβ q “
ř
’
5 γj“1 p2j ´ 1qpγ´j
’
’
`
˘
’
’
’“ 5 2 pγ`1 ` pγ ´ p2γ ` 1qp ` 2γ ´ 1 ,
’
pp´1q
’
’
ř
’
’ γ p10j ` 2β ´ 4γ ´ 3qpγ´j
’
j“1
’
’
`
’
1
γ`1 ´ p2β ´ 4γ ´ 3qpγ
’
“
’ pp´1q
2 p2β ´ 4γ ` 7qp
’
’
%
´p2β ` 6γ ` 7qp ` 2β ` 6γ ´ 3q ,

α “ β “ 2γ,

α “ 2γ ă β,

(7)

α “ β “ 2γ ´ 1,

α “ 2γ ´ 1 ă β,

N pusq ppα , pβ q “ minpα, βq ` 1.

Remark that for every m, n P N,
N pusq pm, nq “ τ pgcdpm, nqq ď τ pmnq ď τ pmqτ pnq ď N psq pm, nq ď spm, nq,
which follow from the definitions and properties of the τ function. Here τ pmnq is the number of
cyclic subproducts of Zm ˆ Zn . See [7, Th. 5].
To illustrate the applicability of our results, we note that the ring Z12 ˆ Z18 has
N psq p12, 18q “ N psq p22 ¨ 3, 2 ¨ 32 q “ N psq p2, 22 qN psq p3, 32 q “ 7 ¨ 7 “ 49
subrings and N pusq p12, 18q “ τ pgcdp12, 18qq “ τ p6q “ 4 unitary subrings. The number of its ideals
is τ p12qτ p18q “ 36. The number of subgroups is sp12, 18q “ sp2, 22 qsp3, 32 q “ 8 ¨ 10 “ 80, by using
(2).
Now consider the case m “ n. Let hpnq “ hpn, nq. Furthermore, let N psq pnq :“ N psq pn, nq and
pusq
N
pnq :“ N pusq pn, nq denote the number of subrings, respectively unital subrings of the ring Z2n .
Corollary 2.4. The functions n ÞÑ hpnq, n ÞÑ N psq pnq and n ÞÑ N pusq pnq are multiplicative, viewed
as arithmetic functions of one variable. For every n P N we have
ÿ
N psq pnq “
hpiq,
i|n

where
hpiq “

ÿ
d|i

ϕpdq
.
ϕpd{ gcdpd, i{dqq

and N pusq pnq “ τ pnq.
Let θ be the exponent is the Dirichlet divisor problem for τ pnq, that is
ÿ
τ pnq “ x log x ` p2C ´ 1qx ` Opxθ`ε q

(8)

nďx

.
for every ε ą 0, where C is Euler’s constant. Note that 1{4 ď θ ď 517{1648 “ 0.313713, the upper
bound being a recent result due to Bourgain and Watt [3].
5

Theorem 2.5. i) For z, w P C with ℜz ą 1, ℜw ą 1 we have
8
ÿ
N psq pm, nq
ζ 2 pzqζ 2 pwqζpz ` wqζp2z ` 2w ´ 1q
.
“
mz n w
ζpz ` 2wqζp2z ` wq
m,n“1

ii) For every ε ą 0,
ÿ

m,nďx

˘
`
N psq pm, nq “ x2 A1 log2 x ` A2 log x ` A3 ` Opx1`θ`ε q,

(9)

(10)

where A1 “ ζp2q{ζp3q, A2 , A3 are explicit constants.
The formulas (9) and (10) may be compared to
8
ÿ
ζ 2 pzqζ 2 pwqζpz ` w ´ 1q
spm, nq
“
mz n w
ζpz ` wq
m,n“1

and

ÿ

m,nďx

˘
`
3´θ
spm, nq “ x2 B1 log3 x ` B2 log2 x ` B3 log x ` B4 ` Opx 2´θ `ε q,

respectively, where B1 “ 2{π 2 , B2 , B3 , B4 are explicit constants, proved by Nowak and the author
[9, Th. 2.1, 2.2]. We also remark that for N pusq pm, nq “ τ pgcdpm, nqq,
8
ÿ
N pusq pm, nq
“ ζpzqζpwqζpz ` wq,
mz n w
m,n“1

and

ÿ

N pusq pm, nq “ ζp2qx2 ` Opx log xq,

m,nďx

which easily follows from the identity

3

Proofs

ř

m,nďx τ pgcdpm, nqq

“

ř

2
dďx rx{ds .

Proof of Theorem 2.1. i) Let 0 ď i1 , i2 ď a ´ 1, 0 ď j1 , j2 ď d ´ 1. Assume that
´ m
n
n¯ ´ m
n
n¯
i1 , i1 ℓ ` j1
i2 , i2 ℓ ` j2
a
c
d
a
c
d
ˆ
´ ¯2
´ n ¯2 ˙
´ m ¯2
n2
2 n
, i1 i2 ℓ
` pi1 j2 ` i2 j1 qℓ ` j1 j2
“ i1 i2
a
c
cd
d

equals

´ m n
n¯
i , iℓ ` j
a
c
d
for some i and j. This holds true if and only if
´ m ¯2
m
i ” i1 i2
(mod m),
a
a
6

that is
i ” i1 i2

m
a

(mod a),

(11)

and

´ n ¯2
´ n ¯2
n
n2
n
` pi1 j2 ` i2 j1 qℓ ` j1 j2
(mod n).
` j ” i1 i2 ℓ2
c
d
c
cd
d
By using (11) and the fact that nd “ nc ¨ dc , (12) is equivalent to
¯
´
c
n
n
nc
m
i1 i2 ` ka ℓ ` j ” i1 i2 ℓ2 ` pi1 j2 ` i2 j1 qℓ ` j1 j2 2 (mod c),
a
d
c
d
d
iℓ

(12)

(13)

with some k P Z.
Here (13) is a linear congruence in j, and since gcdpc{d, cq “ c{d, it has solutions in j if and
only if
c
n
m
| i1 i2 ℓ2 ´ pi1 i2 ` kaqℓ,
d
c
a
which is equivalent, by using that gcdpℓ, c{dq “ 1 and c{d “ a{b | a, to
´ n m¯
c
.
| i1 i2 ℓ ´
d
c
a
For i1 “ i2 “ 1 we have the necessary condition dc | ℓ nc ´ m
a , which is also sufficient for every
i1 , i2 .
ii) The subgroup Ka,b,c,d,ℓ , given by (1), contains the identity p1, 1q if and only if
´ m n
n¯
“ p1, 1q
i , iℓ ` j
a
c
d

for some i and j. This holds true if and only if a “ m, c “ n and ℓ “ 1 (with i “ 1, j “ 0). In this
case, condition (3) is satisfied.
iii) Let R and S be two commutative rings with identity. Then every ideal of R ˆ S is of the
form I ˆ J, where I and J are ideals of R and S, respectively. This follows from [1, Prop. 9], as
already refered in Section 1. Since the ideals of Zm are its subgroups, we deduce that Ka,b,c,d,ℓ is
an ideal if and only if it is a subproduct of Zm ˆ Zn . That is, Ka,b,c,d,ℓ “ I ˆ J, where I and J
are subgroups of Zm and Zn , respectively. Then J is the second projection of Ka,b,c,d,ℓ , namely
tjn{d : 0 ď j ď d ´ 1u ď Zn . Also, for every i and j there is k such that iℓ nc ` j nd “ k nd . For i “ 1,
j “ 0 we get ℓ nc “ k nd , that is ℓ “ k dc , where d | c. Using that gcdpℓ, dc q “ 1 and ℓ ď dc , we deduce
that c “ d, hence a “ b, and ℓ “ 1.
To prove Theorem 2.2 we need the following known auxiliary result. See [6, Th. 2] and [4, Th.
3.1] for its proofs.
Lemma 3.1. Let n P N, a, b P Z. The linear congruence ax ” b (mod n) admits solutions x such
that gcdpx, nq “ 1 if and only if gcdpa, nq “ gcdpb, nq “ d. In this case the number of solutions
(mod n) is ϕpnq{ϕpn{dq.

7

Proof of Theorem 2.2. i) By i) of Theorem 2.1 the number of subrings is
N psq pm, nq “

e
ÿ

ÿÿ

ÿ

1.

(14)

ℓ“1
a|m c|n
a{b“c{d“e
b|a d|c gcdpℓ,eq“1 e|ℓ n
´m
c
a

Let m “ ax, a “ by, n “ cz, c “ dt. Then, by the condition a{b “ c{d “ e we have y “ t “ e.
Rearranging the terms of (14),
N psq pm, nq “

ÿ

bxe“m
dze“n

e
ÿ

1

ℓ“1
gcdpℓ,eq“1
zℓ”x (mod e)

Using Lemma 3.1, we deduce that
ÿ

N psq pm, nq “

bxe“m
dze“n
gcdpx,eq“gcdpz,eq“t

“

ÿ

bi“m
dj“n

ÿ

xe“i
ze“j
gcdpx,eq“gcdpz,eq“t

ϕpeq
ϕpe{tq

ÿ
ϕpeq
“
hpi, jq.
ϕpe{tq
i|m
j|n

ii) By ii) of Theorem 2.1 the number of unital subrings is
ÿ
ÿ
ÿ
N pusq pm, nq “
1“
1“
1 “ τ pgcdpm, nqq.
b|m
d|n
m{b“n{d

bj“m
dj“n

j|gcdpm,nq

iii) Follows at once by iii) of Theorem 2.1.
Proof of Theorem 2.3. First we show that the function pm, nq ÞÑ hpm, nq is multiplicative. Let
gcdpm1 m2 , n1 n2 q “ 1. Then, by using that the function pm, nq ÞÑ gcdpm, nq is multiplicative, we
deduce that
ÿ
ϕpdq
hpm1 n1 , m2 n2 q “
ϕpd{tq
d|gcdpm1 n1 ,m2 n2 q
gcdpd,m1 n1 {dq“gcdpd,m2 n2 {dq“t

“

ÿ

d|gcdpm1 ,m2 q gcdpn1 ,n2 q
gcdpd,m1 n1 {dq“gcdpd,m2 n2 {dq“t

ϕpdq
,
ϕpd{tq

where gcdpm1 , m2 q and gcdpn1 , n2 q are relatively prime. Let d “ ab such that a | gcdpm1 , m2 q and
b | gcdpn1 , n2 q. Then
gcdpd, m1 n1 {dq “ gcdpab, m1 n1 {pabqq “ gcdpa, m1 {aq gcdpb, n1 {bq
8

and
gcdpd, m2 n2 {dq “ gcdpab, m2 n2 {pabqq “ gcdpa, m2 {aq gcdpb, n2 {bq.
Also, the condition gcdpd, m1 n1 {dq “ gcdpd, m2 n2 {dq implies that gcdpa, m1 {aq “ gcdpa, m2 {aq
and gcdpb, n1 {bq “ gcdpb, n2 {bq. We deduce that
ÿ

hpm1 n1 , m2 n2 q “

a|gcdpm1 ,m2 q
gcdpa,m1 {aq“gcdpa,m2 {aq“A

ϕpaq
ϕpa{Aq

ÿ

b|gcdpn1 ,n2 q
gcdpb,n1 {bq“gcdpb,n2 {bq“B

ϕpbq
ϕpb{Bq

“ hpm1 , m2 qhpn1 , n2 q.
Now it follows that the function N psq pm, nq is also multiplicative, being the convolution of
hpm, nq with the identic 1 function, according to (4).
Let pα , pβ be any prime powers with 0 ď α ď β. By (5) we have
ÿ

hppα , pβ q “

d|gcdppα ,pβ q
gcdpd,pα {dq“gcdpd,pβ {dq“t
α
ÿ

“

j“0
gcdppj ,pα´j q“gcdppj ,pβ´j q“t

If α “ β, then
hppα , pα q “
which gives for α “ 2γ ě 0,
hpp2γ , p2γ q “

γ
ÿ

ϕppj q `

j“0

α
ÿ

ϕpdq
ϕpd{tq

ϕppj q
.
ϕppj {tq

ϕppj q

ϕppj´minpj,α´jq q
j“0

,

γ
γ
γ
ÿ
ÿ
ÿ
ϕppγ`j q
γ´j
γ
pγ´j ,
p
“
“
p
`
2j q
ϕpp
j“1
j“0
j“1

and for α “ 2γ ´ 1 ě 1,
hpp2γ´1 , p2γ´1 q “

γ´1
ÿ

ϕppj q `

j“0

γ
γ
ÿ
ÿ
ϕppγ`j´1 q
γ´1
pγ´j .
“
p
`
2j´1 q
ϕpp
j“1
j“1

By (15), if α “ 2γ ă β, then
hpp2γ , pβ q “

γ
ÿ

ϕppj q “ pγ ,

j“0

and if α “ 2γ ´ 1 ă β, then
hpp

2γ´1

β

,p q “

γ´1
ÿ
j“0

9

ϕppj q “ pγ´1 .

(15)

This proves identities (6). From (4) we deduce that
N psq ppα , pβ q “

β
α ÿ
ÿ

hppj , pk q,

j“0 k“0

and by using (6), identities (7) are obtained by some direct computations, which are omitted.
Proof of Theorem 2.5. i) By Theorem 2.3 the function hpm, nq is multiplicative. Therefore its
Dirichlet series can be expanded into the Euler product
8
8
ÿ
hpm, nq ź ÿ hppα , pβ q
“
.
mz n w
pαz`βw
p α,β“0
m,n“1

Taking into account identities (6) we deduce
¨
˛
8
α
β
α
β
α
β
ÿ
ź
ÿ
ÿ
ÿ
hpp , p q
hpp , p q
hpp , p q ‚
hpm, nq
˝
“
`
`
,
z nw
αz`βw
αz`βw
m
p
p
pαz`βw
p
m,n“1
0ďα“β
0ďαăβ
0ďβăα

where

ÿ

0ďα“β

8
8
ÿ
hpp2γ , p2γ q ÿ hpp2γ´1 , p2γ´1 q
hppα , pβ q
`
“
pαz`βw
p2γpz`wq
pp2γ´1qpz`wq
γ“1
γ“0

“

8
ÿ

γ“0

“

ˆ

1´

ÿ

0ďαăβ

1
pz`w

˙´1 ˆ

pγ`1 ´1
p´1
2γpz`wq
p

1´

γ“1

1
p2z`2w´1

2pγ ´pγ´1 ´1
p´1
p2γ´1qpz`wq
p

˙´1 ˆ

1

˙

1

´ 2z`2w ,
pz`w
p
ÿ
hpp2γ´1 , pβ q

1`

(16)

ÿ hpp2γ , pβ q
hppα , pβ q
“
`
pαz`βw
p2γz`βw
pp2γ´1qz`βw
0ď2γăβ
0ă2γ´1ăβ
“

8
ÿ

8
ÿ

γ“0 β“2γ`1

“

`

8
ÿ

ˆ

1
1´ w
p

pγ
p2γz`βw

˙´1 ˆ

1´

`

8 ÿ
8
ÿ

γ“1 β“2γ

1
p2z`2w´1

pγ´1
pp2γ´1qz`βw

˙´1 ˆ

1
1
` z`2w
w
p
p

˙

,

and by changing the role of z and w we get from (17) the identity
˙ ˆ
˙´1 ˆ
˙
ÿ hppα , pβ q ˆ
1
1 ´1
1
1
“ 1´ z
` 2z`w .
1 ´ 2z`2w´1
αz`βw
z
p
p
p
p
p
0ďβăα
Putting together (16), (17) and (18) we conclude that
ˆ
˙ ˆ
˙ ˆ
˙´1 ˆ
˙´1
8
ÿ
1 ´1
1 ´1
1
1
hpm, nq ź
“
1´ z
1´ w
1 ´ z`w
1 ´ 2z`2w´1
mz n w
p
p
p
p
p
m,n“1
10

(17)

(18)

ˆ

ˆ 1´
“

1
pz`2w

˙ˆ

1´

1
p2z`w

˙

ζpzqζpwqζpz ` wqζp2z ` 2w ´ 1q
.
ζpz ` 2wqζp2z ` wq

(19)

Now the Dirichlet series representation (9) of the function N psq pm, nq is obtained from (19) by
using that N psq pm, nq is the convolution of hpm, nq with the identic 1 function.
ii) From (9) we deduce the convolutional identity
ÿ
N psq pm, nq “
f pa, cqτ pbqτ pdq,
(20)
ab“m
cd“n

valid for every m, n P N, where
8
ÿ
f pm, nq
ζpz ` wqζp2z ` 2w ´ 1q
“
.
z nw
m
ζpz ` 2wqζp2z ` wq
m,n“1

(21)

We will use that the series (21) is absolutely convergent provided that ℜz ą 0, ℜw ą 1,
ℜpz ` wq ą 1. We obtain by (20),
˛
˛¨
¨
ÿ
ÿ
ÿ
ÿ
ÿ
τ pdq‚.
N psq pm, nq “
τ pbq‚˝
f pa, cqτ pbqτ pdq “
f pa, cq ˝
m,nďx

a,cďx

abďx
cdďx

bďx{a

dďx{c

Using formula (8) and by denoting C1 “ 2C ´ 1, θ1 “ θ ` ε we deduce
ÿ
N psq pm, nq
m,nďx

“

ÿ

a,cďx

f pa, cq

ˆ

ˆ´ ¯ ˙˙ ˆ
ˆ´ ¯ ˙˙
x
x
x
x
x
x
x θ1
x θ1
log ` C1 ` O
log ` C1 ` O
a
a
a
a
c
c
c
c

“ x2 plog2 x ` 2C1 log x ` C12 q

ÿ f pa, cqplog a ` log cq
ÿ f pa, cq
´ x2 plog x ` C1 q
ac
ac
a,cďx
a,cďx

ÿ f pa, cqplog aqplog cq
ac
a,cďx
˜
¸
˜
¸
ÿ f pa, cq
ÿ f pa, cq
` O x1`θ1
` O x1`θ1
.
θ1 c
a
acθ1
a,cďx
a,cďx
`x2

Here

8
ÿ f pa, cq
ÿ
ÿ1 f pa, cq
f pa, cq
“
´
,
ac
ac
ac
a,c
a,cďx
a,c“1

11

(22)

where

ř1

a,c

means that a ą x or c ą x (or both), and by (21),
8
ÿ
f pa, cq
ζp2q
“
ac
ζp3q
a,c“1

To handle the sum

ř1

a,c

we may assume that c ą x and have

8
ÿ1 f pa, cq
ÿ1 |f pa, cq|
1
1 ÿ |f pa, cq|
1
!
¨
ď
! 1´ε ,
ε
1´ε
1´ε
ε
ac
ac
c
x
ac
x
a,c
a,c
a,c“1

cąx

cąx

since the latter series is convergent. In a similar way,
ˆ
˙
ÿ f pa, cqplog a ` log cq
1
“ D`O
,
ac
x1´ε
a,cďx
ˆ
˙
ÿ f pa, cqplog aqplog cq
1
“ E `O
,
ac
x1´ε
a,cďx

with some explicit constants D and E. Finally, both error terms in (22) are Opx1`θ1 q. This
completes the proof.

References
[1] D. D. Anderson and V. Camillo, Subgroups of direct products of groups, ideals and subrings of
direct products of rings, and Goursat’s lemma. Rings, modules and representations, Contemp.
Math., vol. 480, Amer. Math. Soc., Providence, RI, 2009, pp. 1–12.
[2] S. Atanasov, N. Kaplan, B. Krakoff, and J. Menzel, Counting finite index subrings of Zn and
Zrxs{pxn q, Preprint 2017, 20 pp. https://arxiv.org/abs/1609.06433v2
[3] J. Bourgain and N. Watt, Mean square of zeta function, circle problem and divisor problem
revisited, Preprint 2017, 23 pp. https://arxiv.org/abs/1709.04340
[4] K. Bibak, B. M. Kapron, V. Srinivasan, R. Tauraso, and L. Tóth, Restricted linear congruences,
J. Number Theory 171 (2017), 128–144.
[5] S. K. Chebolu and C. L. Henry, When is a subgroup of a ring an ideal?, Involve 9 (2016),
503–516.
[6] O. Grošek and Š. Porubský, Coprime solutions to ax ” b (mod n), J. Math. Cryptol. 7 (2013)
217–224.
[7] M. Hampejs, N. Holighaus, L. Tóth, and C. Wiesmeyr, Representing and counting the subgroups of the group Zm ˆ Zn , Journal of Numbers (2014), Article ID 491428, 6 pp.
[8] R. I. Liu, Counting subrings of Zn of index k, J. Comb. Theory, Ser. A 114 (2007), No. 2,
278–299.
12

[9] W. G. Nowak and L. Tóth, On the average number of subgroups of the group Zm ˆ Zn , Int.
J. Number Theory 10 (2014), 363–374.
[10] M. Tărnăuceanu, An arithmetic method of counting the subgroups of a finite abelian group,
Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 53 (101) (2010), 373–386.
[11] L. Tóth, Subgroups of finite abelian groups having rank two via Goursat’s lemma, Tatra Mt.
Math. Publ. 59 (2014), 93–103.
[12] L. Tóth, Multiplicative arithmetic functions of several variables: a survey, in Mathematics Without Boundaries, Surveys in Pure Mathematics. Th. M. Rassias, P. Pardalos (Eds.),
Springer, New York, 2014, 483–514.

13

