Conway group:Co0

Definition
This group, denoted $$\operatorname{Co}_0$$ or $$2 \cdot \operatorname{Co}_1$$, is defined in the following equivalent ways:


 * 1) It is the automorphism group of the Leech lattice.
 * 2) It is the Schur covering group (specifically, it is a double cover) of Conway group:Co1.

Its center is cyclic group:Z2 and the inner automorphism group is Conway group:Co1.

GAP implementation
The group itself is too large to be constructed, stored and manipulated in GAP. However, information about its linear representation theory and character table is stored under the symbol "2.Co1" -- for more on this, see Linear representation theory of Conway group:Co0.