On odd prime components of cohomologies of sporadic simple groups and the rings of universal stable elements
type: Item
instance of: scholarly article
title: On odd prime components of cohomologies of sporadic simple groups and the rings of universal stable elements
zbMATH Open document ID: 0855.20045
author: Michishige Tezuka
author: Nobuaki Yagita
published in: Journal of Algebra
publication date: 1997-01-27T00:00:00Z
review text: 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)].
Mathematics Subject Classification ID: 20J06
Mathematics Subject Classification ID: 20D08
zbMATH DE Number: 923695
zbMATH Keywords: cohomology rings
zbMATH Keywords: extraspecial \(p\)-groups
zbMATH Keywords: ring of universal stable elements
zbMATH Keywords: finite groups
zbMATH Keywords: Sylow \(p\)-subgroups
zbMATH Keywords: sporadic simple groups
zbMATH Keywords: Rudvalis group
zbMATH Keywords: Janko group
zbMATH Keywords: Thompson group
reviewed by: Anatoli Kondrat'ev
MaRDI profile type: Publication
full work available at URL: jabr.1996.0230
OpenAlex ID: W2007332047
DOI: 10.1006/JABR.1996.0230
description: scientific article; zbMATH DE number 923695