The cohomology of the sporadic groups \(J_2\) and \(J_3\)
type: Item
instance of: scholarly article
title: The cohomology of the sporadic groups \(J_2\) and \(J_3\)
zbMATH Open document ID: 0924.20037
author: John S. Maginnis
author: R. James Milgram
author: Jon F. Carlson
published in: Journal of Algebra
publication date: 1999-09-14T00:00:00Z
review text: Let \(J\) be either the Hall-Janko group \(J_2\) or the Janko group \(J_3\). Let \(S_J\) denote a Sylow \(2\)-subgroup of \(J_2\) (which is isomorphic to a Sylow \(2\)-subgroup of \(J_3\)). For a finite group \(G\) and for a prime \(p\), let \(H^\ast(G;\mathbb{F}_p)\) denote the \(\text{mod}(p)\) cohomology ring of \(G\). The group \(S_J\) contains a single conjugacy class of subgroups \(2^4\) and exactly three conjugacy classes of subgroups \(2\times Q_8\). The cohomology ring \(H^\ast(S_J;\mathbb{F}_2)\) was determined by the second author [in J. Lond. Math. Soc., II. Ser. 51, No. 2, 259-278 (1995; Zbl 0830.20076)]. In this paper, the authors determine \(H^\ast(J;\mathbb{F}_2)\). Their approach is to first use computer calculations in low dimensions to show that \(H^\ast(S_J;\mathbb{F}_2)\) is detected by restriction to a single subgroup \(2^4\) and three copies of a subgroup \(2\times Q_8\) in \(S_J\). Then, using the known normalizer of \(2^4\) in \(J\) and the fusions of the \(2\times Q_8\)'s, they determine \(H^\ast(J;\mathbb{F}_2)\). The reasons for considering these kinds of questions are the following: (1) there is the intrinsic interest in the details of the structure of any of the sporadic groups, (2) there are well-known relations between the structure of the quotient of the cohomology ring \(H^\ast(G;\mathbb{F}_p)\) by the nil-radical, and the structure of the modular representations of \(G\) over the algebraic closure of \(\mathbb{F}_p\); (3) there is a connection with homotopy theory. It is discussed also the relation between this calculation for \(H^\ast(J_3;\mathbb{F}_2)\) and a two-dimensional sporadic geometry for \(J_3\) constructed by \textit{A. J. E. Ryba, S. D. Smith}, and \textit{S. Yoshiara} [in J. Algebra 129, No. 2, 279-311 (1990; Zbl 0693.20015)]. Moreover, it is given a description of the Quillen complex \(\Delta\) for \(J_2\), with quotient \(\Delta/J_2\) which is a three-dimensional complex with 9 vertices, 23 edges, 25 faces, and 10 q…
Mathematics Subject Classification ID: 20J06
Mathematics Subject Classification ID: 20D08
zbMATH DE Number: 1275259
zbMATH Keywords: cohomology of finite groups
zbMATH Keywords: sporadic Janko groups \(J_2\) and \(J_3\)
zbMATH Keywords: cohomology rings
zbMATH Keywords: sporadic geometries
reviewed by: Anatoli Kondrat'ev
MaRDI profile type: Publication
full work available at URL: jabr.1998.7702
OpenAlex ID: W2021264554
cites work: Q4303983
cites work: A 5 -Invariants, the Cohomology of L 3 (4) and Related Extensions
cites work: Q3684278
cites work: Calculating group cohomology: tests for completion
cites work: Computing Ext algebras for finite groups
cites work: Q4378353
cites work: Maximal subgroups of the Hall-Janko-Wales group
cites work: Q5628332
cites work: A classification of the maximal subgroups of the finite alternating and symmetric groups
cites work: The Cohomology of the Sylow 2-Subgroup of J 2
cites work: Local control of group cohomology
cites work: The \(14\)-dimensional Kervaire invariant and the sporadic group \(M_{12}\)
cites work: Q4378364
cites work: The mod 2 cohomology rings of extra-special 2-groups and the spinor groups
cites work: The Cohomology of the Groups of Order 32
cites work: Some projective modules determined by sporadic geometries
cites work: Complexes, group cohomology, and an induction theorem for the Green ring
cites work: A split exact sequence of Mackey functors
DOI: 10.1006/JABR.1998.7702
description: scientific article; zbMATH DE number 1275259