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
Ultimate explanation: math.stackexchange.com/questions/776039/intuition-behind-normal-subgroups/3732426#3732426
Does not have to be isomorphic to a subgroup:
This is one of the reasons why the analogy between simple groups of finite groups and prime numbers is limited.