arXiv:1611.03302v1 [] 10 Nov 2016

The number of subgroups of the group
Zm ˆ Zn ˆ Zr ˆ Zs
László Tóth

Abstract
We deduce direct formulas for the total number of subgroups and the number of subgroups
of a given order of the group Zm ˆ Zn ˆ Zr ˆ Zs , where m, n, r, s P N. The proofs are by
some simple group theoretical and number theoretical arguments based on Goursat’s lemma
for groups. Two conjectures are also formulated.

2010 Mathematics Subject Classification: 20K01, 20K27, 11A25, 11Y70
Key Words and Phrases: cyclic group, direct product, subgroup, number of subgroups,
Goursat’s lemma, finite abelian group of rank four

1

Introduction

Throughout the paper we use the following notation: N :“ t1,ś
2, . . .u, N0 :“ N Y t0u; P is
the set of primes; the prime power factorization of n P N is n “ pPP pνp pnq , where all but a
finite number of the exponents νp pnq are zero; Zn denotes the additive group of residue classes
modulo n (n P N); gcdpa, bq and lcmpa, bq denote the greatest common divisor and least common
multiple, respectively of a, b P N; ϕ is Euler’s arithmetic function.
For an arbitrary finite abelian group G of order n let N pGq and N pG; kq denote the total
number
Ś of subgroups, respectively the number of subgroups of order k of G (k | n). Let
G “ pPP Gp be the primary decomposition of G, where |Gp | “ pνp pnq (p P P). Then
N pGq “

ź

N pGp q,

(1)

pPP

N pG; kq “

ź

N pGp ; pνp pkq q.

(2)

pPP

Therefore, the problem of counting the subgroups of G reduces to p-groups. It is known that
the number of subgroups of a given type in an abelian p-group is a polynomial in p with positive
integral coefficients, which can be represented in terms of the gaussian coefficients. There are
also various other formulas in the literature. We refer to the monograph by Butler [4] and the
papers by Bhowmik [2], Călugăreanu [5], Shokuev [13], Stehling [14].
It follows that in an abelian p-group the total number of subgroups and the number of
subgroups of a given order are also polynomials in p with positive integral coefficients. However,

1

it is a difficult task to make explicit these polynomials, even in the case of p-groups of small
rank. The rank two polynomials are
N pZpa ˆ Zpb q “

pb ´ a ` 1qpa`2 ´ pb ´ a ´ 1qpa`1 ´ pa ` b ` 3qp ` pa ` b ` 1q
,
pp ´ 1q2

and
N pZpa

$ c`1
p
´1
’
c ď a ď b,
’
p´1 ,
& a`1
p
´1
c
ˆ Zpb ; p q “
a ď c ď b,
p´1 ,
’
’
% pa`b´c`1´1 , a ď b ď c ď a ` b,
p´1

(3)

(4)

representing the total number of subgroups, respectively the number of subgroups of order pc of
the rank two group Zpa ˆ Zpb with 1 ď a ď b, 0 ď c ď a ` b. See Călugăreanu [5], Petrillo [12,
Prop. 2], Tărnăuceanu [16, Th. 3.3]).
Now consider the group Zm ˆ Zn , where m, n P N. Note that Zm ˆ Zn is isomorphic
to Zgcdpm,nq ˆ Zlcmpm,nq , and it has rank two, assuming that gcdpm, nq ą 1. Recall that a
finite abelian group of order ą 1 has rank t if it is isomorphic to Zn1 ˆ ¨ ¨ ¨ ˆ Znt , where
n1 , . . . , nt P Nzt1u and nj | nj`1 (1 ď j ď t ´ 1), which is the invariant factor decomposition of
the given group. Here the number t is uniquely determined and represents the minimal number
of generators of the given group.
For every m, n P N the number of all subgroups of Zm ˆ Zn is
ÿ
gcdpi, jq,
(5)
N pZm ˆ Zn q “
i|m
j|n

and the number of its subgroups of order k (k | mn) is given by
ˆ ˙
ÿ
ij
.
N pZm ˆ Zn ; kq “
ϕ
k

(6)

i|gcdpm,kq
j|gcdpn,kq
k|ij

Formulas (5) and (6), established by the author [18, Ths. 4.1, 4.3], generalize and put in more
compact forms identities (3) and (4), respectively. See also the paper by Hampejs, Holighaus,
the author, and Wiesmeyr [8] for a different approach.
The polynomial giving the total number of subgroups of the rank three group Zpa ˆZpb ˆZpc
was obtained by Oh [11, Cor. 2.2] and by Tărnăuceanu and the author [17, Cor. 2.9]. Formulas
similar to (5) and (6), concerning the numbers of all subgroups, respectively subgroups of order
k of the group Zm ˆ Zn ˆ Zr (m, n, r, k P N, k | mnr) were given by Hampejs and the author
[9, Th. 2.2].
The next step is to investigate rank four groups, which is the goal of the present paper. The
special case of the group Zp ˆ Zp ˆ Zp ˆ Zpi (i P N) was recently considered by Chew, Chin
and Lim [6]. Instead of p-groups we prefer to investigate the group Zm ˆ Zn ˆ Zr ˆ Zs with
m, n, r, s P N, which has rank four, provided that gcdpm, n, r, sq ą 1. We deduce direct formulas
for
N pm, n, r, sq :“ N pZm ˆ Zn ˆ Zr ˆ Zs q
2

and
N pm, n, r, s; kq :“ N pZm ˆ Zn ˆ Zr ˆ Zs ; kq,
representing the total number of subgroups of the group Zm ˆ Zn ˆ Zr ˆ Zs and the number
of its subgroups of order k (m, n, r, s, k P N, k | mnrs). See Theorems 5 and 6. As direct
consequences, in Corollaries 7 and 8 we derive formulas for the number of subgroups of p-groups
of rank four. We do not obtain the explicit form of the corresponding polynomials, but those
can be computed in special cases. In Section 5 we present tables for such polynomials, computed
using Corollaries 7 and 8. We also formulate two conjectures.
For the proofs of our results we use some simple group theoretical and number theoretical
arguments based on Goursat’s lemma for groups (Proposition 1). We remark that for every
m, n, r, s P N,
ź
N pm, n, r, sq “
N ppνp pmq , pνp pnq , pνp prq , pνp psq q,
(7)
pPP

N pm, n, r, s; kq “

ź

N ppνp pmq , pνp pnq , pνp prq , pνp psq ; pνp pkq q,

pPP

which are direct consequences of the identities (1) and (2). Here (7) shows that pm, n, r, sq ÞÑ
N pm, n, r, sq is a multiplicative arithmetic function of four variables. We refer to our survey
paper [19] regarding this number theoretical concept.
out that the function n ÞÑ N pnq :“ N pn, n, n, nq is multiplicative, that is N pnq “
ś In turns
νp pnq q for every n P N. A table of values for N pnq is presented in Section 5.
N
pp
pPP

2

Preliminaries

Goursat’s lemma for groups can be stated as follows. For its history, proof and discussion
see the references given in [18]. See also the recent paper [1].
Proposition 1 (Goursat’s lemma for groups). Let G and H be arbitrary groups. Then there is a
bijection between the set S of all subgroups of GˆH and the set T of all 5-tuples pA, B, C, D, Ψq,
where B Ĳ A ď G, D Ĳ C ď H and Ψ : A{B Ñ C{D is an isomorphism (here ď denotes subgroup
and Ĳ denotes normal subgroup). More precisely, the subgroup corresponding to pA, B, C, D, Ψq
is
K “ tpg, hq P A ˆ C : ΨpgBq “ hDu.
We will need the following corollary.
Corollary 2. Assume that G and H are finite groups and that the subgroup K of G ˆ H
corresponds to the 5-tuple pAK , BK , CK , DK , ΨK q under this bijection. Then one has |AK | ¨
|DK | “ |K| “ |BK | ¨ |CK |.
Proposition 1 was used in our paper [18] to count the subgroups of the group pZm ˆ Zn , `q
(m, n P N). In fact, formulas (5) and (6) are consequences of the next representation result. For
every m, n P N let
!
)
´ a¯
a
c
a
Jm,n :“ pa, b, c, d, ℓq P N5 : a | m, b | a, c | n, d | c, “ , ℓ ď , gcd ℓ,
“1 .
(8)
b
d
b
b
3

Note that here gcdpb, dq ¨ lcmpa, cq “ ad and gcdpb, dq | lcmpa, cq.
For pa, b, c, d, ℓq P Jm,n define
)
!´ m n
n¯
: 0 ď i ď a ´ 1, 0 ď j ď d ´ 1 .
Ka,b,c,d,ℓ :“ i , iℓ ` j
a
c
d

Proposition 3 ([18, Th. 3.1]). Let m, n P N.
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,ℓ of order ad is
Ka,b,c,d,ℓ » Zgcdpb,dq ˆ Zlcmpa,cq .
We need the following new result concerning the quotient group pZm ˆ Zn q{Ka,b,c,d,ℓ . Its
proof is included in Section 4.
Proposition 4. Let m, n P N. For every subgroup Ka,b,c,d,ℓ defied above, we have the invariant
factor decomposition
pZm ˆ Zn q{Ka,b,c,d,ℓ » Zgcdp m , n q ˆ Zlcmp m , n q ,
a

where gcd

`m
a

,

˘
n
c

c

b

d

˘
| lcm b , nd .
`m

Let F pm, nq denote the number of automorphisms of the group Zm ˆZn . For every m, n P N,
ź
F pm, nq “
F ppνp pmq , pνp pnq q,
pPP

hence pm, nq ÞÑ F pm, nq is a multiplicative arithmetic function of two variables. For prime
powers pa , pb one has, cf. [10, Th. 4.1], [7, Cor. 3],
#
p2a ϕppa qϕppb q, 0 ď a ă b,
F ppa , pb q “
pa ϕ2 ppa qϕppa q, 0 ď a “ b,
ś
where ϕ2 is the Jordan function of order 2 given by ϕ2 pnq “ n2 p|n p1 ´
F p1, pb q “ ϕppb q for b P N and
$
¯2
´
&p3a`b 1 ´ 1 , 1 ď a ă b,
´
¯
¯p´
F ppa , pb q “
%p4a 1 ´ 1 1 ´ 1 , 1 ď a “ b.
p2

p

3

Main results

We state our main results. Their proofs are included in Section 4.

4

1
q.
p2

We deduce that

Theorem 5. For every m, n, r, s P N we have
ÿ
N pm, n, r, sq “
ϕpx3 qϕpy3 qϕpz3 qϕpt3 qF pu, vq,

(9)

where the sum is over all px1 , x2 , x3 , x4 , x5 , y1 , y2 , y3 , y4 , y5 , z1 , z2 , z3 , z4 , z5 , t1 , t2 , t3 , t4 , t5 q P N20
satisfying the following 10 conditions:
(1) x1 x2 x3 “ m,
(2) x3 x4 x5 “ n,
(3) y1 y2 y3 “ gcdpx1 , x4 q,
(4) y3 y4 y5 “ x3 lcmpx1 , x4 q,
(5) z1 z2 z3 “ r,
(6) z3 z4 z5 “ s,
(7) t1 t2 t3 “ gcdpz1 , z4 q,
(8) t3 t4 t5 “ z3 lcmpz1 , z4 q,
(9) gcdpy2 , y5 q “ gcdpt2 , t5 q “: u,
(10) y3 lcmpy2 , y5 q “ t3 lcmpt2 , t5 q “: v.
Theorem 6. For every k, m, n, r, s P N such that k | mnrs, the number N pm, n, r, s; kq is given
by the sum (9) with the additional constraint
(11) x1 x3 x4 t1 t3 t4 “ k.
Corollary 7. For every a, b, c, d P N0 we have
ÿ
N ppa , pb , pc , pd q “
ϕppx3 qϕppy3 qϕppz3 qϕppt3 qF ppu , pv q,

(10)

where the sum is over all px1 , x2 , x3 , x4 , x5 , y1 , y2 , y3 , y4 , y5 , z1 , z2 , z3 , z4 , z5 , t1 , t2 , t3 , t4 , t5 q P N20
0
satisfying the following 10 conditions:
(i) x1 ` x2 ` x3 “ a,
(ii) x3 ` x4 ` x5 “ b,
(iii) y1 ` y2 ` y3 “ minpx1 , x4 q,
(iv) y3 ` y4 ` y5 “ x3 ` maxpx1 , x4 q,
(v) z1 ` z2 ` z3 “ c,
(vi) z3 ` z4 ` z5 “ d,
(vii) t1 ` t2 ` t3 “ minpz1 , z4 q,
(viii) t3 ` t4 ` t5 “ z3 ` maxpz1 , z4 q,
(ix) minpy2 , y5 q “ minpt2 , t5 q “: u,
(x) y3 ` maxpy2 , y5 q “ t3 ` maxpt2 , t5 q “: v.
Corollary 8. For every a, b, c, d, k P N0 with k ď a ` b ` c ` d the number N ppa , pb , pc , pd ; pk q
is given by the sum (10) with the additional constraint
(xi) x1 ` x3 ` x4 ` t1 ` t3 ` t4 “ k.

5

4

Proofs

Proof of Proposition 4. Let K :“ Ka,b,c,d,ℓ . The group Zm ˆ Zn is generated by p0, 1q and p1, 0q.
Therefore, the quotient group Zm ˆ Zn {K is generated by p0, 1q ` K and p1, 0q ` K.
First we show that the order of p0, 1q ` K is nd . Indeed, this follows from the following
properties:
‚ tp0, 1q P K if and only if there is pi, jq P t0, 1, . . . , a ´ 1u ˆ t0, 1, . . . , d ´ 1u such that
n
n
n
p0, tq “ pi m
a , iℓ c ` j d q, where the last condition is equivalent, in turn, to i “ 0 and t “ j d ;
n
‚ the least such t P N is d .
Next we show that the order of p1, 0q ` K is m
b . Indeed, observe that
‚ up1, 0q P K if and only if there is pi, jq P t0, 1, . . . , a ´ 1u ˆ t0, 1, . . . , d ´ 1u such that
n
n
pu, 0q “ pi m
a , iℓ c ` j d q;
n
n
n
c
c
‚ therefore, u “ i m
a and iℓ c ` j d ” 0 (mod n), that is c piℓ ` j d q ” 0 (mod n), iℓ ` j d ” 0
(mod c), the
in j and
` c latter
˘ cis a linear congruence
` it
˘ turns out that for a fixed i it has solution
c
c
in j if gcd d , c “ d | iℓ, that is d | i, since gcd ℓ, d “ 1, cf. (8);
‚ the least such i P N is dc ;
a m
m
‚ finally, u “ dc ¨ m
a “ b ¨ a “ b , representing the order of p1, 0q ` K.
n
We deduce that the exponent of pZm ˆ Zn q{K is lcmp m
b , d q.
Now, Zm ˆ Zn » Zgcdpm,nq ˆ Zlcmpm,nq is a group of rank ď 2. Therefore, the quotient group
pZm ˆ Zn q{K has also rank ď 2. That is, pZm ˆ Zn q{K » Zv ˆ Zw for unique v and w, where
m n
v | w and vw “ mn
ad . We obtain that the exponent of pZm ˆ Zn q{K is lcmp b , d q “ w. Hence
v“

mn
mn
mn
mn
“
m n “
mn mn “
mn
adw
ad lcmp b , d q
ad lcmp bn , dm q
ad gcdpbn,dmq

gcdpbn, dmq
“ gcd
“
ad

ˆ

n b m
¨ ,
d a a

˙

“ gcd

ˆ

n d m
¨ ,
d c a

This completes the proof.

˙

“ gcd

´m n¯
.
,
a c

Proof of Theorem 5. We apply Goursat’s lemma (Proposition 1) for the groups G “ Zm ˆ Zn
and H “ Zr ˆ Zs . Let
A “ Ka,b,c,d,ℓ ď Zm ˆ Zn ,
where a | m, b | a, c | n, d | c, ab “

c
d

“ e, 1 ď ℓ ď e, gcd pℓ, eq “ 1. Here, by Proposition 3,
A » Zm1 ˆ Zn1 ,

where m1 “ gcdpb, dq, n1 “ lcmpa, cq. Also, let
B » Ka1 ,b1 ,c1,d1 ,ℓ1 ď A,
where a1 | m1 , b1 | a1 , c1 | n1 , d1 | c1 , ab11 “ dc11 “ e1 , 1 ď ℓ1 ď e1 , gcd pℓ1 , e1 q “ 1. We have, by
using Proposition 4,
A{B » Zu ˆ Zv ,
(11)
where u “ gcdpm1 {a1 , n1 {c1 q, v “ lcmpm1 {b1 , n1 {d1 q.
6

In a similar way, let
C “ Kα,β,γ,δ,λ ď Zr ˆ Zs ,
where α | r, β | α, γ | s, δ | γ, αβ “

γ
δ

“ ǫ, 1 ď λ ď ǫ, gcd pλ, ǫq “ 1. Here,
C » Zr1 ˆ Zs1 ,

where r1 “ gcdpβ, δq, s1 “ lcmpα, γq. Furthermore, let
D » Kα1 ,β1 ,γ1 ,δ1 ,λ1 ď C,
with α1 | r1 , β1 | α1 , γ1 | s1 , δ1 | γ1 , αβ11 “

γ1
δ1

“ ǫ1 , 1 ď λ1 ď ǫ1 , gcd pλ1 , ǫ1 q “ 1. Here,

C{D » Zη ˆ Zθ ,

(12)

where η “ gcdpr1 {α1 , s1 {γ1 q, θ “ lcmpr1 {β1 , s1 {δ1 q.
Assume that the quotient groups A{B and C{D are isomorphic. According to (11) and (12),
this holds if and only if u “ η and v “ θ. Then there are F pu, vq isomorphisms A{B » C{D.
It follows that
ÿ
N pm, n, r, sq “
F pu, vq,

where the sum is over all pa, b, c, d, ℓ, a1 , b1 , c1 , d1 , ℓ1 , α, β, γ, δ, λ, α1 , β1 , γ1 , δ1 , λ1 q P N20 satisfying
the above properties.
More exactly, let m “ ax, a “ by, n “ cz, c “ dt, where y “ t “ e. Hence m “ bxe, n “ dze.
Also, m1 “ b1 x1 e1 , n1 “ d1 z1 e1 , where m1 “ gcdpb, dq, n1 “ lcmpa, cq “ e lcmpb, dq. Similarly,
let r “ αX, α “ βY , s “ γZ, γ “ δT , where Y “ T “ ǫ. Hence r “ βXǫ, s “ δZǫ. Also,
r1 “ β1 X1 ǫ1 , s1 “ δ1 Z1 ǫ1 , where r1 “ gcdpβ, δq, r1 “ lcmpα, γq “ ǫ lcmpβ, δq.
We deduce that
ÿ
N pm, n, r, sq “
F pu, vq,

where the sum is over all pb, x, e, d, z, ℓ, b1 , x1 , e1 , d1 , z1 , ℓ1 , β, X, ǫ, δ, Z, λ, β1 , X1 , ǫ1 , δ1 , Z1 , λ1 q P
N24 satisfying the following conditions:
(1’) bxe “ m,
(2’) dze “ n,
(3’) b1 x1 e1 “ gcdpb, dq,
(4’) d1 z1 e1 “ e lcmpb, dq,
(4”) 1 ď ℓ ď e, gcdpℓ, eq “ 1,
(5’) βXǫ “ r,
(6’) δZǫ “ s,
(7’) β1 X1 ǫ1 “ gcdpβ, δq,
(8’) δ1 Z1 ǫ1 “ ǫ lcmpβ, δq,
(8”) 1 ď ℓ1 ď e1 , gcdpℓ1 , e1 q “ 1,
(9’) gcdpx1 , z1 q “ gcdpX1 , Z1 q “ u,
(10’) e1 lcmpx1 , z1 q “ ǫ1 lcmpX1 , Z1 q “ v,
(10”) 1 ď λ ď ǫ, gcdpλ, ǫq “ 1,
(10”’) 1 ď λ1 ď ǫ1 , gcdpλ1 , ǫ1 q “ 1.
7

Note that, according to (4”), (8”), (10”) and (10”’), the variables ℓ, ℓ1 , λ and λ1 take ϕpeq,
ϕpe1 q, ϕpǫq, respectively ϕpǫ1 q distinct values, independently from the other variables.
Now formula (9) follows by introducing the notation:
x1 :“ b, x2 :“ x, x3 :“ e, x4 :“ d, x5 :“ z, y1 :“ b1 , y2 :“ x1 , y3 :“ e1 , y4 :“ d1 , y5 :“ z1
z1 :“ β, z2 :“ X, z3 :“ ǫ, z4 :“ δ, z5 :“ Z, t1 :“ β1 , t2 :“ X1 , t3 :“ ǫ1 , t4 :“ δ1 , t5 :“ Z1 .
Proof of Theorem 6. According to Corollary 2, k “ |A||D| “ |B||C|. Here |A| “ ad “ bde,
|B| “ a1 d1 “ b1 d1 e1 . Similarly, |C| “ αδ “ βδǫ, |D| “ α1 δ1 “ β1 δ1 ǫ1 . Hence condition
k “ |A||D| “ |B||C| is equivalent to bdeβ1 δ1 ǫ1 “ k and to x1 x3 x4 t1 t3 t4 “ k with the changing
of notation of above. Note that relation k “ |B||C| is a consequence of the other constraints
and needs not to be considered.
Proof of Corollary 7. Apply Theorem 5 in the case pm, n, r, sq “ ppa , pb , pc , pd q.
Proof of Corollary 8. Apply Theorem 6 in the case pm, n, r, sq “ ppa , pb , pc , pd q, k :“ pk .

5
5.1

Tables and conjectures
Values of Nppa , pb , pc , pd q and Nppa , pb , pc , pd ; pk q

Consider the polynomials N ppa , pb , pc , pd q and N ppa , pb , pc , pd ; pk q, where p is prime, 1 ď a ď
b ď c ď d, 0 ď k ď a`b`c`d “: n. It is known that N ppa , pb , pc , pd ; pk q “ N ppa , pb , pc , pd ; pn´k q
for every 0 ď k ď n. The following unimodality result is also known: N ppa , pb , pc , pd ; pk q ´
N ppa , pb , pc , pd ; pk´1 q has nonnegative coefficients for every 1 ď k ď tn{2u. More generally,
similar properties hold for every abelian p-group. See Butler [3], Takegahara [15].
In what follows we give the polynomials representing the values of N ppa , pb , pc , pd q and
N ppa , pb , pc , pd ; pk q, where 1 ď a ď b ď c ď d ď 3, also a “ b “ c “ d “ 4, with 0 ď k ď tn{2u,
computed using Corollaries 7 and 8.
We also formulate the following conjectures, confirmed by these examples.
Conjecture 9. For every 1 ď a ď b ď c ď d, the degree of the polynomial N ppa , pb , pc , pd q is
2a ` b ` c.
Conjecture 10. For every 1 ď m the degree of the polynomial N ppm , pm , pm , pm q is 4m and its
leading coefficient is 1.
N pp, p, p, pq
N pp, p, p, p; 1q
N pp, p, p, p; pq
N pp, p, p, p; p2 q

5 ` 3p ` 4p2 ` 3p3 ` p4
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` p3 ` p4

N pp, p, p, p2 q
N pp, p, p, p2 ; 1q
N pp, p, p, p2 ; pq
N pp, p, p, p2 ; p2 q

6 ` 4p ` 6p2 ` 6p3 ` 2p4
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` p4
8

N pp, p, p, p3 q
N pp, p, p, p3 ; 1q
N pp, p, p, p3 ; pq
N pp, p, p, p3 ; p2 q
N pp, p, p, p3 ; p3 q
N pp, p, p2 , p2 q
N pp, p, p2 , p2 ; 1q
N pp, p, p2 , p2 ; pq
N pp, p, p2 , p2 ; p2 q
N pp, p, p2 , p2 ; p3 q
N pp, p, p2 , p3 q
N pp, p, p2 , p3 ; 1q
N pp, p, p2 , p3 ; pq
N pp, p, p2 , p3 ; p2 q
N pp, p, p2 , p3 ; p3 q

7 ` 5p ` 8p2 ` 9p3 ` 3p4
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` p4
1 ` p ` 2p2 ` 3p3 ` p4
7 ` 5p ` 8p2 ` 9p3 ` 6p4 ` p5
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4
1 ` p ` 2p2 ` 3p3 ` 2p4 ` p5

8 ` 6p ` 10p2 ` 12p3 ` 10p4 ` 2p5
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4
1 ` p ` 2p2 ` 3p3 ` 3p4 ` p5

N pp, p, p3 , p3 q
N pp, p, p3 , p3 ; 1q
N pp, p, p3 , p3 ; pq
N pp, p, p3 , p3 ; p2 q
N pp, p, p3 , p3 ; p3 q
N pp, p, p3 , p3 ; p4 q

9 ` 7p ` 12p2 ` 15p3 ` 14p4 ` 6p5 ` p6
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 2p5
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 2p5 ` p6

N pp, p2 , p2 , p2 q
N pp, p2 , p2 , p2 ; 1q
N pp, p2 , p2 , p2 ; pq
N pp, p2 , p2 , p2 ; p2 q
N pp, p2 , p2 , p2 ; p3 q

8 ` 6p ` 10p2 ` 12p3 ` 10p4 ` 6p5 ` 2p6
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 2p5 ` p6

N pp, p2 , p2 , p3 q
N pp, p2 , p2 , p3 ; 1q
N pp, p2 , p2 , p3 ; pq
N pp, p2 , p2 , p3 ; p2 q
N pp, p2 , p2 , p3 ; p3 q
N pp, p2 , p2 , p3 ; p4 q

9 ` 7p ` 12p2 ` 15p3 ` 14p4 ` 11p5 ` 4p6
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` p6
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 3p5 ` 2p6

9

N pp, p2 , p3 , p3 q
N pp, p2 , p3 , p3 ; 1q
N pp, p2 , p3 , p3 ; pq
N pp, p2 , p3 , p3 ; p2 q
N pp, p2 , p3 , p3 ; p3 q
N pp, p2 , p3 , p3 ; p4 q
N pp, p3 , p3 , p3 q
N pp, p3 , p3 , p3 ; 1q
N pp, p3 , p3 , p3 ; pq
N pp, p3 , p3 , p3 ; p2 q
N pp, p3 , p3 , p3 ; p3 q
N pp, p3 , p3 , p3 ; p4 q
N pp, p3 , p3 , p3 ; p5 q
N pp2 , p2 , p2 , p2 q
N pp2 , p2 , p2 , p2 ; 1q
N pp2 , p2 , p2 , p2 ; pq
N pp2 , p2 , p2 , p2 ; p2 q
N pp2 , p2 , p2 , p2 ; p3 q
N pp2 , p2 , p2 , p2 ; p4 q
N pp2 , p2 , p2 , p3 q
N pp2 , p2 , p2 , p3 ; 1q
N pp2 , p2 , p2 , p3 ; pq
N pp2 , p2 , p2 , p3 ; p2 q
N pp2 , p2 , p2 , p3 ; p3 q
N pp2 , p2 , p2 , p3 ; p4 q

N pp2 , p2 , p3 , p3 q
N pp2 , p2 , p3 , p3 ; 1q
N pp2 , p2 , p3 , p3 ; pq
N pp2 , p2 , p3 , p3 ; p2 q
N pp2 , p2 , p3 , p3 ; p3 q
N pp2 , p2 , p3 , p3 ; p4 q
N pp2 , p2 , p3 , p3 ; p5 q

10 ` 8p ` 14p2 ` 18p3 ` 18p4 ` 16p5 ` 10p6 ` 2p7
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 2p6
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 4p5 ` 3p6 ` p7

11 ` 9p ` 16p2 ` 21p3 ` 22p4 ` 21p5 ` 16p6 ` 9p7 ` 3p8
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 2p6 ` p7
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 4p5 ` 4p6 ` 2p7 ` p8
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 4p6 ` 3p7 ` p8
9 ` 7p ` 12p2 ` 15p3 ` 14p4 ` 11p5 ` 9p6 ` 3p7 ` p8
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5 ` p6
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 2p6 ` p7
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 3p5 ` 3p6 ` p7 ` p8
10 ` 8p ` 14p2 ` 18p3 ` 18p4 ` 16p5 ` 16p6 ` 6p7 ` 2p8
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5 ` p6
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 3p6 ` p7
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 4p5 ` 4p6 ` 2p7 ` p8

11 ` 9p ` 16p2 ` 21p3 ` 22p4 ` 21p5 ` 23p6 ` 14p7 ` 6p8 ` p9
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5 ` p6
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 3p6 ` 2p7
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 4p5 ` 5p6 ` 3p7 ` 2p8
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 5p6 ` 4p7 ` 2p8 ` p9

10

N pp2 , p3 , p3 , p3 q
N pp2 , p3 , p3 , p3 ; 1q
N pp2 , p3 , p3 , p3 ; pq
N pp2 , p3 , p3 , p3 ; p2 q
N pp2 , p3 , p3 , p3 ; p3 q
N pp2 , p3 , p3 , p3 ; p4 q
N pp2 , p3 , p3 , p3 ; p5 q

12 ` 10p ` 18p2 ` 24p3 ` 26p4 ` 26p5 ` 30p6 ` 22p7 ` 16p8 ` 6p9 ` 2p10
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5 ` p6
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 3p6 ` 2p7 ` p8
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 4p5 ` 5p6 ` 4p7 ` 3p8 ` p9
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 6p6 ` 5p7 ` 4p8 ` 2p9 ` p10

N pp3 , p3 , p3 , p3 q

13 ` 11p ` 20p2 ` 27p3 ` 30p4 ` 31p5 ` 37p6 ` 30p7 ` 26p8 ` 18p9
`9p10 ` 3p11 ` p12
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5 ` p6
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 3p6 ` 2p7 ` p8 ` p9
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 4p5 ` 5p6 ` 4p7 ` 4p8 ` 2p9 ` p10
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 6p6 ` 6p7 ` 5p8 ` 4p9 ` 2p10 ` p11
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 7p6 ` 6p7 ` 6p8 ` 4p9 ` 3p10 ` p11 ` p12

N pp3 , p3 , p3 , p3 ; 1q
N pp3 , p3 , p3 , p3 ; pq
N pp3 , p3 , p3 , p3 ; p2 q
N pp3 , p3 , p3 , p3 ; p3 q
N pp3 , p3 , p3 , p3 ; p4 q
N pp3 , p3 , p3 , p3 ; p5 q
N pp3 , p3 , p3 , p3 ; p6 q

N pp4 , p4 , p4 , p4 q
N pp4 , p4 , p4 , p4 ; 1q
N pp4 , p4 , p4 , p4 ; pq
N pp4 , p4 , p4 , p4 ; p2 q
N pp4 , p4 , p4 , p4 ; p3 q
N pp4 , p4 , p4 , p4 ; p4 q
N pp4 , p4 , p4 , p4 ; p5 q
N pp4 , p4 , p4 , p4 ; p6 q
N pp4 , p4 , p4 , p4 ; p7 q
N pp4 , p4 , p4 , p4 ; p8 q

5.2

17 ` 15p ` 28p2 ` 39p3 ` 46p4 ` 51p5 ` 65p6 ` 62p7 ` 66p8 ` 66p9
`58p10 ` 46p11 ` 35p12 ` 18p13 ` 9p14 ` 3p15 ` p16
1
1 ` p ` p2 ` p3
1 ` p ` 2p2 ` 2p3 ` 2p4 ` p5 ` p6
1 ` p ` 2p2 ` 3p3 ` 3p4 ` 3p5 ` 3p6 ` 2p7 ` p8 ` p9
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 4p5 ` 5p6 ` 4p7 ` 4p8 ` 3p9 ` 2p10 ` p11 ` p12
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 6p6 ` 6p7 ` 6p8 ` 6p9 ` 5p10 ` 4p11 ` 2p12
`p13
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 7p6 ` 7p7 ` 8p8 ` 8p9 ` 8p10 ` 6p11 ` 5p12
`2p13 ` p14
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 7p6 ` 8p7 ` 9p8 ` 10p9 ` 9p10 ` 8p11 ` 6p12
`4p13 ` 2p14 ` p15
1 ` p ` 2p2 ` 3p3 ` 4p4 ` 5p5 ` 7p6 ` 8p7 ` 10p8 ` 10p9 ` 10p10 ` 8p11 ` 7p12
`4p13 ` 3p14 ` p15 ` p16

Values of Npnq

The values of N pnq for 1 ď n ď 30 are given by the next table.

11

n
1
2
3
4
5
6
7
8
9
10

6

N pnq
1
67
212
1 983
1 120
14 204
3 652
43 339
24 033
75 040

n
11
12
13
14
15
16
17
18
19
20

N pnq
19 156
420 396
35 872
244 684
237 440
821 335
99 472
1 610 211
152 404
2 220 960

n
21
22
23
24
25
26
27
28
29
30

N pnq
774 224
1 283 452
318 532
9 187 868
810 969
2 403 424
2 222 704
7 241 916
783 904
15 908 480

Acknowledgment
The author thanks Mátyás Koniorczyk for his assistance during computations.

References
[1] K. Bauer, D. Sen, P. Zvengrowski, A generalized Goursat lemma, Tatra Mt. Math. Publ.
64 (2015), 1–19.
[2] G. Bhowmik, Evaluation of divisor functions of matrices, Acta Arith. 74 (1996), 155–159.
[3] L. M. Butler, A unimodality result in the enumeration of subgroups of a finite abelian
group, Proc. Amer. Math. Soc. 101 (1987), 771–775.
[4] L. M. Butler, Subgroup Lattices and Symmetric Functions, Mem. Amer. Math. Soc., vol.
112, no. 539, 1994.
[5] G. Călugăreanu, The total number of subgroups of a finite abelian group, Sci. Math. Jpn.
60 (2004), 157–167.
[6] C. Y. Chew, A. Y. M. Chin, and C. S. Lim, The number of subgroups of a finite abelian p-group of rank 4, AIP Conference Proceedings 1682, 040002 (2015).
http://dx.doi.org/10.1063/1.4932475
[7] M. Golasiński and D. L. Gonçalves, On automorphisms of finite abelian p-groups, Math.
Slovaca 58 (2008), 405–412.
[8] M. Hampejs, N. Holighaus, L. Tóth, and C. Wiesmeyr, Representing and counting the
subgroups of the group Zm ˆ Zn , Journal of Numbers, vol. 2014, Article ID 491428.
[9] M. Hampejs and L. Tóth, On the subgroups of finite Abelian groups of rank three, Annales
Univ. Sci. Budapest., Sect. Comp. 39 (2013), 111–124.

12

[10] Ch. J. Hillar and D. L. Rhea, Automorphisms of finite abelian groups, Amer. Math. Monthly
114 (2007), 917–923.
[11] Ju-Mok Oh, An explicit formula for the number of subgroups of a finite abelian p-group up
to rank 3, Commun. Korean Math. Soc. 28 (2013), 649–667.
[12] J. Petrillo, Counting subgroups in a direct product of finite cyclic groups, College Math. J.
42 (2011), 215–222.
[13] V. N. Shokuev, An expression for the number of subgroups of a given order of a finite
p-group, Math. Notes (Translation of Mat. Zametki) 12 (1972), 774–778.
[14] T. Stehling, On computing the number of subgroups of a finite Abelian group, Combinatorica 12 (1992), 475–479.
[15] Y. Takegahara, On Butler’s unimodality result, Combinatorica 18 (1998), 437–439.
[16] 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.
[17] M. Tărnăuceanu and L. Tóth, On the number of subgroups of a given exponent in a finite abelian group, Publ. Inst. Math. (Beograd) (N.S.), accepted.
http://arxiv.org/abs/1507.00532
[18] L. Tóth, Subgroups of finite Abelian groups having rank two via Goursat’s lemma, Tatra
Mt. Math. Publ. 59 (2014), 93–103. http://arxiv.org/abs/1312.1485
[19] 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. http://arxiv.org/abs/1310.7053
László Tóth
Department of Mathematics
University of Pécs
Ifjúság útja 6, H-7624 Pécs, Hungary
E-mail: ltoth@gamma.ttk.pte.hu

13

