On odd prime components of cohomologies of sporadic simple groups and the rings of universal stable elements (Q1921921)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On odd prime components of cohomologies of sporadic simple groups and the rings of universal stable elements |
scientific article |
Statements
On odd prime components of cohomologies of sporadic simple groups and the rings of universal stable elements (English)
0 references
27 January 1997
0 references
Let \(G\) be a finite group and \(p\) be a prime. Let \(H^*(G)\) be the cohomology ring of \(G\) over \(Z\) and let \(H^*(G)_{(p)}=H^*(G)\otimes Z_{(p)}\). Denote by \(E\) the extraspecial \(p\)-group of order \(p^3\) and of exponent \(p\). Given a \(p\)-group \(P\), \textit{L. Evens} and \textit{S. Priddy} [Q. J. Math., Oxf. II. Ser. 40, No. 160, 399-407 (1989; Zbl 0687.20047)] defined the ring of universal stable elements by \(I(P)=\bigcup_G\text{Im(res }H^*(G)\to H^*(P))\), where \(G\) runs over all finite groups with \(P\) as a Sylow \(p\)-subgroup. In this paper, it is proved that if \(G\) has a Sylow \(p\)-subgroup isomorphic to \(E\) for an odd prime \(p\) and \(G\) contains \(\text{Hol}(Z_{(p)}\times Z_{(p)})\) as a subgroup, and all subgroups isomorphic \(Z_{(p)}\times Z_{(p)}\) are conjugated, then \(H^*(G)_{(p)}=I(E)\) (Theorem 0.1). S. Yoshiara gave the authors a list of sporadic simple groups \(G\) with Sylow \(p\)-subgroup isomorphic to \(E\) for odd \(p\), together with almost all information necessary to obtain cohomologies of \(G\). The authors study systematically odd prime components of cohomologies for groups from this list. In particular, it is shown that the Rudvalis group \(Ru\) and the largest Janko group \(J_4\) for \(p=3\), and the Thompson group \(Th\) for \(p=5\) satisfy the assumption of Theorem 0.1, so \(H^*(G)_{(p)}=I(E)\) for these groups and primes. The paper continues the investigations of cohomologies of sporadic simple groups in works of \textit{C. B. Thomas} [Lect. Notes Math. 1474, 371-381 (1991; Zbl 0737.20023)], \textit{D. J. Green} [Math. Proc. Camb. Philos. Soc. 113, No. 2, 253-266 (1993; Zbl 0828.20037)], \textit{C. B. Thomas} [Contemp. Math. 158, 307-318 (1994; Zbl 0846.20058)], \textit{I. Leary} [``The cohomology of certain finite groups'', Thesis, Cambridge Univ. (1990)], \textit{R. J. Milgram} and \textit{M. Tezuka} [Bol. Soc. Mat. Mex., III. Ser. 1, No. 2, 91-108 (1995; see the preceding review Zbl 0855.20044)].
0 references
cohomology rings
0 references
extraspecial \(p\)-groups
0 references
ring of universal stable elements
0 references
finite groups
0 references
Sylow \(p\)-subgroups
0 references
sporadic simple groups
0 references
Rudvalis group
0 references
Janko group
0 references
Thompson group
0 references