arXiv:1605.01849v3 [math.GR] 29 Mar 2017

CLASSIFICATION OF p-GROUPS BY THEIR SCHUR
MULTIPLIER
SUMANA HATUI
Abstract. Let G be a non-abelian p-group of order pn and M (G) be its
1

Schur multiplier. It is well known result by Green that |M (G)| ≤ p 2 n(n−1) .
1
p 2 n(n−1)−t(G)

So |M (G)| =
for some t(G) ≥ 0. The groups has already been
classified for t(G) ≤ 5 by several authors. For t(G) = 6 the classification has
been done in [12]. In this paper we classify p-groups G for t(G) = 6 in different
method.

1. Introduction
The Schur multiplier M (G) of a group G was introduced by Schur [1] in 1904 on
the study of projective representation of groups.
1

For p-groups G of order pn , Green [3] gave an upper bound p 2 n(n−1) for order of
1
the Schur Multiplier M (G). So we have |M (G)| = p 2 n(n−1)−t(G) , for some t(G) ≥ 0.
Now the question comes in our mind that whether it is possible to classify the
structure of all p-groups G by the order of the Schur multiplier M (G), i.e., when
t(G) is known. Several authors have already answered this question. They classified
the groups of order pn for t(G) ≤ 5 in [4, 5, 6, 8, 9]. The structure of p-groups with
t(G) = 6 has been determined in [12]. In the present paper, we classify the structure
1

of all non-abelian finite p-groups when t(G) = 6, i.e. |M (G)| = p 2 n(n−1)−6 . Our
method is quite different to that of [12]. We have stated some structural results of
group G with the assumtion t(G) = 6.
By ESp (p3 ) and ESp2 (p3 ) we denote extra-special p-groups of order p3 having
exponent p and p2 respectively. By ESp (p5 ) and ESp2 (p5 ) we denote extra-special
(k)
p-groups of order p5 having exponent p and p2 respectively. By Zp we denote
Zp × Zp · · · × Zp (k times).
James [19] classified all p-groups of order pn for n ≤ 6 upto isoclinism which are
denoted by Φk . We use his notation throughout this paper.
In this paper we prove the following result.
Theorem 1.1. (Main Theorem) Let G be a non-abelian p-group of order pn with
1

|M (G)| = p 2 n(n−1)−6 .
If p is odd, then G is isomorphic to
2010 Mathematics Subject Classification. 20D15, 20E34.
Key words and phrases. Schur Multiplier, Finite p-groups.
1

CLASSIFICATION OF p-GROUPS BY THEIR SCHUR MULTIPLIER

2

(5)

(i) ESp (p3 ) × Zp .
(3)
(ii) Φ2 (214 )a = ESp2 (p3 ) × Zp .
(2)

(iii) Φ2 (214 )b = Φ2 (211)b × Zp ,
where Φ2 (211)b = hα, α1 , α2 , γ | [α1 , α] = γ p = α2 , αp = αp1 = αp2 = 1i.
(iv) Φ5 (214 )a = ESp2 (p5 ) × Zp .
(v) Φ5 (16 ) = ESp (p5 ) × Zp .
(vi) Φ5 (214 )b = hα1 , α2 , α3 , α4 , β, γ | [α1 , α2 ] = [α3 , α4 ] = γ p = β, αpi = β p = 1(i = 1, 2, 3, 4)i.
(vii) Φ4 (16 ) = Φ4 (15 ) × Zp ,

where Φ4 15 = hα, α1 , α2 , β1 , β2 | [αi , α] = βi , αp = αpi = βip = 1(i = 1, 2)i.
(viii) Φ2 (2111)c = Φ2 (211)c × Zp ,
2
where Φ2 (211)c = hα, α1 , α2 | [α1 , α] = α2 , αp = αp1 = αp2 = 1i.
(ix) Φ2 (2111)d = ESp (p3 ) × Zp2 .
(x) Φ3 (15 ) = Φ3 (14 ) × Zp ,
(p)

where Φ3 (14 ) = hα, α1 , α2 , α3 | [αi , α] = αi+1 , αp = αi = αp3 = 1(i = 1, 2)i.
(p)
(xi) Φ7 (15 ) = hα, α1 , α2 , α3 , β | [αi , α] = αi+1 , [α1 , β] = α3 , αp = α1 = αpi+1 = β p = 1(i = 1, 2)i.
(xii) Φ2 (31) = hα, α1 , α2 | [α1 , α] = αp = α2 , αp1 = αp2 = 1i.
If p = 2, then G is isomorphic to
2

(4)

(xiii) D8 × Z2 ,
(xiv) ha, b, c, d, e | [d, c] = [e, b] = a2 , a4 = b2 = c2 = d2 = e2 = 1i,
(xv) Z2 × ha, b, c, d | [b, c] = [a, d] = b2 , a2 = b4 = c2 = d2 = 1i,
(xvi) Z2 × ha, b, c, d | b2 = c2 , [b, c] = [a, d] = b2 , a2 = b4 = c4 = d2 = 1i,
(xvii) Z2 ×Z2 ×X where X = ha, b, c | [b, c] = a2 , [a, b] = [a, c] = 1, a4 = b2 = c2 = 1i
(3)

(xviii) Q8 × Z2 ,
(4)
(xix) Z2 ⋊ Z2 ,
(xx) ha, b, c | [a, c] = [b, c] = 1, (ba)2 = (ab)2 , ba2 = a2 b, a4 = b2 = c2 = 1i,
(xxi) QD16 ,
(xxii) Q16 ,
(xxiii) ha, b | [a, b] = a4 , a8 = b2 = 1i,
(xxiv) ha, b, c | [a, c] = a2 , [b, c] = b2 , a4 = b4 = c2 = 1i,
where Dn denotes Dihedral group of order n, QDn denotes QuasiDihedral groups
of order n and Qn denotes Quaternion group of order n.
2. Preliminaries
In this section we list following results which are used in our proof.
Theorem 2.1. (see [15, Theorem 4.1]) Let G be a finite group and K a central
subgroup. Set A = G/K. Then |M (G)||G′ ∩ K| divides |M (A)||M (K)||A ⊗ K|
Proposition 2.2. (see [14, Proposition 2.4]) Let G be a finite nilpotent group of
class c ≥ 2. Then |γc (G)||M (G)| ≤ |M (G/γc (G))||G/Zc−1 (G) ⊗ γc (G)|

CLASSIFICATION OF p-GROUPS BY THEIR SCHUR MULTIPLIER

3

Theorem 2.3. (see [20, Corollary 4.16]) Let G be an extra special p-group of order
p2n+1 .
2
(i) If n ≥ 2, then |M (G)| = p2n −n−1 .
(ii) If n = 1, then the Schur multiplier of D8 , Q8 , ESp (p3 ) and ESp2 (p3 ) are isomorphic to Z2 , 1, Zp × Zp and 1 respectively.
The following result follows from [17] for |G′ | = p and from [6, page. 4177] for
′

|G | = p2 .
Theorem 2.4. For non-abelian p-groups G of order p4 with |G′ | = p, M (Φ2 (211)a) ∼
=
(4)
4
∼
∼
∼
∼
Zp × Zp , M (Φ2 (1 )) = Zp , M (φ2 (31)) = 1, M (Φ2 (22)) = Zp , M (Φ2 (211)b) =
Zp × Zp , M (Φ2 (211)c) ∼
= Zp × Zp
and For |G′ | = p2 ,
M (Φ3 (211)a) ∼
= Zp × Zp
= Zp , M (Φ3 (14 )) ∼
= Zp , M (Φ3 (211)br ) ∼
The following three lemmas follow from [7, Main theorem].
1

Lemma 2.5. Let G be a non-abelian p-group of order pn with |M (G)| = p 2 n(n−1)−6 .
Then n ≤ 8.
1

Lemma 2.6. Let G be a non-abelian p-group of order p8 with |M (G)| = p 2 n(n−1)−6 .
(5)
Then G ∼
= ESp (p3 ) × Zp .
Lemma 2.7. There is no p-group G of order pn (n ≥ 6) with |G′ | ≥ p3 and
1
|M (G)| = p 2 n(n−1)−6 .
Lemma 2.8. There is no non-abelian p-group G of order p7 with |M (G)| =
1
p 2 7(7−1)−6 = p15 .
Proof. It follows from [10, Theorem 21].


1

Lemma 2.9. Let G be a non-abelian p-group of order p4 with |M (G)| = p 2 4(4−1)−6 =
1. Then G ∼
= Φ2 (31).
Proof. This result follows from Theorem 2.4.



Hence from the discussion above it is clear that we have to study groups of order
p5 and p6 .
3. Groups of order p5
In this section we characterize groups of order p5 which have Schur multiplier of
order p4 .
Lemma 3.1. There is no non-abelian p-group of order p5 with |G′ | = p3 and
1

|M (G)| = p 2 5(5−1)−6 = p4 .

CLASSIFICATION OF p-GROUPS BY THEIR SCHUR MULTIPLIER

4

Proof. Notice that nilpotency class of G is either 3 or 4.
Let G be of class 4. Then G lie in the isoclinism classes Φ9 or Φ10 . By Proposition
2.2 and Theorem 2.4 we have |M (G)| ≤ p3 .
Now assume that the nilpotency class of G is 3. Then it follows that G lie in
Φ6 in [19]. In this case take any subgroup K ⊂ Z(G) ∩ G′ of order p. By Theorem
2.1 we have |M (G)|p ≤ |M (G/K)|p2 . Here G/K is of order p4 with |(G/K)′ | = p2 .
Hence it follows from Theorem 2.4 that |M (G)| ≤ p3 . This concludes the proof.

Before we proceed to the next result, we explain a method by Blackburn and
Evens [16] for computing Schur multiplier of p-groups of class 2 with G/G′ is elementary abelian.
Here G/G′ and G′ are elementary abelian of order p3 and p2 respectively. We can
consider G/G′ and G′ as vector spaces over GF (p), denote by V, W respectively.
Let v1 , v2 ∈ V such that vi = gi G′ , i ∈ {1, 2} and take (v1 , v2 ) = [g1 , g2 ].
Let X1 be the subspace of V ⊗ W spanned by all
v1 ⊗ (v2 , v3 ) + v2 ⊗ (v3 , v1 ) + v3 ⊗ (v1 , v2 )
Consider a map f : V → W given by f (gG′ ) = g p , g ∈ G. We denote by X2 the
subspace spanned by all v ⊗ f (v) for v ∈ V and take X = X1 + X2 . Now consider
a homomorpism σ : V ∧ V → V ⊗ W/X given by

σ(v1 ∧ v2 ) = v1 ⊗ f (v2 ) + p2 v2 ⊗ (v1 , v2 ) + X. Then there exists an abelian group
M ∗ having a subgroup N for which
ξ
1 → V ⊗ W/X → M ∗ −
→V ∧V →1
is exact, where N ∼
= V ⊗ W/X, M ∗ /N ∼
= V ∧ V and (σξ)(m) = mp for all m ∈ M ∗ .
Theorem 3.2. [16] With the notation above, consider a homomorphism ρ : V ∧V →
W given by
ρ(v1 ∧ v2 ) = (v1 , v2 ) for all v1 , v2 ∈ V .
Denote by M , the subgroup of M ∗ containg N for which M/N corresponds to kerρ.
∼M
Then M (G) =
Lemma 3.3. Let G be a non-abelian p-group of order p5 with |G′ | = p2 and
1
|M (G)| = p 2 5(5−1)−6 = p4 . Then G ∼
= Φ3 (15 ), Φ7 (15 ).
Proof. Groups of order p5 with |G′ | = p2 lie in the isoclinism classes Φ3 , Φ4 , Φ7 or
Φ8 [19].
In isoclinism class Φ3 , some groups are direct product of its subgroups. So
for them we can easily compute M (G) and we see |M (Φ3 (15 ))| = p4 . Now we
consider other groups. We have |M (G)|p ≤ |M (G/γ3 (G))|p2 using Proposition 2.2.
Observe that |M (G/γ3 (G))| ≤ p2 except Φ3 (2111)c. Therefore |M (G)| ≤ p3 except

CLASSIFICATION OF p-GROUPS BY THEIR SCHUR MULTIPLIER

5

Φ3 (2111)c. For G ∼
= Φ3 (2111)c by Theorem 2.1 (taking K = Z(G)) it follows that
|M (G)| ≤ p3 .
In class Φ4 , every group G has nilpotency class 2 with G/G′ elementary abelian.
By Theorem 3.2 |M (G)|/|N | = |V ∧V |/|W | and thus one can show that G = Φ4 (15 )
has |M (G)| = p6 but for all other groups G in Φ4 , |M (G)| ≤ p3 .
In class Φ7 , for the groups G ∼
= Φ7 (2111)a, Φ7(2111)br , Φ7 (2111)c we can choose
a normal subgroup K such that G/K is cyclic with |M (K)| = p, |K ′ | = p2 . Hence
|M (G)| ≤ p3 by [14, Theorem 3.1]. Now by [18, Theorem 2.3.10] we have the
following sequence is exact.
T ra

inf

δ

Hom(Z, C∗ ) −−→ M (G/Z) −−→ M (G) −
→ G/G′ ⊗ Z
5
In particular for G ∼
= Φ7 (1 ), taking Z = Z(G), Im(T ra) ∼
= ker(Inf ) ∼
= G′ ∩ Z ∼
=
Zp . We can see in [19], G is capable as E/Z(E) ∼
= G for groups E of order
p6 in isoclinism class Φ30 . Thus it follows from [18, Corollary 2.5.8 and 2.5.10]
that δ is not trivial map. So |ker(δ)| = |Im(Inf )| =

|M(G/Z)|
p

= p3 < |M (G)|. So

4

p ≤ |M (G)| and by [14, Theorem 3.1] (taking K =< α, α1 , α2 , α3 >) |M (G)| ≤ p4 .
Hence we conclude |M (Φ7 (15 ))| = p4 .
Finally consider the class Φ8 , consisting of only one group Φ8 (32). Observe that
|M (Φ8 (32))| ≤ p3 by Theorem 2.1 (taking K = Z(G)).


Lemma 3.4. Let G be a non-abelian p-group of order p5 with |G′ | = p and
1
|M (G)| = p 2 5(5−1)−6 = p4 . Then G ∼
= Φ2 (2111)c, Φ2 (2111)d.
Proof. Groups of order p5 with |G′ | = p lie in the isoclinism classes Φ2 and Φ5 [19].
The isoclinism class Φ5 consists of extra-special p-groups which have Schur multiplier of order p5 by Theorem 2.3. Now we consider the class Φ2 . Since |M (G)| = p4 ,
(4)
by Theorem 2.1 we have G/G′ ∼
= Zp2 × Zp × Zp or Zp . Now it follows that G is
either isomorphic to Φ2 (311)b, Φ2 (221)c or G is direct product of its subgroups.
If G ∼
= Φ2 (311)b, Φ2 (221)c, then by Theorem 2.1 |M (G)| ≤ p3 for suitable K. If
G is direct product of its subgroups, then |M (G)| = p4 only for Φ2 (2111)c, Φ2(2111)d.

4. Groups of order p6 and Proof of Main theorem
In this section we characterize groups of order p6 having Schur multiplier of order
p9 and prove the Main Theorem.
1

Lemma 4.1. Let G be a non-abelian p-group of order p6 with |M (G)| = p 2 6(6−1)−6 =
p9 . Then G/G′ is elementary abelian.
Proof. From Lemma 2.7 we have |G′ | ≤ p2 . It follows from [19] that if |G′ | = p, then
(4)
G/Z(G) is isomorphic to Zp ×Zp or Zp . If G′ ∼
= Zp ×Zp then G/Z(G) is isomorphic

CLASSIFICATION OF p-GROUPS BY THEIR SCHUR MULTIPLIER

6

(3)
(2)
(4)
to ESp (p3 ), Zp , ESp (p3 ) × Zp , ESp (p3 ) × Zp or Zp . If G′ ∼
= Zp2 , then again by
[19] G/Z(G) is isomorphic to Φ2 (22) or Zp2 × Zp2 . In all the above cases using [11,

Proposition 1] we conclude that if G/G′ is not elementary abelian, then |M (G)| <
p9 , which is not our case. Hence the result follows.

Lemma 4.2. Let G be a non-abelian p-group of order p6 with |G′ | = p and
|M (G)| = p9 , then G is isomorphic to one of the following: Φ2 (214 )a, Φ2 (214 )b,
Φ5 (214 )a, Φ5 (16 ), Φ5 (214 )b.
Proof. It follows from [19] that G lie in the isoclinism classes Φ2 or Φ5 . By the
preceeding lemma we have G/G′ is elementary abelian of order p5 . So in the
isoclinism class Φ2 we have to check Φ2 (214 )a, Φ2 (214 )b, Φ2 (214 )c, Φ2 (214 )d, Φ2 (16 )
and in the isoclinism class Φ5 we have to check Φ5 (214 )a, Φ5 (16 ), Φ5 (214 )b.
If G ∼
= Φ5 (214 )b, then by Theorem 2.1 (taking K = Z(G)) we have |M (G)| ≤ p9
and by [15, Corollary 3.2] |M (G)| ≥ p9 . Hence Φ5 (214 )b has Schur multiplier of
order p9 .
All other above groups are direct product of its subgroups. So it is easy to
see that among them Φ2 (214 )a, Φ2 (214 )b, Φ5 (214 )a, Φ5 (16 ) have Schur multiplier of
order p9 .

Lemma 4.3. There is no non-abelian p-group of order p6 with G′ ∼
= Zp2 and
9
|M (G)| = p .
Proof. From [19] it suffices to consider isoclinism classes Φ8 , Φ14 . Now using Theorem 2.1 (taking K = Z(G)) we can easily show that |M (G)| < p9 .

Lemma 4.4. Let G be a non-abelian p-group of order p6 with G′ ∼
= Zp × Zp and
|M (G)| = p9 . Then Z(G) is of exponent p and G′ ⊆ Z(G).
Proof. Let the exponent of Z(G) be pk (k ≥ 2) and K be a cyclic central subgroup
of order pk . Then using Theorem 2.1 and [7], we have
1

.
|M (G)| ≤ p−1 |M (G/K)||G/K ⊗ K| ≤ p−1 p 2 (n−3)(n−4)+1 p(n−3)
9
When n = 6 it gives |M (G)| < p , which is a contradiction. Hence Z(G) is of exponent p.
Now assume that G′ * Z(G). Then it follows that |Z(G)| ≤ p3 . If |Z(G)| = p,
then G is of nilpotency class 3. Now by Proposition 2.2, we get |M (G)| < p9 . If
|Z(G)| = p2 , then by the assumption there is a central subgroup K of order p such
that G′ ∩ K = 1 and (G/K)′ = p2 . By Theorem 2.1, |M (G)| ≤ |M (G/K)|p3 .
This is possible only when |M (G/K)| ≥ p6 . Now by Theorem [7, 8] we see that
there is no such G/K of order p5 such that |M (G/K)| ≥ p6 with (G/K)′ = p2 and
Z(G/K) = p. Finally if |Z(G)| = p3 , then consider a central subgroup of order p2
such that G′ ∩ K = 1. Then |M (G)| ≤ |M (G/K)|p4 by Theorem 2.1. Therefore it
follows from Theorem 2.4 |M (G)| < p9 .



CLASSIFICATION OF p-GROUPS BY THEIR SCHUR MULTIPLIER

7

Lemma 4.5. Let G be a non-abelian p-group of order p6 with G′ ∼
= Zp × Zp and
1
6(6−1)−6
9
6
2
= p . Then G is isomorphic to Φ4 (1 ).
|M (G)| = p
Proof. By preceeding lemma, G′ ⊆ Z(G). Now consider a central subgroup K in
G′ of order p. By Theorem 2.1 we have |M (G)|p ≤ |M (G/K)|p4 . This is possible
(2)
only when |M (G/K)| ≥ p6 . Since (G/K)′ ∼
= Zp so G/K ∼
= ESp (p3 ) × Zp by [7].
This tells that G is of exponent p. So we have to study the groups of exponent p
in the isoclinism classes Φ3 , Φ4 , Φ7 , Φ22 which are Φ3 (16 ), Φ4 (16 ), Φ7 (16 ), Φ22 (16 ).
∼ Φ22 (16 ), then by [14, Theorem 3.1] (taking K =< α, α1 , α2 , α3 , β1 >) we
If G =
have |M (G)| < p9 . Other groups are direct product of its subgroups. Hence it is
easy to see that only Φ4 (16 ) has Schur multiplier of order p9 .



We are now ready to prove our Main Theorem.
4.1. Proof of Main Theorem. Let G be a group of order pn (p odd) with
1

|M (G)| = p 2 n(n−1)−6 . By Lemma 2.5, it follows that n ≤ 8. If |G| = p8 , then the
assertion (i) of the main theorem follows from Lemma 2.6. By Lemma 2.8 it follows
1

that there is no non-abelian p-group of order p7 with |M (G)| = p 2 7(7−1)−6 = p15 .
So the problem reduces to studying groups of order p4 , p5 and p6 . If |G| = p4 ,
then the assertion (xii) follows from Lemma 2.9. Now we assume |G| = p5 . Then
assertions (viii), (ix) follows from Lemma 3.4 and (x), (xi) follows from Lemma 3.3.
Now consider groups of order p6 . Then the assertions (ii), (iii), (iv), (v), (vi) follow
from Lemma 4.2 and (vii) follows from 4.5.
For the case p = 2, the classification follows from computation using HAP package [21] of GAP [22].

Acknowledgement: I am grateful to my supervisor Manoj K. Yadav for his guidance, motivation and discussions. I wish to thank the Harish-Chandra Research
Institute, the Dept. of Atomic Energy, Govt. of India, for providing excellent
research facility.
References
[1] Schur, I, ber die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen,
J. Reine Angew. Math. 127, (1904), 20-50.
[2] Schur, I, Untersuchungen ber die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen, J. Reine Angew. Math. 132, (1907), 85-137.
[3] Green, J.A., On the number of automorphisms of a finite group, Proc. Roy. Soc. A 237,
(1956), 574-581.
[4] Berkovich, Ya. G., On the order of the commutator subgroups and the Schur multiplier of
a finite p-group., J. Algebra. 34 (1991), 613-637.
[5] Zhou, X., On the order of Schur multipliers of finite p-groups, Comm. Algebra, 22, (1994),
1-8.
[6] Ellis, G.,On the Schur multiplier of p-groups., Comm. Algebra, (1999), 27(9): 4173-4177.

CLASSIFICATION OF p-GROUPS BY THEIR SCHUR MULTIPLIER

8

[7] Niroomand, P, On the order of Schur multiplier of non-abelian p groups, Journal of Algebra,
322, (2009), 4479-4482.
[8] Niroomand, P., Characterizing finite p-groups by their Schur multipliers, C. R. Math. Acad.
Sci. Paris, Ser. 350, (2012), 867-870.
[9] Niroomand, P., Characterizing finite p-groups by their Schur multipliers, t(G) = 5,
http://arxiv.org/abs/1001.4257.
[10] Niroomand, P., A note on the Schur multiplier of groups of prime power order, Ricerche di
Matematica, (2012), 61, 341-346
[11] Ellis, G., Wiegold, J., A bound on the Schur multiplier of a prime-power group, Bull.
Austral.math.soc, 60 (1999), 191-196.
[12] Jafari, S.H., Finite p-groups whose order of their Schur multiplier is given(t = 6), The
Extended Abstract of the 6th International Group Theory Conference (2014), 92-95.
[13] Jones, M.R., Multiplicators of p-Groups, Math. Z 127 (1972), 165-166.
[14] Jones, M.R., Some inequalities for multiplicators of a finite group II, Proc. Amer. Math.
Soc. 45(2) (1974), 167-172.
[15] Jones, M.R., Some inequalities for multiplicators of a finite group, Proc. Amer. Math. Soc.
39(3) (1973b), 450-456.
[16] Blackburn, N., Evens, L., Schur multipliers of p-groups, J. Reine Angew. Math. 309, (1979),
100-113.
[17] Kim Seon Ok, On p-groups of order p4 , Comm. Korean Math. Soc.16 (2001), 205-210.
[18] Karpilovsky, G., The Schur multiplier. London Math. Soc. Monographs, Oxford Univ. Press,
1987.
[19] James, R., The groups of order p6 (p an odd prime), Math. Comp. 34 (1980), 613-637.
[20] Beyl, F.R and Tappe, J. Group extensions, representations and the Schur multiplicator,
Lecture Notes in Mathematics No. 958, Springer-Verlag, Berlin. 1982.
[21] Ellis, G. (2008).HAP-Homological algebra programming A refreed GAP 4 package (GAP
Group 2005), available at http://hamilton.nuigalway.ie/Hap/www.
[22] The GAP Group. (2005). GAPGroups Algorithms and Programming. version 4.4. Available
at: http://www.gap-system.org.
School of Mathematics, Harish-Chandra Research Institute, Chhatnag Road, Jhunsi,
Allahabad 211019, INDIA
E-mail address: sumanahatui@hri.res.in, sumana.iitg@gmail.com

