Uniform and natural existence proofs for Janko's sporadic groups \(J_2\) and \(J_3\)
type: Item
instance of: scholarly article
title: Uniform and natural existence proofs for Janko's sporadic groups \(J_2\) and \(J_3\)
zbMATH Open document ID: 1007.20016
author: Mathias Kratzer
published in: Archiv der Mathematik
publication date: 2002-09-25T00:00:00Z
review text: \textit{Z. Janko} [Symp. Math. 1, 25-64 (1969; Zbl 0182.35304)] gave evidence for the simple sporadic Janko groups \(J_2\) and \(J_3\) from their common involution centralizer \(H\cong 2^{1+4}:A_5\). The existence and uniqueness of \(J_2\) and \(J_3\) was originally proved by \textit{M. Hall} jun. and \textit{D. Wales} [J. Algebra 9, 417-450 (1968; Zbl 0172.03103)] and \textit{G. Higman} and \textit{J. McKay} [Bull. Lond. Math. Soc. 1, 89-94 (1969; Zbl 0175.30103)], respectively. In this paper, the author gives a uniform and natural approach to the existence proofs. It is uniform, because it uses a quite general deterministic algorithm described by G. O. Michler in an unpublished paper. It is natural, because it starts from a canonical permutation representation \(\rho(A_5)\). Then, based on \(\rho(A_5)\), a finite presentation for \(H\) is constructed. Finally, as result of Michler's algorithm, the embeddings of \(J_2\) in \(\text{GL}_{14}(11)\) and \(\widehat{J_3}\) in \(\text{GL}_{18}(31)\) are obtained. All computations can easily be verified by means of MAGMA.
reviewed by: Anatoli Kondrat'ev
Mathematics Subject Classification ID: 20D08
Mathematics Subject Classification ID: 20C34
Mathematics Subject Classification ID: 20C40
zbMATH DE Number: 1807891
zbMATH Keywords: sporadic simple groups
zbMATH Keywords: Janko groups
zbMATH Keywords: existence proofs
zbMATH Keywords: uniqueness proofs
zbMATH Keywords: centralizers of involutions
zbMATH Keywords: deterministic algorithms
MaRDI profile type: Publication
full work available at URL: s00013-002-8278-1
OpenAlex ID: W2017634149
DOI: 10.1007/S00013-002-8278-1
description: scientific article; zbMATH DE number 1807891