- Group G
- Subgroup SG
- Group Homomorphism GH
- Direct Product GDP
- Conjugation CONJ
- Index IDX
- Lagrange's Theorem LAG
- Normal Subgroup NSG
- Quotient Group QG
- Generated Subgroup GEN
- Period PRD
- Symmetric Group SYMG
- Cayley's Theorem CAY
- Parity of Permutation PAR
- Alternating Group ALTG
- Ordered Group OG