Arxiv:1804.11308V2 [Math.GR]

Home , Schur multiplier

arXiv:1804.11308v2 [math.GR] 4 May 2018 htfrafiiegroup finite a for that esrsquare tensor ujc oterelations the to subject eeaiaino bla esrpout npriua,we gro a when G particular, In Brown product. by tensor defined abelian was of conditions, generalization compatibility certain satisfying and rep H linear group homology become integral to second representation as projective a for obstruction H ojgto then conjugation and utetgopof group quotient all for elements endo h eeaosby generators the on defined h epimorphism The smrhct h cu utpirM( multiplier Schur the to isomorphic 2 2010 h cu utpirM( multiplier Schur The e od n phrases. and words Key The cso tefb ojgto,i.e., conjugation, by itself on acts ( G, C ,g g, ahmtc ujc Classification. Subject Mathematics o-bla esrproduct tensor non-abelian ⋆ Abstract. h aaiiyo ruso order of groups of capability the n xeirsur fnon-abelian of square exterior and H CU UTPIR OF MULTIPLIERS SCHUR THE ,where ), g ′ ⊗ ,h h, , g G o all for ′ ⊗ UAAHTI IU AKR N AO .YADAV K. MANOJ AND KAKKAR, VIPUL HATUI, SUMANA G ∈ C G nti ril,w opt h cu utpir non-abeli multiplier, Schur the compute we article, this In f G ⋆ ⊗ G ⊗ hnidc nepimorphism an induce then satrivial a is The . of G g G G finite ∈ scle o-bla esrsur hc sdfie sflos Let follows. as defined is which square tensor non-abelian called is G h ru M( group the , by G G stegopgnrtdb h symbols the by generated group the is tflosfo h ento httemap the that definition the from follows It . p f fagroup a of ) ∇ o-bla xeirsquare exterior non-abelian gop cu utpir o-bla esrsur,exte square, tensor non-abelian multiplier, Schur -group, ( g ( g gg G G ⊗ ⊗ ′ ,where ), -module. ⊗ h hh G p 1. 2 [ = ) h 5 ( p ′ h G . ⊗ G, 01,20J06. 20D15, gop forder of -groups ( = ( = Introduction g of ) G H ,h g, Z = G sioopi otescn ooooygroup cohomology second the to isomorphic is ) g g ,where ), ∇ g ftogroups two of g ⊗ G a netdb .Shri 2]ad[3 san as [23] and [22] in Schur I. by invented was ′ ,i neiopim hr [ where epimorphism, an is ], ( 1 − ⊗ G h 1 [6]. hg ′ stenra ugopgnrtdb the by generated subgroup normal the is ) h )( g g p ′ )( o all for h Z GOP FORDER OF -GROUPS f ′ ′ p g satrivial a is ⊗ 5 ′ : sa plcto edetermine we application an As . ⊗ h G h h ,g h, ′ of ∧ G ) ) G G and ∈ eoe by denoted , → G eetto,adi defined is and resentation, G mdl.I swl known well is It -module. H hntenon-abelian the Then . G g cigo ahother each on acting , up ntno square tensor an ′ h enlof kernel The . ⊗ n oa 6 sa as [6] Loday and G h ,h g, f o all for cso tefby itself on acts : = ] G G irsquare. rior ∧ ⊗ p g 5 ,h g, − G G 1 sthe is , h → − ∈ f 1 ′ gh G G is ′ , , . 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 2

We now present a diﬀerent description of G ⊗ G, introduced in [21], which, sometimes, comes more handy for evaluating tensor square of a group G. By Gφ we denote the isomorphic image of a group G via the isomorphism φ. Consider the group

φ φ φ g g g φ φ gφ ν(G) := G, G |ℜ, ℜ , [g1,g2 ] = [g1 , (g2 ) ] = [g1,g2 ] for all g,g1,g2 ∈ G D E where ℜ, ℜφ are the defining relations of G and Gφ respectively. Recall that the commutator subgroup of G and Gφ in ν(G) is defined as [G, Gφ] = [g,hφ] | g,h ∈ G . Then the map Φ: G ⊗ G → [G, Gφ], defined by

Φ(g ⊗ h) = [g,hφ], g,h ∈ G is an isomorphism [21]. Let π :[G, Gφ] → [G, Gφ]/ [g,gφ] | g ∈ G be the natural projection. Then we have an isomorphism between G ∧ G and [G, Gφ]/ [g,g φ] | g ∈ G .

This article is devoted to computing the Schur multiplier, non-abelian tensor square and non-abelian exterior square of non-abelian p-groups of order p5. We sometimes compute the Schur multiplier of a group and use this to compute the non-abelian tensor square, and sometimes the other way round. The technique of the proof highly depends on the given group, and therefore the article uses a blend of almost all known techniques. As an application we categorise capable and non-capable groups of order p5. A group G is said to be capable if there exists a group H such that G =∼ H/ Z(H), where Z(H) denotes the center of H.

5 There are 10 isoclinism classes Φi, 1 ≤ i ≤ 10, of groups of order p as per the classification by R. James [14]. The groups in Φ1 are abelian groups. We recall some notations from [14]. p p (p) p (2) (k) For an element αi+1 of a finite p-group G, by αi+1, we mean αi+1αi+2 ··· αi+k ··· αi+p, where αi+2, ..., αi+p are suitably defined elements of G. Observe that, for the groups under (p) p consideration in this article, αi = αi for p > 3. By ν we denote the smallest positive integer which is a non-quadratic residue (mod p), and by ζ we denote the smallest positive integer which is a primitive root (mod p). Relations of the form [α, β] = 1 for generators α and β are omitted in the presentations of the groups.

The layout of the article is as follows. In Section 2, we present preliminary results including the Schur multiplier and tensor square of groups of order p3 and p4, p ≥ 5. In the following sections the Schur multiplier, exterior square and tensor square of groups G of order p5, p ≥ 5 are computed. Section 3 deals with special p-groups of order p5. In Section 4, we consider groups of maximal class. In Section 5, all remaining groups of order p5 are dealt with, and for p ≥ 5 our main results are presented in Table 1. The results on the capability of these groups are presented in Table 2. In the last section we consider the groups of order 25 and 35, where the results are given in Table 3, Table 4, using HAP [8] of GAP [11]. Since our proofs heavily depend on the presentations of the groups under consideration, we include the presentations of groups of order pn, 3 ≤ n ≤ 5, from [14] in Annexure A, after the bibliography. The set of identities obtained by computation is usually 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 3 sequential, i.e., the ﬁrst might have been used for obtaining the second, and the ﬁrst and second for the third, and so on.

The presentation of the article is a bit unusual. We only prove lemmas, in each of which we compute required information for speciﬁc classes of groups sharing the technique of proof. Our main result is a combination of all the lemmas.

We conclude this section with setting some notations. The commutator and Frattini subroup of a finite group G are denoted by G′ and Φ(G) respectively. By d(G) we denote (k) the cardinality of a minimal generating set of a finitely generated group G. By Zp we denote Zp × Zp ×···× Zp(k times). For a group G, γi(G) denotes the i-th term of the lower ab ′ central series of G and G denotes the quotient group G/γ2(G). Notice that γ2(G) = G . The epicenter, denoted by Z∗(G), of a group G is defined to be the smallest central subgroup K of G such that G/K is capable.

2. Preliminaries

In this section we list some known results which we’ll use in the upcoming sections.

Theorem 2.1 ([23]). For two groups H and K, ′ ′ M(H × K) =∼ M(H) × M(K) × (H/H ⊗ K/K ).

Theorem 2.2 ([25]). If a group G is a semidirect product of a normal subgroup N and a subgroup T , and M is a G-module with trivial G-action. Then the following sequence is exact

1 2 2 T 2 1 → H T, Hom(N,M) → H (G, M)2 → H (N,M) → H T, Hom(N,M) , where 2 G 2 2 H (G, M)2 = Ker resT : H (G, M) → H (T,M) and H2(N,M)T is T - stable subgroup of H2(N,M).

Theorem 2.3 (See Theorem 3.1 of [15]). Let G be a ﬁnite group and K any normal subgroup of G. Set H = G/K. Then

(i) | M(H)| divides | M(G)||G′ ∩ K|, (ii) d M(H) ≤ d M(G) + d(G′ ∩ K). Theorem 2.4 (See Theorem 4.1 of [15]). Let G be a ﬁnite group and K a central subgroup of G. Set A = G/K. Then | M(G)||G′ ∩ K| divides | M(A)|| M(K)||Aab ⊗ K|.

Theorem 2.5 (See Theorem 3.1 of [16]). Let G be a ﬁnite group and N any normal subgroup such that G/N is cyclic. Then

(i) | M(G)| divides | M(N)||N/N ′|, (ii) d M(G) ≤ d M(N) + d(N/N ′). 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 4

Theorem 2.6 ([9]). Let Z be a central subgroup of a ﬁnite group G. Then the following sequence is exact ′ µ ′ G/G ⊗ Z −→λ M(G) −→ M(G/Z) → G ∩ Z → 1, where λ is the Ganea map.

Theorem 2.7 ([1]). Let Z be a central subgroup of a ﬁnite group G. Consider the Ganea map λ : G/G′ ⊗ Z → M(G). Then Z ⊆ Z∗(G) if and only if G/G′ ⊗ Z is contained in the kernal of λ.

Lemma 2.8 (See Lemma 9 of [19]). If a group G has nilpotency class ≤ 5, then n n n [xn,y] = [x, y]n[x, y, x](2)[x, y, x, x](3)[x, y, x, x, x](4)[x, y, x, [x, y]]σ(n) for x, y ∈ G and any positive integer n, where σ(n)= n(n − 1)(2n − 1)/6.

The following results follow from [3] and [21].

Lemma 2.9. For a group G, the following properties hold in ν(G).

(i) If G is nilpotent of class c, then ν(G) is nilpotent of class at most c +1. (ii) If G is a p-group, then ν(G) is a p-group. φ φ φ φ φ φ φ φ φ (iii) [g1 ,g2,g3] = [g1,g2 ,g3] = [g1,g2,g3 ] = [g1 ,g2 ,g3] = [g1 ,g2,g3 ] = [g1,g2 ,g3 ] for all g1,g2,g3 ∈ G. (iv) If either g ∈ G′ or h ∈ H′, then [g,hφ] = [h,gφ]−1. (v) [g,gφ]=1, for all g ∈ G′. φ φ φ (vi) [[g1,g2 ], [h1,h2 ]] = [[g1,g2], [h1,h2] ] for all g1,g2,h1,h2 ∈ G. φ φ (vii) [[g1,g2 ], [g2,g1 ]] = 1 for all g1,g2 ∈ G. φ (viii) If g,g1,g2 ∈ G such that [g,g1] = 1 = [g,g2], then [g1,g2,g ]=1. (ix) [g,gφ] is central in ν(G) for all g ∈ G.

The following result follows from the proof of [21, Lemma 2.1(iv)]:

φ φ −1 Lemma 2.10. For all g1,g2 ∈ G, [g1,g2 ] = [g2,g1 ] in G ∧ G, i.e., modulo ∇(G). Proposition 2.11 (See Proposition 20 of [3]). Let G be a polycyclic group with a polycyclic φ generating sequence g1,...,gk. Then G ∧ G is generated by {[gi,gj ],i>j}.

The generating sets for the groups G, given in [14], form polycyclic generating sequences. Then Proposition 2.11 provides a generating set for G ∧ G. This information will be used several times throughout the article without any further reference.

By items (vi) and (viii) of Lemma 2.9, we get

Lemma 2.12. If G is of nilpotency class 2, then G ⊗ G is abelian.

Let Γ denote the Whitehead’s quadratic functor (see [26]). For ﬁnite abelian groups G and H, we get (i) Γ(G × H) =∼ Γ(G) × Γ(H) × (G ⊗ H), 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 5

Zn n odd (ii) Γ(Zn)= Z2n n even .

Theorem 2.13 (See Theorem 1.3 of [4]). Let Gab be ﬁnitely generated, and have no element of order 2. Then G ⊗ G =∼ Γ(Gab) × (G ∧ G). In particular, if G is a ﬁnite p-group, p odd, then G ⊗ G =∼ Γ(Gab) × (G ∧ G).

Proposition 2.14 (See Proposition 11 of [5]). For the groups G and H, we have

(G × H) ⊗ (G × H) = (G ⊗ G) × (G ⊗ H) × (H ⊗ G) × (H ⊗ H).

Theorem 2.15. We have the following table for non-abelian groups of order p3 and p4, p ≥ 5.

G Gab Γ(Gab) M(G) G ∧ G G ⊗ G Generators of G ∧ G (2) (3) (4) φ Φ2(21) Zp Zp {1} Zp Zp [α1, α ] Z(2) Z(3) Z(2) Z(3) Z(6) φ φ φ Φ2(111) p p p p p [α1, α ], [α2, α ], [α2, α1 ] Z(3) Z(6) Z(2) Z(3) Z(9) φ φ φ Φ2(211)a p p p p p [α1, α ], [α3, α ], [α3, α1 ] 4 Z(3) Z(6) Z(4) Z(5) Z(11) φ φ φ Φ2(1 ) p p p p p [α1, α ], [α2, α ], [α2, α1 ], φ φ [α3, α ], [α3, α1 ] (2) (3) φ Φ2(31) Zp2 × Zp Zp2 × Zp {1} Zp Zp2 × Zp [α1, α ] (2) (2) (2) Z 2 Z Z 2 Z Z Z 2 Z Z φ Φ2(22) p × p p × p p p p2 × p [α1, α ] Z(3) Z(6) Z(2) Z(3) Z(9) φ φ φ Φ2(211)b p p p p p [α1, α ], [γ, α ], [γ, α1 ] (2) (2) (3) (5) φ Z 2 Z Z 2 Z Z Z Z 2 Z φ φ Φ2(211)c p × p p × p p p p × p [α1, α ], [α2, α ], [α2, α1 ] Z(2) Z(3) Z Z(3) Z(6) φ φ φ Φ3(211)a p p p p p [α1, α ], [α2, α ], [α2, α1 ] Z(2) Z(3) Z Z(3) Z(6) φ φ φ Φ3(211)br p p p p p [α1, α ], [α2, α ], [α2, α1 ] 4 Z(2) Z(3) Z(2) Z(4) Z(7) φ φ φ Φ3(1 ) p p p p p [α1, α ], [α2, α ], [α2, α1 ], φ [α3, α ]

Proof. Schur multipliers of groups of order p4 are taken from [20] for |G′| = p and from [7, page. 4177] for |G′| = p2. The Schur multipliers of groups of order p3 are well known. So we mainly work for computing the exterior squares. Tensor squares will then follow easily by Theorem 2.13. We work in the group ν(G).

In the class Φ2, we only work out the exterior square of Φ2(211)b. The other cases go on the same lines.

2 Consider the group G := Φ2(211)b. Since | M(G)| = p and |γ2(G)| = p, it follows that |G ∧ G| = p3. By Lemma 2.9(viii), we have

φ φ [α2,γ ] = [α1,α,γ ]=1, as γ ∈ Z(G). By Lemma 2.8 the following identities hold:

φ p φ φ p p φ [α2, α ] = [γ , α ] = [γ, α ] = [γ, (α ) ]=1, φ p φ φ p p φ [α2, α1 ] = [γ , α1 ] = [γ, α1 ] = [γ, (α1) ]=1, φ p p φ [α1, α ] = [α1, α ]=1. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 6

These identities, along with Proposition 2.11 and Lemma 2.12, imply that G∧G is generated φ φ φ by [α1, α ], [γ, α ], [γ, α1 ], all of which are of order p. Hence ∼ Z(3) G ∧ G = p .

4 2 Now we work out the exterior square of the group G = Φ3(1 ). Since | M(G)| = p , |G ∧ G| = p4. By Proposition 2.11, G ∧ G is generated by the set

φ φ φ φ φ φ {[α1, α ], [α2, α ], [α2, α1 ], [α3, α ], [α3, α1 ], [α2, α3 ]}. By Lemma 2.9(viii), we have

φ φ [α2, α3 ] = [α1, α, α3 ]=1 as α3 ∈ Z(G). Hall-Witt identity yields

−1 φ α −1 −1 φ α1 1 = [α2, α, α1 ] [α , α1 , α2 ] φ −1 −1 −1 φ α1 = [α3, α1 ][α1αα2 α α1 , α2 ] φ −1 −1 φ = [α3, α1 ][αα2 α , α2 ] φ −1 φ = [α3, α1 ][α3α2 , α2 ] φ φ φ −1 = [α3, α1 ][α3, α2 ][α2, α2 ] φ φ −1 = [α3, α1 ][α2, α2 ] . φ φ Consequently, [α3, α1 ] = [α2, α2 ] = 1 in G ∧ G. Also, by Lemma 2.8, we get φ p p φ p φ φ p [α3, α ] = [α3, α ] = 1 = [α2, α1 ] = [α2, α1 ] . and φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α1, α ] = [α1, α ] . Hence, in view of Lemma 2.9(vi), ∼ φ φ φ φ ∼ Z(4) G ∧ G = h[α1, α ], [α2, α ], [α2, α1 ], [α3, α ]i = p . The remaining cases go on the same lines.

We remark that the G ∧ G and G ⊗ G for all groups G of order p4 have been computed in [10]. We recompute G ∧ G, for all groups G of order p4, on the way to computing the minimal generating set for G ∧ G.

′ 3. Classes Φ4, Φ5: Groups of class 2 with G/G elementary abelian

Throughout the article, we make calculations in the subgroup [G, Gφ] of ν(G) modulo ∇(G), i.e., we work in G ∧ G. For commutator and power calculations, we use Lemma 2.8 without any further reference.

First we consider extra-special p-groups of order p5, for which we have the following result. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 7

5 Lemma 3.1. If G is one of the groups Φ5(2111) or Φ5(1 ), then M(G) is isomorphic to (5) (6) Zp and G ∧ G is isomorphic to Zp .

Proof. The groups G are extra-special groups. So it follows from [17, Theorem 3.3.6(i)] that M(G) is an elementary abelian p-group of order p5. By [18, Corollary 2.3], we have ∼ Z(16) G ⊗ G = p . Now by Theorem 2.13, ∼ Z(6) G ∧ G = p , which completes the proof.

Now let G be a ﬁnite p-group of class 2 such that G/G′ and G′ are elementary abelian of 3 2 ′ ′ order p and p respectively. We consider G/G and G as vector spaces over Fp, which we denote by V, W respectively. The bilinear map (−, −): V × V → W is deﬁned by

(v1, v2) = [g1,g2] ′ for v1, v2 ∈ V such that vi = giG ,i ∈{1, 2}.

The following construction is from [2]. Let X1 be the subspace of V ⊗ W spanned by all

v1 ⊗ (v2, v3)+ v2 ⊗ (v3, v1)+ v3 ⊗ (v1, v2) for v1, v2, v3 ∈ V .

Consider a map f : V → W given by ′ f(gG )= gp for g ∈ G. We denote by X2, the subspace spanned by all v ⊗ f(v), v ∈ V , and take

X := X1 + X2.

Now consider a homomorpism σ : V ∧ V → (V ⊗ W )/X given by p σ(v1 ∧ v2)= v1 ⊗ f(v2) + (2)v2 ⊗ (v1, v2) + X. Then there exists an abelian group M ∗ admitting a subgroup N, isomorphic to (V ⊗W )/X, such that ∗ ξ 1 → N → M −→ V ∧ V → 1 is exact. Now we consider a homomorphism ρ : V ∧ V → W given by

ρ(v1 ∧ v2) = (v1, v2) ∗ for all v1, v2 ∈ V. Notice that ρ is an epimorphism. Denote by M, the subgroup of M containing N such that M/N =∼ Ker ρ. Then it follows that |M/N| = |V ∧ V |/|W |, which will be used for calculating the order of M without any further reference.

With the above setting, we have 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 8

Theorem 3.2. ([2, Theorem 3.1]) M(G) =∼ M.

The following information will be used throughout the rest of this section without further reference.

Remark 3.1. Let G be any group in the isoclinism class Φ4. Consider the natural epimorphism [G, Gφ] → [G/ Z(G), (G/ Z(G))φ]. Since G/ Z(G) ∧ G/ Z(G) is elementary abelian of order p3, it follows that the elements φ φ φ [α1, α ], [α2, α ], [α2, α1 ] are non-trivial and independent in G∧G. Furthermore, by Lemma 2.12, G ⊗ G is abelian.

Lemma 3.3. If G is one of the groups Φ (221)a, Φ (221)b, Φ (221) c, Φ (221)d 1 − , 4 4 4 4 2 (p 1) 1 Φ4(221)dr r 6= 2 (p − 1) , Φ4(221)e, Φ4(221)f0 or Φ4(221)fr, then M(G) is isomorphic to (3) Zp, Zp × Zp, Zp, Zp2 , Zp,Zp, Zp2 or Zp respectively, and G ∧ G is isomorphic to Zp , Zp2 × (3) (3) (3) (3) Zp × Zp, Zp , Zp2 × Zp × Zp, Zp , Zp , Zp2 × Zp × Zp or Zp respectively.

Proof. For the group G =Φ4(221)a, notice that X1 is spanned by

′ p ′ p (α1G ⊗ α − α2G ⊗ α1)

′ p ′ p ′ ′ p ′ and dim X1 = 1. Observe that αG ⊗ α , α1G ⊗ α1 ∈ X2 and (αG + uG ) ⊗ α , (α1G + ′ p ′ ′ p ′ p ′ uG ) ⊗ α1 ∈ X2 for uG ∈ Ker f. So, we have uG ⊗ α , uG ⊗ α1 ∈ X2 for all uG ∈ Ker f. ′ p ′ p This implies α2G ⊗ α , α2G ⊗ α1 ∈ X2. Now a general element of X2 is of the form ′ ′ ′ p p 2 ′ p 2 ′ p (p1αG + p2α1G + p3α2G ) ⊗ (p1α + p2α1) = p1αG ⊗ α + p2α1G ⊗ α1 ′ p ′ p +p1p2(αG ⊗ α1 + α1G ⊗ α ) ′ p +p3p1(α2G ⊗ α ) ′ p +p3p2(α2G ⊗ α1).

This shows that, X2 is spanned by the set

′ p ′ p ′ p ′ p ′ p ′ p {αG ⊗ α , α1G ⊗ α1, α2G ⊗ α , α2G ⊗ α1, (αG ⊗ α1 + α1G ⊗ α )}.

′ p ′ p Hence, dim X2 = 5. Observe that (α1G ⊗ α − α2G ⊗ α1) is not contained in X2. Thus, dim X = 6, and consequently, |N| =1, |M| = p. Now by Theorem 3.2, we have

M(G) =∼ Zp, which gives |G ∧ G| = p3. Hence φ φ φ ∼ Z(3) G ∧ G = h[α1, α ], [α2, α ], [α1, α2 ]i = p .

For the group G =Φ4(221)b, we see that X1 is spanned by

′ p ′ p (α1G ⊗ α − α2G ⊗ α2) 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 9 and dim X1 = 1. As described in the preceding case, the subspace X2 is spanned by the set

′ p ′ p ′ p ′ p ′ p ′ p {αG ⊗ α , α2G ⊗ α2, α1G ⊗ α , α1G ⊗ α2, (αG ⊗ α2 + α2G ⊗ α )}, and dim X2 = 5. Observe that X1 ⊂ X2, so dim X = 5 and |N| = p. By Theorem 3.2 |M| = | M(G)| = p2. Hence, |G ∧ G| = p4.

By Lemma 2.9(viii), φ φ [β1,β2 ] = [α1,α,β2 ]=1.

For i ∈{1, 2}, x ∈{α, α1, α2}, we have (by Lemma 2.8),

φ p p [βi, x ] = [βi , x]=1, φ p φ φ p [β2, x ] = [α , x ] = [α, x ] , φ p φ φ p [β1, x ] = [α2, x ] = [α2, x ] , φ p p φ p φ φ p [α, α1 ] = [α, (α1) ] = 1 = [α2, (α1) ] = [α2, α1 ] , 2 2 φ p p φ [α2, α ] = [α2 , α ]=1. Hence, it follows that

φ φ φ ∼ Z 2 Z Z G ∧ G = h[α2, α ], [α1, α ], [α1, α2 ]i = p × p × p and ∼ φ p φ ∼ Z Z M(G) = h[α2, α ] , [α1, α2 ]i = p × p.

For the group G =Φ4(221)c, we see that X1 is spanned by ′ p ′ p (α1G ⊗ α2 − α2G ⊗ α1), and dim X1 = 1. It follows that X2 is spanned by the set ′ p ′ p ′ p ′ p ′ p ′ p {α1G ⊗ α1, α2G ⊗ α2, αG ⊗ α1, αG ⊗ α2, (α1G ⊗ α2 + α2G ⊗ α1)} and dim X2 = 5. So dim X = 6 and |N| =1, |M| = p. Hence

M(G) =∼ Zp and ∼ φ φ φ ∼ Z(3) G ∧ G = h[α1, α ], [α2, α ], [α1, α2 ]i = p .

For the group G =Φ4(221)dr, X1 is spanned by ′ p ′ (α1G ⊗ α2 − α2G ⊗ β1) and dim X1 = 1. The space X2 is spanned by the set

′ k ′ p ′ k ′ p ′ p ′ k {α1G ⊗ β1 , α2G ⊗ α2, αG ⊗ β1 , αG ⊗ α2, (α1G ⊗ α2 + α2G ⊗ β1 )} and dim X2 = 5.

1 For r = 2 (p − 1), it follows that in the presentation of G k ≡ −1 (mod p). So we have 2 4 X1 ⊂ X2. Hence dim X = 5, and therefore |N| = p, | M(G)| = p and |G ∧ G| = p . By Lemma 2.9(viii), φ φ [β1,β2 ] = [α1,α,β2 ]=1. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 10

For i ∈{1, 2}, x ∈{α, α1, α2}, we have

φ p p [βi, x ] = [βi , x]=1, φ p φ φ p [β2, x ] = [α2, x ] = [α2, x ] , φ −p φ −1 φ p φ −p [β1, x ] = [α1 , x ] = [α1 , x ] = [α1, x ] , φ p p φ p φ φ p [α, α1 ] = [α , α1 ] = 1 = [α2, (α ) ] = [α2, α ] , 2 2 φ p p φ [α1, α2 ] = [α1 , α2 ]=1.

Hence, it follows that

φ φ φ ∼ Z 2 Z Z G ∧ G = h[α1, α2 ], [α1, α ], [α2, α ]i = p × p × p and, since [α1, α2] = 1, φ ∼ ∼ Z 2 M(G) = h[α1, α2 ]i = p .

1 For r 6= 2 (p − 1), X1 ∩ X2 = ∅, so dim X = 6 and therefore |N| = 1. Hence

M(G) =∼ Zp and φ φ φ ∼ Z(3) G ∧ G = h[α1, α ], [α2, α ], [α1, α2 ]i = p .

For the group G =Φ4(221)e, X1 is spanned by

′ ′ (α1G ⊗ β2 − α2G ⊗ β1) and dim X1 = 1. The subspace X2 is spanned by the set − 1 − 1 ′ 4 ′ ′ ′ 4 ′ ′ {α1G ⊗ β2 , (α2G ⊗ β1 + α2G ⊗ β2), αG ⊗ β2 , (αG ⊗ β1 + αG ⊗ β2), − 1 ′ ′ ′ 4 (α1G ⊗ β1 + α1G ⊗ β2 + α2G ⊗ β2 )} and dim X2 = 5. So dim X = 6. Therefore |N| = 1 and |M| = | M(G)| = p. Hence

M(G) =∼ Zp and φ φ φ ∼ Z(3) G ∧ G = h[α1, α ], [α2, α ], [α1, α2 ]i = p .

For the group G =Φ4(221)f0, X1 is spanned by

′ ′ (α1G ⊗ β2 − α2G ⊗ β1) and dim X1 = 1. The subspace X2 is spanned by

′ ′ ν ′ ′ ν ′ ν ′ {α1G ⊗ β2, α2G ⊗ β1 , αG ⊗ β2, αG ⊗ β1 , (α1G ⊗ β1 + α2G ⊗ β2)} and dim X2 = 5. Observe that X1 ⊂ X2, so dim X = 5. Therefore |N| = p, |M| = | M(G)| = p2. By Lemma 2.9(viii), φ φ [β1,β2 ] = [α1,α,β2 ]=1. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 11

For i ∈{1, 2}, x ∈{α, α1, α2}, we have φ p p φ [βi, x ] = [βi , x ]=1, φ p φ φ p [β2, x ] = [α1, x ] = [α1, x ] , −1 −1 φ pν φ φ pν [β1, x ] = [α2 , x ] = [α2, x ] , φ p p φ p φ φ p [α, α1 ] = [α , α1 ] = 1 = [α2, (α ) ] = [α2, α ] . Hence φ φ φ ∼ Z 2 Z Z G ∧ G = h[α1, α2 ], [α2, α ], [α1, α ]i = p × p × p and, since [α1, α2] = 1, φ ∼ ∼ Z 2 M(G) = h[α1, α2 ]i = p .

On the same lines, we can prove that

M(Φ4(221)fr) =∼ Zp and φ φ φ ∼ Z(3) Φ4(221)fr ∧ Φ4(221)fr = h[α1, α ], [α2, α ], [α1, α2 ]i = p . This completes the proof of the lemma.

5 Lemma 3.4. If G is one of the groups Φ4(2111)a, Φ4(2111)b, Φ4(2111)c or Φ4(1 ), then (3) (3) (3) (6) M(G) is isomorphic to Zp , Zp , Zp or Zp respectively, and G ∧ G is isomorphic to (5) (5) (5) (8) Zp , Zp , Zp or Zp respectively.

Proof. For the group G =Φ4(2111)a, X1 is spanned by the element ′ p ′ (α1G ⊗ α − α2G ⊗ β1) and dim X1 = 1. The space X2 is spanned by the set ′ p ′ p ′ p {αG ⊗ α , α1G ⊗ α , α2G ⊗ α }

2 3 5 and dim X2 = 3. So dim X = 4. Therefore |N| = p , | M(G)| = |M| = p and |G ∧ G| = p . By Lemma 2.9(viii), φ φ [β1,β2 ] = [α1,α,β2 ]=1.

For i ∈{1, 2}, x ∈{α, α1, α2}, we have φ p p [βi, x ] = [βi , x]=1, φ p p φ p φ φ p [α2, x ] = [α2, x ] = 1 = [α1, α ] = [α1, α ] . Therefore every generator of G ∧ G is of order at most p. Hence ∼ Z(5) G ∧ G = p and ∼ Z(3) M(G) = p .

In the remaining three cases, the proof goes on the same lines. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 12

4. Groups of maximal class

Lemma 4.1. If G is one of the groups Φ9(2111)a, Φ9(2111)br, Φ10(2111)ar or Φ10(2111)br, (4) then M(G) is isomorphic to Zp and G ∧ G is isomorphic to Zp .

Proof. For the groups G under consideration, taking K = Z(G), in Theorem 2.3(i), we get p ≤ M(G). Thus, |G ∧ G|≥ p4.

If G is either Φ9(2111)a or Φ9(2111)br, then by Lemma 2.9(viii), φ φ φ φ [α2, α4 ] = [α1, α, α4 ] = 1 = [α2, α, α4 ] = [α3, α4 ], as α4 ∈ Z(G). Now we have

−1 −1 φ α1 −1 −1 −1 φ α1 −1 −1 φ [α , α1 , α2 ] = [α1αα2 α α1 , α2 ] = [αα2 α , α2 ] −1 −1 φ −1 −1 φ = [αα3α α2 , α2 ] = [α3α4 α2 , α2 ] φ φ −1 φ = [α3, α2 ][α4, α2 ] = [α3, α2 ],

−1 −1 φ α1 −1 −1 φ α1 −1 −1 −1 φ α1 [α , α1 , α3 ] = [α , α1 , α3 ] = [α1αα2 α α1 , α3 ] −1 −1 φ −1 −1 φ = [αα2 α , α3 ] = [α3α4 α2 , α3 ] φ −1 φ −1 φ −1 = [α4, α3 ] [α2, α3 ] = [α2, α3 ] . By Hall-Witt identity, we have

−1 φ α −1 −1 φ α1 −1 −1 φ α2 1 = [α2, α, α1 ] [α , α1 , α2 ] [α1, α2 , (α ) ] φ φ = [α3, α1 ][α3, α2 ], −1 φ α −1 −1 φ α1 −1 −1 φ α3 1 = [α3, α, α1 ] [α , α1 , α3 ] [α1, α3 , (α ) ] φ φ −1 = [α4, α1 ][α2, α3 ] . φ φ φ This implies that [α3, α1 ] = [α2, α3 ] = [α4, α1 ].

Now consider the group G =∼ Φ9(2111)br. We have the following identities:

φ p p φ p φ φ p [α4, α ] = [α4, α ] = 1 = [α4, α1 ] = [α4, α1 ] , φ p p φ p φ φ p [α3, α ] = [α3, α ] = 1 = [α3, α1 ] = [α3, α1 ] , φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α2, α1 ] = [α2, α1 ] , −1 −1 −1 φ pk φ φ pk pk φ [α4, α ] = [α1 , α ] = [α1, α ] = [α1, (α ) ]=1, −1 −1 φ pk φ φ pk [α4, α1 ] = [α1 , α1 ] = [α1, α1 ] =1, φ p p φ [α1, α ] = [α1, (α ) ]=1.

Thus, by Proposition 2.11, G ∧ G is generated by

φ φ φ φ {[α1, α ], [α2, α ], [α3, α ], [α2, α1 ]}. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 13

φ φ φ Since, by Lemma 2.9(vi), [[α2, α ], [α1, α ]] = [α3, α2 ] = 1, it follows that G∧G is elementary abelian of order p4. Hence ∼ Z(4) G ∧ G = p , and consequently ∼ φ ∼ Z M(G) = h[α2, α1 ]i = p.

Similarly, we can compute ∼ Z(4) ∼ Z Φ9(2111)a ∧ Φ9(2111)a = p and M(Φ9(2111)a) = p.

If G is either Φ10(2111)ar or Φ10(2111)br, then by Lemma 2.9(viii), φ φ φ φ [α2, α4 ] = [α1, α, α4 ] = 1 = [α2, α, α4 ] = [α3, α4 ],

−1 −1 φ α1 −1 −1 −1 φ α1 −1 −1 −1 φ [α , α1 , α2 ] = [α1αα2 α α1 , α2 ] = [αα2 α , (α1 α2α1) ] −1 −1 −1 φ −1 −1 −1 φ = [αα3α α2 , (α2α4 ) ] = [α3α4 α2 , (α2α4 ) ] φ φ −1 φ = [α3, α2 ][α4, α2 ] = [α3, α2 ] and

−1 −1 φ α1 −1 −1 φ α1 −1 −1 −1 φ α1 [α , α1 , α3 ] = [α , α1 , α3 ] = [α1αα2 α α1 , α3 ] −1 −1 φ −1 −1 φ = [αα2 α , α3 ] = [αα3α α2 , α3 ] −1 φ φ φ −1 = [α3α4α2 , α3 ] = [α4, α3 ][α2, α3 ] φ −1 = [α2, α3 ] . By Hall-Witt identity, we have

−1 φ α −1 −1 φ α1 −1 −1 φ α2 1 = [α2, α, α1 ] [α , α1 , α2 ] [α1, α2 , (α ) ] φ φ −1 −1 φ α2 = [α3, α1 ][α3, α2 ][α4 , (α ) ] φ φ φ = [α3, α1 ][α3, α2 ][α4, α ], −1 φ α −1 −1 φ α1 −1 −1 φ α3 1 = [α3, α, α1 ] [α , α1 , α3 ] [α1, α3 , (α ) ] φ φ −1 = [α4, α1 ][α2, α3 ] . φ φ φ φ This implies that [α2, α3 ] = [α4, α1 ] = [α4, α ][α3, α1 ].

Consider the group G =∼ Φ10(2111)ar. We have the following identities: φ p p φ p φ φ p [α4, α ] = [α4, α ] = 1 = [α4, α1 ] = [α4, α1 ] , φ p p φ p φ φ p [α3, α ] = [α3, α ] = 1 = [α3, α1 ] = [α3, α1 ] , φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α2, α1 ] = [α2, α1 ] , −1 −1 φ pk φ φ pk [α4, α ] = [α , α ] = [α, α ] =1, −1 −1 −1 φ pk φ φ pk pk φ [α4, α1 ] = [α , α1 ] = [α, α1 ] = [α, (α1 ) ]=1, φ p p φ [α1, α ] = [α1, α ]=1. Thus G ∧ G is generated by

φ φ φ φ {[α1, α ], [α2, α ], [α3, α ], [α2, α1 ]}. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 14

By Lemma 2.9(vi), G ∧ G is elementary abelian of order p4. Hence ∼ Z(4) G ∧ G = p , and consequently ∼ φ φ ∼ Z M(G) = h[α2, α1 ][α3, α ]i = p.

Similarly, we can compute ∼ Z(4) ∼ Z Φ10(2111)br ∧ Φ10(2111)br = p and M(Φ10(2111)br) = p. This completes the proof.

5 5 (3) Lemma 4.2. If G is one of the groups Φ9(1 ) or Φ10(1 ), then M(G) is isomorphic to Zp , (3) and G ∧ G is isomorphic to Φ2(111) × Zp .

5 Proof. Consider the group G =∼ Φ9(1 ). Let F be the free group generated by {α, α1}.

Deﬁne αi+1 = [αi, α], 1 ≤ i ≤ 3. Set β1 = [α1, α2], β2 = [α4, α] and β3 = [α1, α4]. Then, modulo γ6(F ), we have

−1 −1 α1 −1 −1 α1 −1 −1 −1 α1 [α , α1 , α3] = [α , α1 , α3] = [α1αα2 α α1 , α3] −1 −1 −1 −1 = [αα2 α , α3[α3, α1]] = [αα3α α2 , α3[α3, α1]] −1 −1 −1 −1 −1 −1 = [α3αα4 α α2 , α3[α3, α1]] = [α3αβ2α α4 α2 , α3[α3, α1]] −1 −1 −1 = [α3β2α4 α2 , α3[α3, α1]] = [α2 , α3] −1 = [α2, α3] ,

−1 −1 α1 −1 −1 α1 −1 −1 −1 α1 [α , α1 , α2] = [α , α1 , α2] = [α1αα2 α α1 , α2] −1 −1 −1 −1 −1 −1 = [α3β2α4 α2 , α2β1 ] = [α3, α2β1 ][α2 , α2β1 ]

= [α3, α2][α2,β1].

By Hall-Witt identity, we have the following identities modulo γ6(F ): −1 α −1 −1 α1 −1 −1 α3 1 = [α3, α, α1] [α , α1 , α3] [α1, α3 , α ] −1 α −1 −1 −1 = [α4, α1] [α2, α3] [α3, α1, α3 α α3] −1 −1 = [α4, α1][α2, α3] [α3, α1, α4α ] −1 −1 (4.1) = [α4, α1][α2, α3] [α3, α1, α ],

−1 α −1 −1 α1 −1 −1 α2 1 = [α2, α, α1] [α , α1 , α2] [α1, α2 , α ] −1 α −1 −1 −1 = [α3, α1] [α3, α2][α2,β1][β1 , α2 α α2] −1 −1 −1 = [α3, α1][α3, α1, α ][α3, α2][α2,β1][β1 , α3α ] −1 −1 −1 = [α3, α1][α3, α1, α] [α3, α2][α2,β1][β1 , α ] −1 (4.2) = [α3, α1][α3, α1, α] [α3, α2][α2,β1][β1, α]. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 15

Now consider

p H1 = F/hγ6(F ), F ,β1,β3, [α3, α1, α], [α3, α1, α1]i.

Using (4.1) and (4.2) we have [α4, α1] = [α2, α3] = [α3, α1] = 1 in H1. So ∼ p p p p H1 = hα, α1, α2, α3, α4,β2 | [αi, α]= αi+1, [α4, α]= β2, α = α1 = αi+1 = β2 = 1 (i =1, 2, 3)i,

6 6 which is the group Φ35(1 ) of order p in [14]. Now consider

p H2 = F/hγ6(F ), F ,β1, [α3, α1, α], [α3, α1, α1]i.

Using (4.1) and (4.2), we have [α4, α1] = [α2, α3] = [α3, α1] in H2. Observe that

H2 =∼ hα, αi, α4,β2,β3 | [αi, α]= αi+1, [α4, α]= β2, [α1, α4] = [α1, α3] = [α3, α2]= β3, p p p p p α = αi = α4 = β2 = β3 =1, 1 ≤ i ≤ 3i.

7 Since H2/ hβ3i =∼ H1, it follows that H2 is of order p . Now consider

p H = F/hγ6(F ), F , [β1, α], [β1, α1], [α3, α1, α], [α3, α1, α1]i.

Observe that

H =∼ hα, αj ,βi | [αi, α]= αi+1, [α1, α2]= β1, [α4, α]= β2, [α1, α4] = [α1, α3] = [α3, α2]= β3, p p p α = αj = βi =1, 1 ≤ i ≤ 3, 1 ≤ j ≤ 4i. Then H is a group of order p8 and

H/hβ1,β2,β3i =∼ G.

∗ Take Z = hβ1,β2,β3i. Now the image of the transgression homomorphism tra : Hom(Z, C ) → M(H/Z) is ′ ∼ ∼ Z(3) H ∩ Z = Z = p . (3) 3 Hence Zp is contained in M(G). By Theorem 2.4, | M(G)|≤ p . Hence ∼ Z(3) M(G) = p . As |G′| = p3, we get |G ∧ G| = p6.

Since α4 ∈ Z(G), by Lemma 2.9(viii)

φ φ [α2, α4 ] = [α3, α4 ]=1. Thus G ∧ G is generated by the set

φ φ φ φ φ φ φ φ {[α1, α ], [α2, α ], [α3, α ], [α4, α ], [α2, α1 ], [α3, α1 ], [α4, α1 ], [α3, α2 ]}. Now we have

−1 −1 φ α1 −1 −1 −1 φ α1 −1 −1 φ [α , α1 , α2 ] = [α1αα2 α α1 , α2 ] = [αα2 α , α2 ] −1 −1 φ −1 −1 φ = [αα3α α2 , α2 ] = [α3α4 α2 , α2 ] φ φ −1 φ = [α3, α2 ][α4, α2 ] = [α3, α2 ], 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 16

−1 −1 φ α1 −1 −1 φ α1 −1 −1 −1 φ α1 [α , α1 , α3 ] = [α , α1 , α3 ] = [α1αα2 α α1 , α3 ] −1 −1 φ −1 −1 φ = [αα2 α , α3 ] = [αα3α α2 , α3 ] −1 −1 φ φ −1 = [α3α4 α2 , α3 ] = [α2, α3 ] .

By Hall-Witt identity, we have

−1 φ α −1 −1 φ α1 −1 −1 φ α2 1 = [α2, α, α1 ] [α , α1 , α2 ] [α1, α2 , (α ) ] φ φ = [α3, α1 ][α3, α2 ], −1 φ α −1 −1 φ α1 −1 −1 φ α3 1 = [α3, α, α1 ] [α , α1 , α3 ] [α1, α3 , (α ) ] φ φ −1 = [α4, α1 ][α2, α3 ] .

φ φ φ φ φ This implies that [α4, α1 ] = [α2, α3 ] = [α3, α1 ]. By Lemma 2.9(vi), [[α1, α ], [α2, α ]] = φ [α2, α3 ]. By Lemma 2.8, we have

φ p p φ p φ φ p [α4, α ] = [α4, α ] = 1 = [α3, α ] = [α3, α ] , φ p p φ p φ φ p [α3, α2 ] = [α3, α2 ] = 1 = [α2, α1 ] = [α2, α1 ] , φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α1, α ] = [α1, α ] .

Hence

∼ φ φ φ φ φ φ ∼ Z(3) G ∧ G = h[α1, α ], [α2, α ], [α2, α3 ]i × h[α2, α1 ]i × h[α3, α ]i × h[α4, α ]i = Φ2(111) × p .

5 Now consider the group G =∼ Φ10(1 ). Let F be the free group generated by {α, α1}.

Deﬁne αi+1 = [αi, α], i = 1, 2, 3. Set β = [α1, α2], β1 = [α4, α], β2 = [α1, α4] and β3 = −1 α4 [α1, α2]. Reading Modulo γ6(F ), we have

−1 −1 α1 −1 −1 α1 −1 −1 −1 α1 [α , α1 , α3] = [α , α1 , α3] = [α1αα2 α α1 , α3] −1 −1 −1 −1 = [αα2 α , α3[α3, α1]] = [αα3α α2 , α3[α3, α1]] −1 −1 −1 −1 −1 −1 = [α3αα4 α α2 , α3[α3, α1]] = [α3αβ1α α4 α2 , α3[α3, α1]] −1 −1 −1 = [α3β1α4 α2 , α3[α3, α1]] = [α2 , α3] −1 = [α2, α3] ,

−1 −1 α1 −1 −1 α1 −1 −1 −1 α1 [α , α1 , α2] = [α , α1 , α2] = [α1αα2 α α1 , α2] −1 −1 −1 −1 −1 −1 −1 −1 −1 = [α3β1α4 α2 , α2β3 α4 ] = [α3, α2β3 α4 ][α2 , α2β3 α4 ]

= [α3, α2][α2,β3].

By Hall-Witt identity, we have the following identities in F modulo γ6(F ):

−1 α −1 −1 α1 −1 −1 α3 1 = [α3, α, α1] [α , α1 , α3] [α1, α3 , α ] −1 α −1 −1 −1 = [α4, α1] [α2, α3] [α3, α1, α3 α α3] −1 −1 = [α4, α1][α2, α3] [α3, α1, α4α ] −1 −1 (4.3) = [α4, α1][α2, α3] [α3, α1, α ], 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 17

−1 α −1 −1 α1 −1 −1 α2 1 = [α2, α, α1] [α , α1 , α2] [α1, α2 , α ] −1 α −1 −1 −1 −1 = [α3, α1] [α3, α2][α2,β3][β3 α4 , α2 α α2] −1 −1 −1 −1 = [α3, α1][α3, α1, α ][α3, α2][α2,β3][β3 α4 , α3α ] −1 (4.4) = [α3, α1][α3, α1, α] [α3, α2][α2,β3][β3, α][α4, α].

Consider p H1 = F/hγ6(F ), F ,β1,β3, [α3, α1, α], [α3, α1, α1]i.

By (4.3) and (4.4), respectively, we have [α4, α1] = [α2, α3] and [α1, α3] = [α4, α][α3, α2] in

H1. Observe that

H1 =∼ hα, α1, α2, α3, α4,β2 | [αi, α]= αi+1, [α1, α2]= α4, [α1, α4] = [α3, α2] = [α1, α3]= β2, p p p p α = α1 = αi+1 = β2 = 1 (i =1, 2, 3)i.

6 6 Then H1 is the group Φ39(1 ) of order p in [14]. Now deﬁne

p H2 = F/hγ6(F ), F ,β3, [α3, α1, α], [α3, α1, α1]i.

Again, by (4.3) and (4.4), we have [α4, α1] = [α2, α3] and [α1, α3] = [α4, α][α3, α2] in H2; hence

H2 =∼ hα, αi, α4,β1,β2 | [αi, α]= αi+1, [α1, α2]= α4, [α4, α]= β1, [α1, α4] = [α3, α2]= β2, p p p p [α1, α3]= β1β2, α = αi+1 = β1 = β2 =1, 1 ≤ i ≤ 3i.

7 Notice that |H2| = p .

Finally consider

p H = F/hγ6(F ), F , [α3, α1, α], [α3, α1, α1], [β3, α], [β3, α1]i.

It follows that

H =∼ hα, αj ,βi | [αi, α]= αi+1, [α1, α2]= α4β3, [α4, α]= β1, [α1, α4] = [α3, α2]= β2, p p p [α1, α3]= β1β2, α = αi+1 = βi =1, 1 ≤ i ≤ 3, 1 ≤ j ≤ 4i.

8 Notice that |H| = p and H/hβ1,β2,β3i =∼ G. Then, as in the preceding case, we have

∼ Z(3) M(G) = p .

As |G′| = p3, we get |G ∧ G| = p6.

Since α4 ∈ Z(G), by Lemma 2.9(viii),

φ φ φ φ [α2, α4 ] = [α1, α, α4 ] = 1 = [α2, α, α4 ] = [α3, α4 ].

Hence G ∧ G is generated by the set

φ φ φ φ φ φ φ φ {[α1, α ], [α2, α ], [α3, α ], [α4, α ], [α2, α1 ], [α3, α1 ], [α4, α1 ], [α3, α2 ]}. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 18

We have

−1 −1 φ α1 −1 −1 −1 φ α1 −1 −1 −1 φ [α , α1 , α2 ] = [α1αα2 α α1 , α2 ] = [αα2 α , (α1 α2α1) ] −1 −1 φ −1 −1 φ = [αα3α α2 , (α2α4) ] = [α3α4 α2 , (α2α4) ] φ −1 φ φ = [α4, α2 ] [α3, α2 ] = [α3, α2 ],

−1 −1 φ α1 −1 −1 φ α1 −1 −1 −1 φ α1 [α , α1 , α3 ] = [α , α1 , α3 ] = [α1αα2 α α1 , α3 ] −1 −1 φ −1 −1 φ = [αα2 α , α3 ] = [αα3α α2 , α3 ] −1 φ φ −1 = [α3α4α2 , α3 ] = [α2, α3 ] . By Hall-Witt identity, we have −1 φ α −1 −1 φ α1 −1 −1 φ α2 1 = [α2, α, α1 ] [α , α1 , α2 ] [α1, α2 , (α ) ] φ φ −1 −1 φ α2 = [α3, α1 ][α3, α2 ][α4 , (α ) ] φ φ φ = [α3, α1 ][α3, α2 ][α4, α ], −1 φ α −1 −1 φ α1 −1 −1 φ α3 1 = [α3, α, α1 ] [α , α1 , α3 ] [α1, α3 , (α ) ] φ φ −1 = [α4, α1 ][α2, α3 ] . φ φ φ φ φ φ This implies that [α4, α1 ] = [α2, α3 ] = [α4, α ][α3, α1 ]. By Lemma 2.9(vi), [[α1, α ], [α2, α ]] = φ [α2, α3 ]. We have the following identities φ p p φ p φ φ p [α4, α ] = [α4, α ] = 1 = [α3, α ] = [α3, α ] , φ p p φ p φ φ p [α3, α2 ] = [α3, α2 ] = 1 = [α2, α1 ] = [α2, α1 ] , φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α1, α ] = [α1, α ] . Hence φ φ φ φ φ φ ∼ Z(3) G ∧ G = h[α1, α ], [α2, α ], [α2, α3 ]i × h[α2, α1 ]i × h[α3, α ]i × h[α4, α ]i = Φ2(111) × p . The proof is now complete.

5. Remaining Groups of order p5

We start with the groups which occur as direct product of groups of smaller orders. For such groups we compute the Schur multiplier in the following lemma, whose proof follows using Theorem 2.1 and Theorem 2.15.

Lemma 5.1. The following assertions hold:

(i) M(Φ2(311)a) =∼ M(Φ2(221)b) =∼ Zp × Zp, (3) (ii) M(Φ2(221)a) =∼ Zp , (5) (iii) M(Φ2(2111)a) =∼ M(Φ2(2111)b) =∼ Zp , (4) (iv) M(Φ2(2111)c) =∼ M(Φ2(2111)d) =∼ Zp , 5 (7) (v) M(Φ2(1 )) =∼ Zp , (3) (vi) M(Φ3(2111)a) =∼ M(Φ3(2111)br) =∼ Zp , 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 19

5 (4) (vii) M(Φ3(1 )) =∼ Zp .

The proof of the following lemma is a direct consequence of Proposition 2.14 and Theorem 2.15.

Lemma 5.2. The following assertions hold:

∼ ∼ (8) (i) Φ2(311)a ⊗ Φ2(311)a = Φ2(221)b ⊗ Φ2(221)b = Zp2 × Zp , ∼ Z(2) Z(7) (ii) Φ2(221)a ⊗ Φ2(221)a = p2 × p , (16) (iii) Φ2(2111)a ⊗ Φ2(2111)a =∼ Φ2(2111)b ⊗ Φ2(2111)b =∼ Zp , ∼ ∼ (10) (iv) Φ2(2111)c ⊗ Φ2(2111)c = Φ2(2111)d ⊗ Φ2(2111)d = Zp2 × Zp , 5 5 (18) (v) Φ2(1 ) ⊗ Φ2(1 ) =∼ Zp , (11) (vi) Φ3(2111)a ⊗ Φ3(2111)a =∼ Φ3(2111)br ⊗ Φ3(2111)br =∼ Zp , 5 5 (12) (vii) Φ3(1 ) ⊗ Φ3(1 ) =∼ Zp .

Lemma 5.3. If G is one of the groups Φ2(41), Φ2(32)a1, Φ2(32)a2 or Φ8(32), then M(G) is isomorphic to {1}, Zp, Zp or {1} respectively, and G ∧ G is isomorphic to Zp, Zp2 , Zp2 or

Zp2 respectively.

Proof. Since these groups are metacyclic, the assertion about the Schur multipliers follows from [17, Theorem 2.11.3]. Now we compute the exterior square. Since the Schur multiplier ′ of the groups G isomorphic to Φ2 (41) or Φ8 (32) is trivial, we have G ∧ G =∼ G . Hence

Φ2 (41) ∧ Φ2 (41) =∼ Zp and ∼ Φ8 (32) ∧ Φ8 (32) = Zp2 .

Now we consider G =Φ2 (32) a1. We have the following identities 2 2 φ p φ φ p p φ φ p [α2, α ] = [α , α ] = [α, α ] = 1 = [α2, α1 ] = [α2, α1 ] , 2 2 2 φ φ p φ φ p p [α2, α1 ] = [α , α1 ] = [α, α1 ] = [α, (α1 ) ]=1. φ Hence, by Proposition 2.11, G ∧ G is a cyclic group generated by [α1, α ]. Since both M(G) and γ2(G) are of order p, it follows that ∼ φ ∼ G ∧ G = h[α1, α ]i = Zp2 .

Similarly for G =Φ2 (32) a2, we have

φ p φ φ p [α2, α1 ] = [α1, α1 ] = [α1, α1 ] =1, φ p φ φ p [α2, α ] = [α1, α ] = [α1, α ] . φ Hence G ∧ G is generated by [α1, α ]. As above, ∼ φ ∼ G ∧ G = h[α1, α ]i = Zp2 , and the proof is complete. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 20

Lemma 5.4. If G is one of the groups Φ2(311)b or Φ2(311)c, then M(G) is isomorphic to (3) Zp × Zp, and G ∧ G is isomorphic to Zp .

2 Proof. For the group G =Φ2(311)b, taking K = Z(G) in Theorem 2.4, we have | M(G)|≤ p . On the other hand, taking K = Φ(G) in Theorem 2.3(ii), we get d(M(G)) ≥ 2. Hence,

M(G) =∼ Zp × Zp. The group G ∧ G is generated by the set

φ φ φ φ φ φ {[α1, α ], [α2, α ], [α2, α1 ], [γ, α ], [γ, α1 ], [γ, α2 ]}. By Lemma 2.9(viii), φ φ [α2,γ ] = [α1,α,γ ]=1. We get the following set of identities:

φ p p φ p φ φ p [γ, α ] = [γ, (α ) ] = 1 = [γ, (α1) ] = [γ, α1 ] , 2 2 φ p φ φ p [α2, α ] = [γ , α ] = [γ, α ] =1, 2 2 φ p φ φ p [α2, α1 ] = [γ , α1 ] = [γ, α1 ] =1, φ p p φ [α, α1 ] = [α , α1 ]=1. φ φ φ Hence G ∧ G is generated by {[α1, α ], [γ, α ], [γ, α1 ]}. Since the nilpotency class of G is 2, by Lemma 2.12, G ∧ G is abelian. Hence, ∼ Z(3) G ∧ G = p .

′ Now consider the group G = Φ2(311)c. Again using Theorem 2.4 with K = G , we get | M(G)|≤ p2. By Theorem 2.3(ii) with K = hαpi, we have d(M(G)) ≥ 2. Hence

M(G) =∼ Zp × Zp. Since |G′| = p, it follows that G ∧ G is of order p3.

Notice that

φ p p φ [α2, α1 ] = [α2, α1 ]=1, φ p p φ [α2, α ] = [α2, α ]=1, φ p p φ [α1, α ] = [α1, α ]=1. φ φ φ Consequently, G ∧ G is generated by {[α1, α ], [α2, α ], [α2, α1 ]}, which shows that ∼ Z(3) G ∧ G = p . The proof is now complete.

Lemma 5.5. If G is one of the groups Φ3(311)a, Φ3(311)br or Φ2(221)d, then M(G) is (3) (3) (3) isomorphic to Zp, Zp or Zp respectively, and G ∧ G is isomorphic to Zp , Zp or Zp2 ×

Zp × Zp respectively. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 21

Proof. Let G be one of the groups Φ3(311)a or Φ3(311)br. Then taking K = Z(G) in Theorem 2.3(i), p divides | M(G)|. Since |G′| = p2, it follows that |G ∧ G|≥ p3.

φ φ For the group G = Φ3 (311) a, by Lemma 2.9(viii), [α2, α3 ] = [α1, α, α3 ] = 1. It now follows by Proposition 2.11 that G ∧ G is generated by the set

φ φ φ φ φ {[α1, α ], [α2, α ], [α2, α1 ], [α3, α ], [α3, α1 ]}. The following identities hold:

2 2 φ p φ φ p [α3, α ] = [α , α ] = [α, α ] =1, φ p p φ [α3, α1 ] = [α3, α1 ]=1, φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α2, α1 ] = [α2, α1 ] , φ p p φ [α1, α ] = [α1, α ]=1, 2 2 φ p φ φ p [α3, α1 ] = [α , α1 ] = [α, α1 ] =1.

φ φ φ Hence G ∧ G is generated by {[α1, α ], [α2, α ], [α2, α1 ]}. Since, in view of Lemma 2.9(vi), G ∧ G is abelian, we have ∼ Z(3) G ∧ G = p . Consequently, ∼ φ ∼ Z M(G) = [α1, α2 ]i = p.

The computation for the group G =Φ3(311)br goes on the same lines for r =1,ν.

Finally we consider the group G =Φ2(221)d. The group G ∧ G is generated by the set

φ φ φ {[α1, α ], [α2, α ], [α1, α2 ]}. By Lemma 2.12, G ∧ G is abelian. We have the identities:

φ p p φ p φ φ p [α2, α1 ] = [α2, α1 ] = 1 = [α2, α ] = [α2, α ] , 2 2 φ p p φ [α1, α ] = [α1 , α ]=1.

φ ab ab φ φ Now the natural epimorphism [G, G ] → [G , (G ) ] implies that the order of [α1, α ] 2 p ∼ is p in G ∧ G. Notice that G/ hα1i = Φ2(211)c. Consider the natural epimorphism φ p p φ ∼ φ [G, G ] → [G/ hα1i , (G/ hα1i) ] = [Φ2(211)c, (Φ2(211)c) ], which induces an epimorphism G∧G → (Φ2(211)c)∧(Φ2(211)c). By Theorem 2.15, we know ∼ Z(3) φ φ φ that Φ2(211)c ∧ Φ2(211)c = p . Hence the generators [α1, α ], [α2, α ], [α1, α2 ] of G ∧ G φ φ are non-trivial, independent and [α2, α ], [α1, α2 ] have order p in G ∧ G. As a consequence, we get ∼ G ∧ G = Zp2 × Zp × Zp, ′ which, by observing the fact that G = h[α1, α]i, gives

M(G) =∼ Zp × Zp × Zp. This completes the proof. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 22

Lemma 5.6. If G is one of the groups Φ3(221)a or Φ2(221)c, then M(G) is isomorphic to (3) Zp or Zp2 × Zp respectively, and G ∧ G is isomorphic to Zp or Zp2 × Zp × Zp respectively.

Proof. The group G =Φ3(221)a is a semidirect product of its subgroups

N = hα2, α, α3i =∼ Φ2(21) and ∼ T = hα1i = Zp2 , where N is normal.

By Theorem 2.15, we know that M(N) = 1. Now using Theorem 2.2, we get the following exact sequence ∗ ∗ 1 → H1(T, Hom(N, C )) → H2(G, C ) → 1. Hence, ∗ M(G) =∼ H1(T, Hom(N, C )). ∗ ′ ′ ′ Notice that Hom(N, C ) =∼ N/N =∼ hαN , α2N i. Let ζ be a primitive p-th root of unity ∗ ∗ and Hom(N, C ) =∼ hφ1, φ2i, where φi : N → C , i =1, 2, are deﬁned by setting

φ1(α)= ζ, φ1(α2)=1 and −1 φ2(α)=1, φ2(α2)= ζ . ∗ ∗ Recall that T acts on Hom(N, C ) as follows. For φ1 ∈ Hom(N, C ), we set

α1 −1 φ1(α)= φ1(α1 αα1)= φ1(α) and

α1 −1 φ1(α2)= φ1(α1 α2α1)= φ1(α2).

α1 α1 So, φ1 = φ1. Similarly the action of α1 on φ2 is given by φ2 = φ1φ2.

Deﬁne the map Norm : Hom(N, C∗) → Hom(N, C∗) given by

2 ··· p−1 Norm(φ)= (1+α1+α1+ +α1 )φ.

It is easy to check that Ker(Norm) = Hom(N, C∗). Deﬁne β : Hom(N, C∗) → Hom(N, C∗) by − β(φ)= (α1 1)φ

Then Im(β)= hφ1i. It is a general fact (see Step 3 in the proof of Theorem 5.4 of [13]) that

∗ Ker(Norm) H1(T, Hom(N, C )) =∼ =∼ Z . Im(β) p Hence,

M(G) =∼ Zp. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 23

We have the following identities:

φ φ [α2, α3 ] = [α1, α, α3 ]=1, by Lemma 2.9(viii). φ p φ φ p [α3, α ] = [α , α ] = [α, α ] =1, φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α2, α1 ] = [α2, α1 ] , φ p φ φ p [α3, α1 ] = [α , α1 ] = [α, α1 ] . Now we get

−1 −1 φ α1 −1 −1 −1 φ α1 −1 −1 φ [α , α1 , α2 ] = [α1αα2 α α1 , α2 ] = [αα2 α , α2 ] −1 φ φ φ −1 = [α3α2 , α2 ] = [α3, α2 ][α2, α2 ] = 1. By Hall-Witt identity,

−1 φ α −1 −1 φ α1 1 = [α2, α, α1 ] [α , α1 , α2 ] φ = [α3, α1 ]. Hence, G ∧ G is generated by the set

φ φ φ {[α1, α ], [α2, α ], [α2, α1 ]}. By Lemma 2.9(vi) G ∧ G is abelian, and therefore ∼ Z(3) G ∧ G = p .

The group G =Φ2(221)c is a semidirect product of its normal subgroup N = hα1,γi and T = hαi. Now using Theorem 2.2, we get the following exact sequence ∗ ∗ ∗ 1 → H1(T, Hom(N, C )) → H2(G, C ) → H2(N, C )T . 1 ∗ ∼ As above, H (T, Hom(N, C )) = Zp2 , which embeds in M(G). Now by Theorem 2.3(ii), taking K = hγpi, we have 2 ≤ d(M(G)). By Theorem 2.4, taking K = hγi, we have | M(G)|≤ p3. Hence ∼ M(G) = Zp2 × Zp.

We have the following identities:

φ φ [α2,γ ] = [α1,α,γ ]=1, by Lemma 2.9(viii), φ p φ φ p p φ [α2, α1 ] = [γ , α1 ] = [γ, α1 ] = [γ, (α1) ]=1, φ p φ φ p [α2, α ] = [γ , α ] = [γ, α ] , φ p p φ [α1, α ] = [α1, α ]=1. Hence G ∧ G is generated by the set

φ φ φ {[α1, α ], [γ, α ], [γ, α1 ]}. Since the nilpotency class of G is 2, by Lemma 2.12, G ∧ G is abelian; hence

φ ∼ φ φ ∼ Z 2 Z Z G ∧ G = h[γ, α ]i × h[γ, α1 ]i × h[α1, α ]i = p × p × p. The proof is now complete. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 24

Lemma 5.7. If G is one of the groups Φ3(2111)c, Φ3(2111)d or Φ3(2111)e, then M(G) is (3) (5) (4) isomorphic to Zp , Zp × Zp or Zp × Zp respectively, and G ∧ G is isomorphic to Zp , Zp (4) or Zp respectively.

Proof. For the group G = Φ3(2111)c, by Theorem 2.4, taking K = Z(G), we get | M(G)|≤ p3, and by Theorem 2.3(i), taking K = hγpi, it follows that p3 divides | M(G)|; hence | M(G)| = p3.

We have the following identities:

φ φ φ φ [α2,γ ] = [α1,α,γ ] = 1 = [α2,α,γ ] = [α3,γ ], by Lemma 2.9(viii). φ p φ φ p p φ [α3, α ] = [γ , α ] = [γ, α ] = [γ, (α ) ]=1, φ p φ φ p p φ [α3, αi ] = [γ , αi ] = [γ, αi ] = [γ, (αi ) ]=1 for i =1, 2, φ p p φ p φ φ p [α2, α1 ] = [α2, α1 ] = 1 = [α2, α ] = [α2, α ] , φ p p φ [α1, α ] = [α1, α ]=1.

The group G ∧ G is generated by

φ φ φ φ φ {[α1, α ], [α2, α ], [α2, α1 ], [γ, α ], [γ, α1 ]}, and every generator has order at most p. By Lemma 2.9(vi), G ∧ G is abelian. Hence

∼ Z(3) M(G) = p .

Since |G′| = p2, we get ∼ Z(5) G ∧ G = p .

p 2 Consider the group G = Φ3(2111)d. By Theorem 2.3(i), taking K = hα i, p ≤ M(G). Since |G′| = p2, we have |G ∧ G|≥ p4.

By Lemma 2.9(viii), φ φ [α2, α3 ] = [α1, α, α3 ]=1. We have

−1 −1 φ α1 −1 −1 −1 φ α1 −1 −1 φ [α , α1 , α2 ] = [α1αα2 α α1 , α2 ] = [αα2 α , α2 ] −1 φ φ φ −1 φ −1 = [α3α2 , α2 ] = [α3, α2 ][α2, α2 ] = [α2, α2 ] = 1.

By Hall-Witt identity,

−1 φ α −1 −1 φ α1 1 = [α2, α, α1 ] [α , α1 , α2 ] φ = [α3, α1 ]. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 25

We have the following identities:

φ p p φ p φ φ p [α3, α ] = [α3, α ] = 1 = [α2, α1 ] = [α2, α1 ] , φ p p φ p φ φ p [α2, α ] = [α2, α ] = 1 = [α1, α ] = [α1, α ] .

So G ∧ G is generated by the set

φ φ φ φ {[α1, α ], [α2, α ], [α2, α1 ], [α3, α ]}.

By Lemma 2.9(vi), it follows that G ∧ G is elementary abelian p-group, and hence |G ∧ G|≤ p4. Thus, ∼ Z(4) G ∧ G = p and

M(G) =∼ Zp × Zp.

p 2 For the group G =Φ3(2111)e, by Theorem 2.3(i), taking K = hα1i, we get p ≤ | M(G)|. Since |G′| = p2, we have |G ∧ G| ≥ p4. As in the preceding case, observe that G ∧ G is elementary abelian p-group of order p4. Hence,

M(G) =∼ Zp × Zp and ∼ Z(4) G ∧ G = p . The proof is now complete.

Lemma 5.8. 1 − If G is one of the groups Φ3(221)br, Φ6(221)d0 or Φ6(221)b 2 (p 1), then M(G) is isomorphic to Zp × Zp, Zp or Zp respectively, and G ∧ G is isomorphic to Zp2 × Zp × Zp in all the cases.

Proof. From [14, Table 4.1], it follows that for the groups E of order p6 in the isoclinism classes Φ ,Φ ,Φ orΦ , E/Z(E) is isomorphic to Φ (221) b , Φ (221) b , Φ (221)b 1 − 25 26 42 43 3 1 3 ν 6 2 (p 1) or Φ6(221)d0 respectively. Thus, all the groups G, under consideration, are capable; hence Z∗(G) = 1.

p For the group G = Φ3 (221) br, by Theorem 2.6, taking Z = hα i, we have the following exact sequence ′ λ G/G ⊗ Z −→ M(G) → Zp → 1.

p p By Theorem 2.7, it follows that α1 ⊗ α ∈/ Ker λ, as α ⊗ α ∈ Ker λ. So | Im(λ)| = p, and | M(G)| = p2. Since |G′| = p2, |G ∧ G| = p4. By Lemma 2.9(viii),

φ φ [α2, α3 ] = [α1, α, α3 ]=1. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 26

The following identities hold:

φ p p φ p φ φ p [α3, α ] = [α3, α ] = 1 = [α2, α1 ] = [α2, α1 ] , φ p p φ [α2, α ] = [α2, α ]=1, −1 −1 φ pr φ φ pr [α3, α1 ] = [α1 , α1 ] = [α1, α1 ] =1, −1 −1 φ pr φ φ pr [α3, α ] = [α1 , α ] = [α1, α ] , 2 2 φ p p φ [α1, α ] = [α1 , α ]=1.

φ φ φ Observe that G ∧ G is generated by the set {[α1, α ], [α2, α ], [α1, α2 ]}. By Lemma 2.9(vi), G ∧ G is abelian, and therefore

φ ∼ φ φ ∼ Z 2 Z Z G ∧ G = h[α1, α ]i × h[α2, α ]i × h[α2, α1 ]i = p × p × p.

Hence ∼ φ p φ ∼ Z Z M(G) = h[α1, α ] i × h[α2, α1 ]i = p × p.

For the group G =∼ Φ6(221)d0, taking Z = hβ2i, notice that G/Z =∼ Φ3(211)bν. By

Theorem 2.15, M(G/Z) =∼ Zp. Then by Theorem 2.6, we have the exact sequence ′ λ µ G/G ⊗ Z −→ M(G) −→ Zp → Zp → 1.

′ p ′ p By Theorem 2.7, it follows that α2G ⊗ α1 ∈/ Ker λ, as α1G ⊗ α1 ∈ Ker λ. Hence | Im(λ)| = p, and therefore

M(G) =∼ Zp. Since |G′| = p3, we have |G ∧ G| = p4.

φ φ φ φ By Lemma 2.9(viii), [β,β1 ] = [α1, α2,β1 ] = 1. Similarly, [β,β2 ] = [β2,β1 ] = 1.

We have the following identities:

φ p p φ [x, y ] = [x ,y ]=1 for x ∈{β,β1,β2},y ∈{α1, α2}, −1 −1 φ pν φ φ pν [β1, α1 ] = [α2 , α1 ] = [α2, α1 ] , −1 −1 φ pν φ φ pν [β1, α2 ] = [α2 , α2 ] = [α2, α2 ] =1, φ p φ φ p [β2, α1 ] = [α1, α1 ] = [α1, α1 ] =1, φ p φ φ p [β2, α2 ] = [α1, α2 ] = [α1, α2 ] , 2 φ p φ p [α1, α2 ] = [β2, α2 ] =1.

φ φ φ Hence G ∧ G is generated by {[α1, α2 ], [β, α1 ], [β, α2 ]} and ∼ G ∧ G = Zp2 × Zp × Zp.

1 − Finally we consider the group G = Φ6(221)b 2 (p 1). As in the preceding case, taking Z = hβ2i, it follows that

M(G) =∼ Zp. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 27

Recall that ζ is the smallest positive integer which is a primitive root (mod p). In this 1 − 2 (p 1) φ φ case, ζ ≡ −1 (mod p). By Lemma 2.9(viii), [β,β1 ] = [α1, α2,β1 ] = 1. Similarly φ φ [β,β2 ] = [β2,β1 ] = 1.

We have the following identities:

φ p p φ [x, y ] = [x ,y ]=1 for x ∈{β,β1,β2},y ∈{α1, α2}, φ −p φ −1 φ p [β1, α1 ] = [α1 , α1 ] = [α1 , α1 ] =1, φ −p φ −1 φ p φ −p [β1, α2 ] = [α1 , α2 ] = [α1 , α2 ] = [α1, α2 ] , φ p φ φ p [β2, α1 ] = [α2, α1 ] = [α2, α1 ] , φ p φ φ p [β2, α2 ] = [α2, α2 ] = [α2, α2 ] =1 2 φ p φ p [α2, α1 ] = [β2, α1 ] =1.

φ φ φ Hence, G ∧ G is generated by the set {[α1, α2 ], [β, α1 ], [β, α2 ]}, and therefore ∼ G ∧ G = Zp2 × Zp × Zp, which completes the proof.

1 Lemma 5.9. If G is one of the groups Φ6(221)a, Φ6(221)br r 6= 2 (p − 1) , Φ6(221)cr or (3) Φ6(221)dr, then M(G) is trivial and G ∧ G =∼ Zp .

Proof. Follows from [24, Theorem 2.2].

5 Lemma 5.10. If G is one of the groups Φ6(2111)a, Φ6(2111)br or Φ6(1 ), then M(G) is (3) (4) (4) (6) isomorphic to Zp, Zp, or Zp respectively, and G ∧ G =∼ Zp , Zp or Zp respectively.

Proof. For the group G =∼ Φ6(2111)a, by Theorem 2.3(i), taking K = hβ1i, we have p ≤ | M(G)|, and so, since |G′| = p3, it follows that p4 ≤ |G ∧ G|. By Lemma 2.9(viii), φ φ φ [β,β1 ] = [β,β2 ] = [β2,β1 ]=1.

Also we have

φ p p φ [x, y ] = [x ,y ]=1 for x ∈{β,β1,β2},y ∈{α1, α2}, φ p φ φ p [β1, α1 ] = [α1, α1 ] = [α1, α1 ] =1, φ p φ φ p p φ [β1, α2 ] = [α1, α2 ] = [α1, α2 ] = [α1, (α2) ]=1. Now we have

−1 −1 φ α1 −1 −1 −1 φ α1 −1 −1 −1 φ α1 [α2 , α1 ,β ] = [α2α1β α1 α2 ,β ] = [α2α1β1α1 β α2 ,β ] −1 −1 φ α1 −1 −1 φ α1 = [α2β1β α2 ,β ] = [α2β1β2α2 β ,β ] −1 φ α1 φ −1 = [β1β2β ,β ] = [β,β ] =1. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 28

By Hall-Witt identity, we get

−1 − − − φ α2 1 1 φ α1 −1 φ β 1 = [β, α2, α1 ] [α2 , α1 ,β ] [α1,β , α2 ] −1 − φ α2 −1 φ β = [β2, α1 ] [ββ1β , α2 ] φ φ −1 = [β2, α1 ][β1, α2 ] . φ φ Hence, [β2, α1 ] = [β1, α2 ] = 1. Consequently, G ∧ G is generated by the set φ φ φ φ {[α1, α2 ], [β, α1 ], [β, α2 ], [β2, α2 ]}, and is elementary abelian by Lemma 2.9(vi). Hence ∼ Z(4) G ∧ G = p , and therefore

M(G) =∼ Zp.

For the group G =∼ Φ6(2111)br, taking K = hβ1i, the proof goes on the lines of the preceding case.

5 Now we consider the group G = Φ6(1 ). By Theorem 2.4, taking K = hβ1i, we have | M(G)|≤ p3. Since |G′| = p3, we get |G ∧ G|≤ p6. As described above,

φ φ φ [β,β1 ] = [β,β2 ] = [β2,β1 ]=1 and, by Hall-Witt identity, we get

φ φ [β2, α1 ] = [β1, α2 ]. Thus G ∧ G is generated by the set

φ φ φ φ φ φ {[α1, α2 ], [β, α1 ], [β, α2 ], [β1, α1 ], [β1, α2 ], [β2, α2 ]}. It follows from Lemma 2.9(vi) that G ∧ G is abelian. A straightforward calculation (as above) shows that each generator of G ∧ G is of order at most p.

Consider the natural epimorphism

φ φ 4 4 φ [G, G ] → [G/hβ1i, (G/hβ1i) ] =∼ [Φ3(1 ), Φ3(1 ) ],

φ φ φ φ which shows that the elements [α1, α2 ], [β, α1 ], [β, α2 ], [β2, α2 ] are non-trivial and independent in G ∧ G. Now, consider the natural epimorphism

φ φ 4 4 φ [G, G ] → [G/hβ2i, (G/hβ2i) ] =∼ [Φ3(1 ), Φ3(1 ) ],

φ φ φ φ which shows that the elements [α1, α2 ], [β, α1 ], [β, α2 ], [β1, α1 ] are non-trivial and independent in G ∧ G. We take the quotient group

p p p p G/ hβ1β2i = hα1, α2,β,β1 | [α1, α2]= β, [β, α1] = [α2,β]= β1, α1 = α2 = β = β1 =1i ∼ p p = hα1α2, α1,β,β1 | [α1, α1α2]= β, [β, α1]= β1, [β, α1α2]=1, α1 = (α1α2) = p p β = β1 =1i 4 =∼ Φ3(1 ). 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 29

φ In [G/hβ1β2i, (G/hβ1β2i) ], by Hall-Witt identity we have −1 − φ α1 −1 −1 φ α2 −1 φ β 1 = [β, α1, α2 ] [α1 , α2 ,β ] [α2,β , α1 ] −1 − − − − φ α1 1 1 φ α2 1 −1 φ β = [β1, α2 ] [α1α2βα2 α1 ,β ] [ββ1 β , α1 ] φ −1 φ α2 −1 −φ β = [β1, α2 ][α1ββ1α1 ,β ] [β1 , α1 ] φ −1 φ α2 φ = [β1, α2 ][α1βα1 β1,β ] [β1, α1 ] φ −1 −1 φ α2 φ = [β1, α2 ][βα1β1 α1 β1,β ] [β1, α1 ] φ φ φ = [β1, α2 ][β,β ][β1, α1 ] φ φ = [β1, α2 ][β1, α1 ]. It follows from Theorem 2.15 that ∼ φ −1 φ −1 φ −1 φ G/hβ1β2i ∧ G/hβ1β2i = h[α1α2, α1 ], [β , α1 ], [β , (α1α2) ], [β1 , α1 ]i. A straightforward computation now shows that ∼ φ φ φ φ ∼ Z(4) G/hβ1β2i ∧ G/hβ1β2i = h[α1, α2 ], [β, α1 ], [β, α2 ], [β1, α2 ]i = p .

Now consider the natural epimorphism

φ φ 4 4 φ [G, G ] → [G/hβ1β2i, (G/hβ1β2i) ] =∼ [Φ3(1 ), Φ3(1 ) ], φ φ φ φ which shows that the generators [α1, α2 ], [β, α1 ], [β, α2 ], [β1, α2 ] of G ∧ G are independent. Thus, it follows that all the six generators of G ∧ G are non-trivial and independent, and so, we have |G ∧ G|≥ p6. Hence, ∼ Z(6) G ∧ G = p and ∼ Z(3) M(G) = p .

5 Lemma 5.11. If G is one of the groups Φ7(2111)a, Φ7(2111)br, Φ7(2111)c or Φ7(1 ), then (3) (3) (3) (4) M(G) is isomorphic to Zp , Zp , Zp or Zp respectively, and G ∧ G is isomorphic to (5) (5) (5) (6) Zp , Zp , Zp or Zp respectively.

Proof. For the groups G belonging to the isoclinism class Φ7, it follows from Theorem 2.3(ii), taking K = Z(G), that d(M(G)) ≥ 3.

For the group G =Φ7(2111)a, consider the normal subgroup

N = hα, α1, α2, α3i =∼ Φ3(211)a

4 of G of order p . By Theorem 2.15, M(N) =∼ Zp. Then, by Theorem 2.5, | M(G)| divides | M(N)||N/N ′|. Since |N/N ′| = p2, it follows that | M(G)| = p3. Hence G ∧ G is of order p5. By Proposition 2.11, G ∧ G is generated by

φ φ φ φ φ φ φ φ φ φ {[α1, α ], [α2, α ], [α3, α ], [β, α ], [α2, α1 ], [α3, α1 ], [β, α1 ], [α3, α2 ], [β, α2 ], [β, α3 ]}. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 30

By Lemma 2.9(viii), we have φ φ [α2, α3 ] = [α1, α, α3 ]=1.

For x ∈{α, α1, α2, α3,β}, the following identities hold: φ p p φ p φ φ p [α3, x ] = [α3, x ] = 1 = [β , x ] = [β, x ] , φ p p φ p φ φ p [α2, x ] = [α2, x ] = 1 = [α1, α ] = [α1, α ] . By Lemma 2.9(vi), it follows that G ∧ G is abelian, and consequently ∼ Z(5) G ∧ G = p and ∼ Z(3) M(G) = p .

For the group G =Φ7(2111)br, (r =1 or ν), considering the normal subgroup

N = hα, α1, α2, α3i =∼ Φ3(211)br of G of order p4, the proof is similar to the preceding case.

For the group G =Φ7(2111)c, considering the normal subgroup

N = hα1, αβ, α2, α3i =∼ Φ3(211)a of G of order p4, the proof follows as above.

5 Finally consider the group G =Φ7(1 ). It follows from [12, Main Theorem] that ∼ Z(4) M(G) = p . (6) That G ∧ G =∼ Zp , follows as in the above cases.

Theorem 2.13 and all lemmas in Sections 3, 4 and 5 yield our main result, which we present in the following table: 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 31

G Gab Γ(Gab) M(G) G ∧ G G ⊗ G (2) (5) (3) (8) Φ2(311)a Zp2 × Zp Zp2 × Zp Zp × Zp Zp Zp2 × Zp (2) (5) (3) (2) (2) (7) Z 2 Z Z 2 Z Z Z 2 Z Z Z Φ2(221)a p × p p × p p p × p p2 × p (2) (5) (3) (8) Φ2(221)b Zp2 × Zp Zp2 × Zp Zp × Zp Zp Zp2 × Zp (4) (10) (5) (6) (16) Φ2(2111)a Zp Zp Zp Zp Zp (4) (10) (5) (6) (16) Φ2(2111)b Zp Zp Zp Zp Zp (2) (5) (4) (5) (10) Φ2(2111)c Zp2 × Zp Zp2 × Zp Zp Zp Zp2 × Zp (2) (5) (4) (5) (10) Φ2(2111)d Zp2 × Zp Zp2 × Zp Zp Zp Zp2 × Zp 5 (4) (10) (7) (8) (18) Φ2(1 ) Zp Zp Zp Zp Zp (2) (3) Φ2(41) Zp3 × Zp Zp3 × Zp {1} Zp Zp3 × Zp (3) (4) Z 2 Z 2 Z Z Z 2 Z Φ2(32)a1 p × p p2 p p p2 (2) (2) Φ2(32)a2 Zp3 × Zp Zp3 × Zp Zp Zp2 Zp3 × Zp2 × Zp (2) (5) (3) (8) Φ2(311)b Zp2 × Zp Zp2 × Zp Zp × Zp Zp Zp2 × Zp (2) (3) (5) Φ2(311)c Zp3 × Zp Zp3 × Zp Zp × Zp Zp Zp3 × Zp (2) (5) (2) (2) (7) Z 2 Z Z 2 Z Z 2 Z Z 2 Z Z Z Φ2(221)c p × p p × p p × p p × p p2 × p (3) (3) (2) (4) (2) Z 2 Z 2 Z Z Z 2 Z Z Z Φ2(221)d p × p p2 p p × p p2 × p (3) (6) (3) (5) (11) Φ3(2111)a Zp Zp Zp Zp Zp (3) (6) (3) (5) (11) Φ3(2111)br Zp Zp Zp Zp Zp 5 (3) (6) (4) (6) (12) Φ3(1 ) Zp Zp Zp Zp Zp (2) (3) (5) Φ3(311)a Zp2 × Zp Zp2 × Zp Zp Zp Zp2 × Zp (2) (3) (5) Φ3(311)br Zp2 × Zp Zp2 × Zp Zp Zp Zp2 × Zp (2) (3) (5) Φ3(221)a Zp2 × Zp Zp2 × Zp Zp Zp Zp2 × Zp (2) (2) (2) (4) Z 2 Z Z 2 Z Z Z Z 2 Z Z Z Φ3(221)br p × p p × p p × p p × p p2 × p (3) (6) (3) (5) (11) Φ3(2111)c Zp Zp Zp Zp Zp (2) (2) (4) (6) Φ3(2111)d Zp2 × Zp Zp2 × Zp Zp Zp Zp2 × Zp (2) (2) (4) (6) Φ3(2111)e Zp2 × Zp Zp2 × Zp Zp Zp Zp2 × Zp (3) (6) (3) (9) Φ4(221)a Zp Zp Zp Zp Zp (3) (6) (2) (8) Φ4(221)b Zp Zp Zp × Zp Zp2 × Zp Zp2 × Zp (3) (6) (3) (9) Φ4(221)c Zp Zp Zp Zp Zp 1 Z(3) Z(6) Z Z(3) Z(9) Φ4(221)dr, r 6= 2 (p − 1) p p p p p (3) (6) (2) (8) Φ (221)d 1 − Z Z Z 2 Z 2 × Z Z 2 × Z 4 2 (p 1) p p p p p p p (3) (6) (3) (9) Φ4(221)e Zp Zp Zp Zp Zp (3) (6) (2) (8) Φ4(221)f0 Zp Zp Zp2 Zp2 × Zp Zp2 × Zp (3) (6) (3) (9) Φ4(221)fr Zp Zp Zp Zp Zp (3) (6) (3) (5) (11) Φ4(2111)a Zp Zp Zp Zp Zp (3) (6) (3) (5) (11) Φ4(2111)b Zp Zp Zp Zp Zp (3) (6) (3) (5) (11) Φ4(2111)c Zp Zp Zp Zp Zp 5 (3) (6) (6) (8) (14) Φ4(1 ) Zp Zp Zp Zp Zp (4) (10) (5) (6) (16) Φ5(2111) Zp Zp Zp Zp Zp 5 (4) (10) (5) (6) (16) Φ5(1 ) Zp Zp Zp Zp Zp 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 32

G Gab Γ(Gab) M(G) G ∧ G G ⊗ G (2) (3) (3) (6) Φ6(221)a Zp Zp {1} Zp Zp 1 Z(2) Z(3) Z(3) Z(6) Φ6(221)br, r 6= 2 (p − 1) p p {1} p p (2) (3) (2) (5) 1 − Z Z Z Z 2 Z Z 2 Z Φ6(221)b 2 (p 1) p p p p × p p × p (2) (3) (3) (6) Φ6(221)cr Zp Zp {1} Zp Zp (2) (3) (2) (5) Φ6(221)d0 Zp Zp Zp Zp2 × Zp Zp2 × Zp (2) (3) (3) (6) Φ6(221)dr Zp Zp {1} Zp Zp (2) (3) (4) (7) Φ6(2111)a Zp Zp Zp Zp Zp (2) (3) (4) (7) Φ6(2111)br Zp Zp Zp Zp Zp 5 (2) (3) (3) (6) (9) Φ6(1 ) Zp Zp Zp Zp Zp (3) (6) (3) (5) (11) Φ7(2111)a Zp Zp Zp Zp Zp (3) (6) (3) (5) (11) Φ7(2111)br Zp Zp Zp Zp Zp (3) (6) (3) (5) (11) Φ7(2111)c Zp Zp Zp Zp Zp 5 (3) (6) (4) (6) (12) Φ7(1 ) Zp Zp Zp Zp Zp (2) (2) (2) Z 2 Z Z 2 Z Z 2 Z Z Φ8(32) p × p p × p {1} p p2 × p (2) (3) (4) (7) Φ9(2111)a Zp Zp Zp Zp Zp (2) (3) (4) (7) Φ9(2111)br Zp Zp Zp Zp Zp 5 (2) (3) (3) (3) (6) Φ9(1 ) Zp Zp Zp Φ2(111) × Zp Φ2(111) × Zp (2) (3) (4) (7) Φ10(2111)ar Zp Zp Zp Zp Zp (2) (3) (4) (7) Φ10(2111)br Zp Zp Zp Zp Zp 5 (2) (3) (3) (3) (6) Φ10(1 ) Zp Zp Zp Φ2(111) × Zp Φ2(111) × Zp Table 1. Groups of order p5, p ≥ 5

In the following table we determine the capability of non-abelian p-groups of order p5, p ≥ 5, using Theorem 2.7. The description of epicenter Z∗(G) is also given for each group G under consideration. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 33

G Capability Epicenter G Capability Epicenter p Φ2(311)a Not Capable hα i Φ4(221)e Not capable Z(G) Φ2(221)a Capable h1i Φ4(221)f0 Capable h1i p Φ2(221)b Not Capable γ2(G) × hα3i Φ4(221)fr Not capable Z(G) Φ2(2111)a Not Capable γ2(G) Φ4(2111)a Not capable hβ2i Φ2(2111)b Not Capable γ2(G) Φ4(2111)b Not capable hβ1i p Φ2(2111)c Not Capable hα i Φ4(2111)c Not Capable hβ1i p 5 Φ2(2111)d Not Capable hα3i Φ4(1 ) Capable h1i 5 Φ2(1 ) Capable h1i Φ5(2111) Notcapable Z(G) 5 Φ2(41) Not Capable Z(G) Φ5(1 ) Not capable Z(G) Φ2(32)a1 Not Capable γ2(G) Φ6(221)a Not capable Z(G) 2 p 1 Φ2(32)a2 Not capable hα i Φ6(221)br, r 6= 2 (p − 1) Notcapable Z(G) p 1 − Φ2(311)b Not capable hγ i Φ6(221)b 2 (p 1) Capable h1i p Φ2(311)c Not capable hα i Φ6(221)cr Not capable Z(G) Φ2(221)c Capable h1i Φ6(221)d0 Capable h1i Φ2(221)d Capable h1i Φ6(221)dr Not capable Z(G) Φ3(2111)a Not capable hα3i Φ6(2111)a Not capable hβ1i Φ3(2111)br Not capable hα3i Φ6(2111)br Not capable hβ1i 5 5 Φ3(1 ) Capable h1i Φ6(1 ) Capable h1i Φ3(311)a Not capable Z(G) Φ7(2111)a Not capable Z(G) Φ3(311)br Not capable Z(G) Φ7(2111)br Not capable Z(G) Φ3(221)a Not capable Z(G) Φ7(2111)c Not capable Z(G) 5 Φ3(221)br Capable h1i Φ7(1 ) Capable h1i p Φ3(2111)c Not capable hγ i Φ8(32) Not capable Z(G) p Φ3(2111)d Not capable hα i Φ9(2111)a Not capable Z(G) p Φ3(2111)e Not capable hα1i Φ9(2111)br Not capable Z(G) 5 Φ4(221)a Not capable Z(G) Φ9(1 ) Capable h1i Φ4(221)b Capable h1i Φ10(2111)ar Not capable Z(G) Φ4(221)c Not capable Z(G) Φ10(2111)br Not capable Z(G) 1 5 Φ4(221)dr, r 6= 2 (p − 1) Notcapable Z(G) Φ10(1 ) Capable h1i Φ (221)d 1 − Capable h1i 4 2 (p 1) Table 2. Capability of groups of order p5, p ≥ 5

6. Non-abelian groups of order 25 and 35

The following table takes care of groups of order 25. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 34

Group ID M(G) G ∧ G G ⊗ G Capability Epicenter Z(3) Z Z(2) Z(4) Z(2) 2 2 4 × 2 4 × 2 Capable {1} Z Z Z Z(3) Z 4 2 4 8 × 4 Not Capable 2 Z(2) Z Z Z Z Z(3) Z 5 2 4 × 2 8 × 4 × 2 Not Capable 2 Z(2) Z Z(2) Z(2) Z(4) 6 2 4 × 2 4 × 2 Capable {1} Z Z Z Z Z Z(3) Z 7 2 4 × 2 8 × 4 × 2 Not Capable 2 Z Z Z Z Z Z(3) Z 8 2 4 × 2 8 × 4 × 2 Not Capable 2 Z(2) Z Z Z Z Z(3) 9 2 8 × 2 8 × 4 × 2 Capable {1} Z Z Z Z Z Z(3) Z 10 2 4 × 2 8 × 4 × 2 Not Capable 2 Z Z Z Z(2) Z(3) Z 11 2 4 × 2 4 × 2 Not Capable 2 Z Z Z Z(2) Z Z 12 2 4 8 × 4 × 2 Not Capable 4 Z Z Z Z(2) Z 13 2 8 8 × 4 × 2 Capable {1} Z Z Z Z(2) Z Z 14 2 8 8 × 4 × 2 Not Capable 2 Z Z Z(2) Z Z 15 {1} 4 8 × 4 × 2 Not Capable 4 Z Z Z(3) Z 17 {1} 2 16 × 2 Not Capable 8 Z Z Z Z(3) 18 2 16 16 × 2 Capable {1} Z Z Z(3) Z 19 {1} 8 16 × 2 Not Capable 2 Z Z Z(3) Z 20 {1} 8 16 × 2 Not Capable 2 Z(4) Z Z(3) Z(2) Z(8) 22 2 4 × 2 4 × 2 Capable {1} Z(3) Z Z(2) Z(3) Z(6) Z 23 2 4 × 2 4 × 2 Not Capable 2 Z Z Z Z(2) Z(2) Z(7) 24 2 × 4 4 × 2 4 × 2 Capable {1} Z(3) Z Z(2) Z(2) Z(7) Z 25 2 4 × 2 4 × 2 Not Capable 2 Z(2) Z(3) Z(3) Z(6) Z Z 26 2 2 4 × 2 Not Capable 2 × 2 Z(4) Z(2) Z(2) Z(2) Z(8) 27 2 4 × 2 4 × 2 Capable {1} Z(3) Z(2) Z Z(2) Z(7) 28 2 4 × 2 4 × 2 Capable {1} Z(2) Z Z(2) Z(3) Z(6) Z 29 2 4 × 2 4 × 2 Not Capable 2 Z(2) Z Z(2) Z(2) Z(7) Z 30 2 4 × 2 4 × 2 Not Capable 2 Z Z Z(2) Z Z(3) Z(6) 31 2 × 4 4 × 2 4 × 2 Capable {1} Z Z(3) Z(2) Z(7) Z Z 32 2 2 4 × 2 Not Capable 2 × 2 Z Z(3) Z(2) Z(7) Z Z 33 2 2 4 × 2 Not Capable 2 × 2 Z(2) Z Z(3) Z(3) Z(6) 34 2 × 4 4 4 × 2 Capable {1} Z(2) Z Z(2) Z(4) Z(5) Z 35 2 4 × 2 4 × 2 Not Capable 2 Z(2) Z(3) Z Z(8) Z 37 2 2 8 × 2 Not Capable 4 Z(2) Z(3) Z Z(8) Z 38 2 2 4 × 2 Not Capable 4 Z(3) Z Z(2) Z Z(8) 39 2 8 × 2 8 × 2 Capable {1} Z(2) Z Z(2) Z Z(8) Z 40 2 4 × 2 8 × 2 Not Capable 2 Z(2) Z Z(2) Z Z(8) Z 41 2 4 × 2 8 × 2 Not Capable 2 Z(2) Z Z(2) Z Z(8) Z 42 2 4 × 2 4 × 2 Not Capable 2 Z(2) Z Z(2) Z Z(8) Z 43 2 4 × 2 4 × 2 Not Capable 2 Z(2) Z Z(2) Z Z(8) Z 44 2 4 × 2 4 × 2 Not Capable 2 Z(6) Z Z(5) Z Z(15) 46 2 4 × 2 4 × 2 Capable {1} Z(5) Z(6) Z(2) Z(14) Z 47 2 2 4 × 2 Not Capable 2 Z(5) Z(6) Z(16) Z 48 2 2 2 Not Capable 2 Z(5) Z(6) Z(16) Z 49 2 2 2 Not Capable 2 Z(5) Z(6) Z(16) Z 50 2 2 2 Not Capable 2 Table 3. Groups of order 25 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 35

The following table takes care of groups of order 35.

Group ID M(G) G ∧ G G ⊗ G Capability Epicenter Z(3) Z Z(2) Z(4) Z(2) 2 3 9 × 3 9 × 3 Capable {1} Z(2) Z Z(3) Z Z(6) 3 3 9 × 3 9 × 3 Capable {1} Z Z Z(2) Z Z(5) 4 3 9 × 3 9 × 3 Capable {1} Z(3) Z(6) Z(2) 5 {1} 3 3 Not Capable 3 Z Z Z(2) Z Z(5) Z 6 3 9 × 3 9 × 3 Not Capable 3 Z(3) Z(6) Z(2) 7 {1} 3 3 Not Capable 3 Z Z Z(2) Z Z(5) Z 8 3 9 × 3 9 × 3 Not Capable 3 Z Z(4) Z(7) 9 3 3 3 Capable {1} Z Z Z(4) Z 11 3 9 9 Not Capable 3 Z(2) Z(3) Z Z(5) Z 12 3 3 27 × 3 Not Capable 9 Z(2) Z(4) Z Z(6) 13 3 3 9 × 3 Capable {1} Z(2) Z Z(2) Z(2) Z(4) 14 3 9 × 3 9 × 3 Capable {1} Z(2) Z Z(2) Z(2) Z(4) Z 15 3 9 × 3 9 × 3 Not Capable 3 Z Z(3) Z Z(5) Z 16 3 3 9 × 3 Not Capable 9 Z(2) Z Z(2) Z(2) Z(4) Z 17 3 9 × 3 9 × 3 Not Capable 3 Z Z(3) Z Z(5) Z Z 18 3 3 9 × 3 Not Capable 3 × 3 Z Z(3) Z Z(5) Z 19 3 3 9 × 3 Not Capable 9 Z Z(3) Z Z(5) Z 20 3 3 9 × 3 Not Capable 9 Z Z Z Z Z(2) Z 21 3 9 27 × 9 × 3 Not Capable 3 Z Z(2) Z(2) Z 22 {1} 9 9 × 3 Not Capable 3 Z Z Z(3) Z 24 {1} 3 27 × 3 Not Capable 27 Z Z Z(2) Z Z(5) Z 25 3 9 × 3 9 × 3 Not Capable 3 Z Z Z(3) 26 9 × 3 X X × 3 Capable {1} Z Z Z(2) Z Z(5) Z 27 3 9 × 3 9 × 3 Not Capable 3 Z Z(3) 28 9 Y Y × 3 Capable {1} Z Z Z(2) Z Z(5) Z 29 3 9 × 3 9 × 3 Not Capable 3 Z Z Z(2) Z Z(5) Z 30 3 9 × 3 9 × 3 Not Capable 3 Z(4) Z(5) Z Z(10) Z 32 3 3 9 × 3 Not Capable 3 Z(3) Z Z(2) Z(2) Z(7) 33 3 9 × 3 9 × 3 Capable {1} Z Z Z Z(2) Z(2) Z(7) 34 9 × 3 9 × 3 9 × 3 Capable {1} Z(4) Z(5) Z Z(10) Z 35 3 3 9 × 3 Not Capable 3 Z(2) Z(3) Z Z(8) Z Z 36 3 3 9 × 3 Not Capable 3 × 3 Z(6) Z(8) Z(14) 37 3 3 3 Capable {1} Z(3) Z(5) Z(11) Z 38 3 3 3 Not Capable 3 Z(3) Z(5) Z(11) Z 39 3 3 3 Not Capable 3 Z(3) Z(5) Z(11) Z 40 3 3 3 Not Capable 3 Z Z(3) Z(9) Z Z 41 3 3 3 Not Capable 3 × 3 Z(2) Z Z(2) Z Z(8) 42 3 9 × 3 9 × 3 Capable {1} Z Z Z(2) Z Z(8) 43 9 9 × 3 9 × 3 Capable {1} Z Z(3) Z(9) Z Z 44 3 3 3 Not Capable 3 × 3 Z Z Z(2) Z Z(8) 45 9 9 × 3 9 × 3 Capable {1} 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 36

Group ID M(G) G ∧ G G ⊗ G Capability Epicenter Z Z(3) Z(9) Z Z 46 3 3 3 Not Capable 3 × 3 Z Z(3) Z(9) Z Z 47 3 3 3 Not Capable 3 × 3 Z(2) Z(3) Z Z(8) Z 49 3 3 9 × 3 Not Capable 9 Z(2) Z(3) Z Z(8) Z 50 3 3 9 × 3 Not Capable 9 Z(3) Z(5) Z(11) Z 51 3 3 3 Not Capable 3 Z(3) Z(5) Z(11) Z 52 3 3 3 Not Capable 3 Z(4) Z Z(4) Z Z(10) 53 3 9 × 3 9 × 3 Capable {1} Z(3) Z(5) Z(11) Z 54 3 3 3 Not Capable 3 Z(3) Z(5) Z(11) Z 55 3 3 3 Not Capable 3 Z(3) Z(5) Z(11) Z 56 3 3 3 Not Capable 3 Z(3) Z(5) Z(11) Z 57 3 3 3 Not Capable 3 Z(4) Z Z(4) Z Z(10) 58 3 9 × 3 9 × 3 Capable {1} Z(3) Z(5) Z(11) Z 59 3 3 3 Not Capable 3 Z(3) Z(5) Z(11) Z 60 3 3 3 Not Capable 3 Z(7) Z(8) Z(18) 62 3 3 3 Capable {1} Z(5) Z(6) Z(16) Z 63 3 3 3 Not Capable 3 Z(5) Z(6) Z(16) Z 64 3 3 3 Not Capable 3 Z(5) Z(6) Z(16) Z 65 3 3 3 Not Capable 3 Z(5) Z(6) Z(16) Z 66 3 3 3 Not Capable 3 Table 4. Groups of order 35

The groups X and Y in Table 4 are given by

X = ha,b,c | [b,a]= c3, [a,c] = [b,c]=1,a9 = b9 = c9 =1i and Y = ha,b,c | [b,a]= c3, [a,c] = [b,c]=1,a9 = b3 = c9 =1i.

Acknowledgement. The research of the ﬁrst author is partly supported by Infosys grant. The second author is thankful to Harish-Chandra Research Institute, Allahabad for oﬀering post doctoral position to him, during which a good part of this work was done.

References

[1] F. R. Beyl, U. Felgner, P. Schmid, On groups occurring as center factor groups, J. Algebra 61 (1979), 161-177. [2] N. Blackburn, L. Evens, Schur multipliers of p-groups, J. Reine Angew. Math. 309 (1979), 100-113. [3] R. D. Blyth, R. F. Morse, Computing the nonabelian tensor squares of polycyclic groups, Jour. of algebra 321 (2009), 2139-2148. [4] R. D. Blyth, F. Fumagalli, M. Morigi, Some structural results on the non-abelian tensor square of groups, J. Group Theory 13 (2010), 83-94. [5] R. Brown, D. L. Johnson, E. F. Robertson, Some computations of nonabelian tensor products of groups, J. Algebra, 111 (1987), 177-202. [6] R. Brown, J. L. Loday, Van Kampen theorems for diagrams of spaces, Topology 26(1987), 311-335. [7] G. Ellis, On the Schur multiplier of p-groups., Comm. Algebra 27 (1999), 4173-4177. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 37

[8] G. Ellis, HAP-Homological algebra programming, version 1.12 (2017), available at http://hamilton.nuigalway.ie/Hap/www. [9] T. Ganea, Homologie et extensions centrales de groupes, C. R. Acad. Sci., Paris 266 (1968), 556-568. [10] T. J. Ghorbanzadeh, M. Parvizi, P. Niroomand, The non-abelian tensor square of p-groups of order p4, Asian-European J. Math. (to appear). https://doi.org/10.1142/S1793557118500845. [11] The GAP Group, Groups Algorithms and Programming, version 4.8.10 (2018), available at http://www.gap-system.org. [12] S. Hatui, A characterization of finite p-groups by their Schur multiplier, Proc. Indian Acad. Sci. (Math. Sci.) (to appear), arXiv:1608.06322. [13] A. Hoshi, M-C. Kang, B. E. Kunyavskii, Noether’s problem and unramified Brauer groups, Asian J. Math. 17 (2013), 689-713. [14] R. James, The groups of order p6 (p an odd prime), Math. Comp. 34 (1980), 613-637. [15] M. R. Jones, Some inequalities for multiplicators of a finite group, Proc. Amer. Math. Soc. 39 (1973), 450-456. [16] M. R. Jones, Some inequalities for multiplicators of a finite group II, Proc. Amer. Math. Soc. 45 (1974), 167-172. [17] G. Karpilovsky, The Schur multiplier. London Math. Soc. Monographs, Oxford Univ. Press, 1987. [18] M. R. Moghaddam, P. Niroomand, Some properties of certain subgroups of tensor squares of p-groups. Comm. Algebra 40 (2012), 1188-1193. [19] P. Moravec, On the exponent semigroups of finite p-groups, J. Group Theory 11 (2008), 511-524. [20] K. S. Ok, On p-groups of order p4, Comm. Korean Math. Soc. 16 (2001), 205-210. [21] N. R. Rocco, On a construction related to the non-abelian tensor square of a group, Bol. Soc. Brasil. Mat. (N.S.) 22 (1991), 63-79. [22] I. Schur, Uber¨ die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen, J. Reine Angew. Math. 127 (1904), 20-50. [23] I. Schur, Untersuchungen über die Darstellung der endlichen Gruppen durch gebrochene lineare Sub- stitutionen, J. Reine Angew. Math. 132 (1907), 85-137. [24] M. Steeg, Finite p-groups with trivial Schur multiplier, thesis, The University of Michigan (1976). [25] K. I. Tahara, On the second cohomology groups of semidirect products, Math. Z. 129 (1972), 365-379. [26] J. H. C. Whitehead, A certain exact sequence, Ann. of Math. (2) 52 (1950), 51-110. 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 38

Appendix A

For the convenience of the reader, we include presentations of groups of order pn, 3 ≤ n ≤ 5, given by James [14].

A1. Groups of order p3

The isoclinism family Φ2 consists of the following groups:

p p p (i) Φ2(21) = hα, α1, α2 | [α1, α]= α2, α = α2, α1 = α2 =1i, p p p (ii) Φ2(111) = hα, α1, α2 | [α1, α]= α2, α = α1 = α2 =1i.

A2. Groups of order p4

The isoclinism family Φ2 consists of the following groups:

(i) Φ2(211)a =Φ2(21) × Zp, 4 (ii) Φ2(1 )=Φ2(111) × Zp, 2 p p p (iii) Φ2(31) = hα, α1, α2 | [α1, α]= α = α2, α1 = α2 =1i, 2 p p p (iv) Φ2(22) = hα, α1, α2 | [α1, α]= α = α2, α1 = α2 =1i, p p p p (v) Φ2(211)b = hα, α1, α2,γ | [α1, α]= γ = α2, α = α1 = α2 =1i, 2 p p p (vi) Φ2(211)c = hα, α1, α2 | [α1, α]= α2, α = α1 = α2 =1i.

The isoclinism family Φ3 consists of the following groups:

p (p) p p (i) Φ3(211)a = hα, α1, α2, α3 | [α1, α]= α2, [α2, α]= α = α3, α1 = α2 = α3 =1i, r (p) r p p p (ii) Φ3(211)br = hα, α1, α2, α3 | [α1, α] = α2, [α2, α] = α1 = α3, α = α2 = α3 = 1i for r =1 or ν. 4 p (p) p (iii) Φ3(1 )= hα, α1, α2, α3 | [αi, α]= αi+1, α = αi = α3 =1, (i =1, 2)i.

A3. Groups of order p5

The groups of nilpotency class 2 falls in the isoclinism families Φ2, Φ4 and Φ5.

The isoclinism family Φ2 consists of the following groups, in which the cyclic direct factor is generated by α3:

(i) Φ2(311)a =Φ2(31) × Zp,

(ii) Φ2(221)a =Φ2(22) × Zp,

(iii) Φ2(221)b =Φ2(21) × Zp2 ,

(iv) Φ2(2111)a =Φ2(211)a × Zp,

(v) Φ2(2111)b =Φ2(211)b × Zp,

(vi) Φ2(2111)c =Φ2(211)c × Zp,

(vii) Φ2(2111)d =Φ2(111) × Zp2 , 5 4 (viii) Φ2(1 )=Φ2(1 ) × Zp, 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 39

3 p p p (ix) Φ2 (41) = hα, α1, α2 | [α1, α]= α = α2, α1 = α2 =1i, 2 2 p p p (x) Φ2 (32) a1 = hα, α1, α2 | [α1, α]= α = α2, α1 = α2 =1i, 3 p p p (xi) Φ2 (32) a2 = hα, α1, α2 | [α1, α]= α1 = α2, α = α2 =1i, 2 p p p p (xii) Φ2 (311) b = hα, α1, α2,γ | [α1, α]= γ = α2, α = α1 = α2 =1i, 3 p p p (xiii) Φ2 (311) c = hα, α1, α2 | [α1, α]= α2, α = α1 = α2 =1i, 2 p p p p (xiv) Φ2 (221) c = hα, α1, α2,γ | [α1, α]= γ = α2, α = α1 = α2 =1i, 2 2 p p p (xv) Φ2 (221) d = hα, α1, α2 | [α1, α]= α2, α = α1 = α2 =1i.

Isoclinism family Φ4 consists of the following groups:

p p p p (i) Φ4 (221) a = hα, α1, α2,β1,β2 | [αi, α] = βi, α = β2, α1 = β1, α2 = βi = 1 (i = 1, 2)i, p p p p (ii) Φ4 (221) b = hα, α1, α2,β1,β2 | [αi, α] = βi, α = β2, α2 = β1, α1 = βi = 1 (i = 1, 2)i, p p p (iii) Φ4 (221) c = hα, α1, α2,β1,β2 | [αi, α]= βi = αi , α = βi = 1 (i =1, 2)i, p k p p p (iv) Φ4 (221) dr = hα, α1, α2,β1,β2 | [αi, α] = βi, α1 = β1 , α2 = β2, α = βi = 1 (i = r 1 1, 2)i, where k = ζ , r =1, 2,..., 2 (p − 1), p −1/4 p p p (v) Φ4 (221) e = hα, α1, α2,β1,β2 | [αi, α] = βi, α1 = β2 , α2 = β1β2, α = βi = 1 (i =1, 2)i, p p ν p p (vi) Φ4 (221) f0 = hα, α1, α2,β1,β2 | [αi, α] = βi, α1 = β2, α2 = β1 , α = βi = 1 (i = 1, 2)i, p k p p p (vii) Φ4 (221) fr = hα, α1, α2,β1,β2 | [αi, α] = βi, α1 = β2 , α2 = β1β2, α = βi = 1 (i = 2r+1 1 1, 2)i, where 4k = ζ − 1 for r =1, 2,..., 2 (p − 1), p p p (viii) Φ4 (2111) a = hα, α1, α2,β1,β2 | [αi, α]= βi, α = β2, αi = βi = 1 (i =1, 2)i, p p p p (ix) Φ4 (2111) b = hα, α1, α2,β1,β2 | [αi, α]= βi, α1 = β1, α = α2 = βi = 1 (i =1, 2)i, p p p p (x) Φ4 (2111) c = hα, α1, α2,β1,β2 | [αi, α]= βi, α2 = β1, α = α1 = βi = 1 (i =1, 2)i, 5 p p p (xi) Φ4 1 = hα, α1, α2,β1,β2 | [αi, α]= βi, α = αi = βi = 1 (i =1, 2)i.

The isoclinism family Φ5 consists of the following two groups:

p p p p p (i) Φ5(2111) = hαi, α2, α3, α4,β | [α1, α2] = [α3, α4] = α1 = β, α2 = α3 = α4 = β = 1i, 5 p p p p p (ii) Φ5(1 )= hα1, α2, α3, α4,β | [α1, α2] = [α3, α4]= β, α1 = α2 = α3 = α4 = β =1i.

The groups of nilpotency class 3 fall in the isoclinism families Φ3, Φ6, Φ7 and Φ8.

The class Φ3 consists of the following groups:

(i) Φ3(2111)a =Φ3(211)a × Zp,

(ii) Φ3(2111)br =Φ3(211)br × Zp for r =1 or ν, 5 4 (iii) Φ3(1 )=Φ3(1 ) × Zp, 2 p (p) p p (iv) Φ3 (311) a = hα, α1, α2, α3 | [α1, α]= α2, [α2, α]= α = α3, α1 = α2 = α3 =1i, 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 40

2 r p p p p (v) Φ3 (311) br = hα, α1, α2, α3 | [α1, α] = α2, [α2, α] = α1 = α3, α = α2 = α3 = 1i for r =1 or ν, 2 p p p p (vi) Φ3 (221) a = hα, α1, α2, α3 | [α1, α]= α2, [α2, α]= α = α3, α1 = α2 = α3 =1i, 2 r (p) r p p p (vii) Φ3 (221) br = hα, α1, α2, α3 | [α1, α]= α2, [α2, α] = α1 = α3, α = α2 = α3 = 1i for r =1 or ν, p p (p) (viii) Φ3 (2111) c = hα, α1, α2, α3,γ | [α1, α] = α2, [α2, α] = γ = α3, α = αi = 1 (i = 1, 2, 3)i, 2 p (p) p (ix) Φ3 (2111) d = hα, α1, α2, α3 | [αi, α]= αi+1, α = αi = α3 = 1 (i =1, 2)i, 2 p p p (x) Φ3 (2111) e = hα, α1, α2, α3 | [αi, α]= αi+1, α = α1 = αi+1 = 1 (i =1, 2)i.

The class Φ6 consists of the following groups:

p p p (i) Φ6(221)a = hα1, α2,β,β1,β2 | [α1, α2] = β, [β, αi] = βi = αi ,β = βi = 1 (i = 1, 2)i, p k p p (ii) Φ6(221)br = hα1, α2,β,β1,β2 | [α1, α2] = β, [β, αi] = βi, α1 = β1 , α2 = β2,β = p r 1 βi = 1 (i =1, 2)i, where k = ζ , r =1, 2,..., 2 (p − 1), − 1 p 4 r p r r p (iii) Φ6(221)cr = hα1, α2,β,β1,β2 | [α1, α2]= β, [β, αi]= βi, α1 = β2 , α2 = β1 β2 ,β = p βi = 1 (i =1, 2)i, where r =1 or ν, p p ν p (iv) Φ6(221)d0 = hα1, α2,β,β1,β2 | [α1, α2] = β, [β, αi] = βi, α1 = β2, α2 = β1 ,β = p βi = 1 (i =1, 2)i, p k p p (v) Φ6(221)dr = hα1, α2,β,β1,β2 | [α1, α2] = β, [β, αi] = βi, α1 = β2 , α2 = β1β2,β = p 2r+1 1 βi = 1 (i =1, 2)i where 4k = ζ − 1, r =1, 2,..., 2 (p − 1), p p p p (vi) Φ6(2111)a = hα1, α2,β,β1,β2 | [α1, α2] = β, [β, αi] = βi, α1 = β1, α2 = β = βi = 1 (i =1, 2)i for p> 3, p r p p p (vii) Φ6(2111)br = hα1, α2,β,β1,β2 | [α1, α2]= β, [β, αi] = βi, α2 = β1 , α1 = β = βi = 1 (i =1, 2)i for r =1 or ν and p> 3, 5 p p p (viii) Φ6(1 )= hα1, α2,β,β1,β2 | [α1, α2]= β, [β, αi]= βi, αi = β = βi = 1 (i =1, 2)i.

The class Φ7 consists of the following groups:

p (p) p (i) Φ7 (2111) a = hα, α1, α2, α3,β | [αi, α] = αi+1, [α1,β] = α3 = α , α1 = αi+1 = βp = 1 (i =1, 2)i, r r (p) p p (ii) Φ7 (2111) br = hα, α1, α2, α3,β | [αi, α] = αi+1, [α1,β] = α3 = α1 , α = αi+1 = βp = 1 (i =1, 2)i for r =1 or ν, p p (p) (iii) Φ7 (2111) c = hα, α1, α2, α3,β | [αi, α] = αi+1, [α1,β] = α3 = β , α = α1 = p αi+1 = 1 (i =1, 2)i, 5 p (p) p p (iv) Φ7 1 = hα, α1, α2, α3,β | [αi, α] = αi+1, [α1,β] = α3, α = α1 = αi+1 = β = 1 (i=1 , 2)i.

The class Φ8 consists of only one group

2 2 p p p (i) Φ8(32) = hα1, α2,β | [α1, α2]= β = α1,β = α2 =1i 5 THE SCHUR MULTIPLIERS OF p-GROUPS OF ORDER p 41

Groups of nilpotency class 4 fall in the isoclinism classes Φ9 and Φ10.

The class Φ9 consists of the following groups:

p (p) (p) (i) Φ9 (2111) a = hα, α1, α2, α3, α4 | [αi, α] = αi+1, α4 = α , α1 = αi+1 = 1 (i = 1, 2, 3)i, k (p) p (p) (ii) Φ9 (2111) br = hα, α1, α2, α3, α4 | [αi, α] = αi+1, α4 = α1 , α = αi+1 = 1 (i = 1, 2, 3)i, where k = ζr for r +1=1, 2,..., (p − 1, 3) 5 p (p) (p) (iii) Φ9 1 = hα, α1, α2, α3, α4 | [αi, α]= αi+1, α = α1 = αi+1 = 1 (i =1, 2, 3)i.

The class Φ10 consists of the following groups:

k k p (p) (i) Φ10 (2111) ar = hα, α1, α2, α3, α4 | [αi, α] = αi+1, [α1, α2] = α4 = α , α1 = (p) r αi+1 = 1 (i =1, 2, 3)i, where k = ζ for r +1=1, 2,..., (p − 1, 4) k k (p) p (ii) Φ10 (2111) br = hα, α1, α2, α3, α4 | [αi, α] = αi+1, [α1, α2] = α4 = α1 , α = (p) r αi+1 = 1 (i =1, 2, 3)i, where k = ζ for r +1=1, 2,..., (p − 1, 3) and p> 3, 5 p (p) (p) (iii) Φ10 1 = hα, α1, α2, α3, α4 | [αi, α] = αi+1, [α1, α2] = α4, α = α1 = αi+1 = 1 (i =1, 2, 3)i.

School of Mathematics, Harish-Chandra Research Institute, Chhatnag Road, Jhunsi, Alla- habad 211019, INDIA

& Homi Bhabha National Institute, Training School Complex, Anushakti Nagar, Mumbai 400085, India

E-mail address: [email protected], [email protected]

Department of Mathematics, Central University of Rajasthan, NH-8, Bandar Sindri, Ajmer- 305817, Rajasthan, INDIA

E-mail address: [email protected]

Harish-Chandra Research Institute, HBNI, Chhatnag Road, Jhunsi, Allahabad 211019, INDIA

E-mail address: [email protected]