Double cover of symmetric group:S5 of plus type

Definition
This group is defined as the member of family::double cover of symmetric group of "+" type for defining ingredient::symmetric group:S5, and is denoted $$2 \cdot S_5^+$$. In particular, it is one of the two stem extensions where the base normal subgroup is cyclic group:Z2 and the quotient group is symmetric group:S5.