×

A new construction of the O’Nan simple group. (English) Zbl 0646.20016

The author constructs the triple cover 3.O’N of the O’Nan group as the automorphism group of a certain totally skew trilinear form on a 45- dimensional vector space over GF(7). Let \(\Omega\) be a set of 11 elements on which the Mathieu group \(M_{11}\) acts naturally. Let \(\Omega_{10}\) be the vector space over GF(7) spanned by 11 vectors \(\omega_ i\), \(i\in \Omega\), with \(\sum_{i}\omega_ i=0\) and let \(V=\wedge\) \(2\Omega_{10}\) be the 2-fold exterior power. Then V is spanned by \(v_{ij}=\omega_ i\wedge \omega_ j\) for \(i\neq j\) with the relations \(v_{ij}=-v_{ji}\) and \(\sum_{i}v_{ij}=0\) for each j. A totally skew trilinear form on V is a trilinear form [,, ] such that \([u,v,w]=- [v,u,w]=[v,w,u]\) for any choices of u, v, w in V. The author defines explicitly an \(M_{11}\)-invariant totally skew trilinear form on V and shows that the subgroup G of GL(V) which leaves the form invariant is isomorphic to 3.O’N. The identification of G with 3.O’N is accomplished by studying a Sylow 2-subgroup of G. The author also defines an algebra structure on \(U=V\oplus W\), where V and W are dual to each other as 3.O’N-modules and interchanged by the outer automorphism. The module U provides a 90-dimensional irreducible representation of the group 3.O’N:2 in the notation of [“ATLAS of Finite Groups”, Oxford, Clarendon Press (1985; Zbl 0568.20001)]. This paper contains much information about the structure of the O’Nan group. The presentation of 3.O’N obtained here is useful for the study of the group.
Reviewer: H.Yamada

MSC:

20D08 Simple groups: sporadic groups

Citations:

Zbl 0568.20001
Full Text: DOI

References:

[1] Andrilli, S., On the Uniqueness of O’Nan’s Sporadic Finite Simple Group, (Thesis (1980), Rutgers University)
[3] Biggs, N. L.; White, A. T., Permutation Groups and Combinatorial Structures, (LMS Lecture Notes (1979), Cambridge Univ. Press: Cambridge Univ. Press London/New York) · Zbl 0415.05002
[4] Feit, W., The Representation Theory of Finite Groups (1982), North-Holland: North-Holland Amsterdam · Zbl 0493.20007
[5] Janko, Z., A new finite simple group with Abelian Sylow 2-subgroups, and its characterization, J. Algebra, 3, 147-186 (1966) · Zbl 0214.28003
[6] McKay, J.; Regener, E., Transitivity sets, Comm. Assoc. Comput. Mach., 17, 470 (1974)
[7] Meyer, W.; Neutsch, W.; Parker, R. A., The minimal 5-representation of Lyon’s sporadic group (1984), preprint
[8] O’Nan, M. E., Some evidence for the existence of a new finite simple group, (Proc. London Math. Soc., 32 (1976)), 421-479 · Zbl 0356.20020
[9] Parker, R. A., Computer methods for modular representations, (Computational Group Theory (1984), Academic Press: Academic Press London) · Zbl 0555.20001
[10] Ryba, A. J.E, (Thesis (1985), Cambridge University)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.