Group Operations
- Abelianization
- Butterfly Lemma
- Conjugation
- Direct Summand
- Effective Action
- External Tensor Product
- Faithful Group Action
- Free Action
- Free Product
- Freely
- Group Action
- Group Algebra
- Group Direct Product
- Group Direct Sum
- Group Extension
- Group Homomorphism
- Group Set
- Group Upper Central Series
- Inner Automorphism
- Inverse
- Left Inverse
- Natural Homomorphism
- Natural Projection
- Outer Automorphism
- Proper Group Action
- Representation Tensor Product
- Right Inverse
- Transitive Group Action
- Zero Map