Finite Subgroups of F 4 (C) and E 6 (C)

Abstract

The isomorphism types of finite Lie primitive subgroups of the complex Lie groups E6(C) and F4(C) are determined. Here, we call a finite subgroup of a complex Lie group G Lie primitive if it is not contained in a proper closed subgroup of G of positive dimension. Induction can be used to investigate subgroups which are not Lie primitive. Some additional information is provided, such as the characters of these finite subgroups on some small-dimensional modules for the Lie groups. In studying these groups, we mainly use two rational linear representations of the universal covering group E ~ of E6(C), namely a 27-dimensional module (there are two inequivalent ones), denoted by K, and the adjoint module. In particular, we make heavy use of the characters of E ~ on these modules. The group F4(C) occurs in E ~ as the stabilizer subgroup of a vector in K. The finite simple groups of which a perfect central extension occurs in F4(C) or E6(C) are: via G2: Alt5, Alt6, L(2,7), L(2,8), L(2,13), U(3,3), via F4: Alt7, Alt8, Alt9, L(2,17), L(2,25), L(2,27), L(3,3), 3 D 4 ( 2 ), U(4,2), O(7,2), O+(8,2), via E6: Alt10, Alt11, L(2, 11), L(2,19), L(3,4), U(4,3), 2 F 4 ( 2 ) ′ , M11, J2. This list has been found using the classification of the finite simple groups. On the basis of this list, the finite Lie primitive subgroups are found to be either the normalizers of one of these subgroups or of one of the two elementary abelian 3-groups found by Alekseevskii. 1991 Mathematics Subject Classification: 20K47, 20G40, 17B45, 20C10.