In group theory, a **quotient group** (or factor group) is a way of constructing a new group from an existing group by partitioning it into disjoint subsets, called cosets, that are determined by a normal subgroup. Here's how it works, step by step: 1. **Group**: Let \( G \) be a group, which is a set equipped with a binary operation satisfying the group axioms (closure, associativity, identity element, and inverses).

Articles by others on the same topic (1)