A Computer-Free Construction of J4

Define a finite simple group J to be of J4-type (or simply J4) provided that J contains an involution z with The purpose of this paper is to give the first computer-free construction of a group of J4 type. In addition, we achieve yet another uniqueness proof for groups of J4 type via the simple connectedness of the 2-local geometry of such a group.