Executive summary
Relabelling a structure can change the names of its elements without changing the structure itself. The source turns this observation into conjugation: x ↦ axa^-1. A subgroup that remains fixed under every such internal relabelling is normal. Normality is precisely the condition needed for cosets to multiply consistently, allowing the cosets to form a quotient group. This sequence—conjugation, invariant subgroup, quotient—is one of the core structural mechanisms used later to analyse kernels, commutators and soluble groups.
What this handbook page teaches
- Compute conjugates and understand them as structure-preserving relabellings.
- Test normality using conjugation or equality of left and right cosets.
- Recognise automatic normality in commutative groups and index-two subgroups.
- Construct a quotient group from cosets of a normal subgroup.
- Use quotient groups to compress internal detail while retaining a valid group operation.
Core concepts
Conjugation as internal relabelling
Fix a∈G. The map x↦axa^-1 is an isomorphism from the group to itself. It preserves products because a(xy)a^-1=(axa^-1)(aya^-1). Such a map is an internal automorphism. In a symmetry group it corresponds to changing a labelling or frame and then expressing the same structural action in the new labels.
Conjugate elements have the same order. More generally, conjugation maps subgroups to subgroups. Some subgroups move to different subgroups under this operation; the ones that never move are the normal subgroups.
Normality
A subgroup N is normal when gng^-1∈N for every g∈G and n∈N. Equivalently, gN=Ng for every g. In a commutative group this is automatic because conjugation does nothing. A subgroup of index two is also normal because there is only one coset outside it, forcing the left and right partitions to coincide.
Normality is stronger than merely being a subgroup. A subgroup can be normal inside an intermediate subgroup but fail to be normal in the full group. Always specify the ambient group when making a normality claim.
Quotient groups
When N is normal, multiply two cosets by choosing representatives: (gN)(hN)=(gh)N. Normality ensures that choosing different representatives gives the same resulting coset. The cosets therefore satisfy the group axioms and form the quotient G/N.
For finite groups, |G/N|=|G|/|N|. The quotient treats all elements differing by an element of N as equivalent. It can be viewed as the coarse structure remaining after the internal behaviour encoded by N is ignored.
Working method
Use the following sequence as a repeatable analysis workflow. The steps are ordered to separate definitions and admissibility checks from structural conclusions, so a result can be audited without relying on intuition or an unverified diagram.
- To analyse a subgroup
N, first verify it is a subgroup; normality is a second question. - Use the most efficient normality test available: direct conjugation, equality
gN=Ng, commutativity, kernel status, or index two. - When forming cosets, identify the complete partition before defining multiplication.
- Check that representative choice does not affect coset products. This is where normality enters.
- Build the quotient multiplication table using coset representatives, then simplify the structure up to isomorphism.
- Interpret the quotient as information retained after collapsing each coset to one element, and relate its structure back to the original group.
Quotienting a four-coset partition
Suppose a group G has a normal two-element subgroup N={e,c} and eight elements in total. The cosets have two elements each, so G/N has four elements. Choose coset representatives e,a,b,d. Multiplication in the quotient is performed as (aN)(bN)=(ab)N.
If alternative representatives ac and bc are chosen, then (ac)(bc) must land in the same coset as ab. Normality guarantees this independence. Without it, the proposed coset multiplication could depend on the representatives and would not define an operation.
Once the four-coset multiplication table is known, compare element orders and commutativity to familiar four-element groups. This illustrates why quotient groups are identified structurally rather than by the original names of their members.
Technical reasoning and deeper connections
Conjugation is a systematic way to test whether a property depends on arbitrary labelling. A normal subgroup survives all internal changes of frame, so it represents a structurally distinguished part of the group. That invariance is why normal subgroups are the correct objects to collapse.
The equivalence between normality and equality of left and right cosets links the geometric idea of invariance to the algebraic requirement for well-defined quotient multiplication. This equivalence is worth understanding in both directions rather than memorising as an isolated criterion.
Quotients appear repeatedly in solubility arguments. If a normal subgroup and the corresponding quotient are both soluble, then the whole group is soluble. Conversely, quotients of soluble groups remain soluble. The quotient therefore measures layers of group complexity.
Kernels of homomorphisms are automatically normal, and every surjective homomorphism produces a quotient isomorphic to its image after dividing by the kernel. This makes quotient groups much more than an abstract construction: they are the natural language of information loss under structure-preserving maps.
Quick-reference matrix
| Criterion | Normality conclusion | Reason |
|---|---|---|
G commutative | Every subgroup normal | Conjugation is trivial. |
Index of N is 2 | N normal | Only one outside coset exists. |
N=ker φ | N normal | Kernel is invariant under conjugation. |
gN=Ng for all g | N normal | Left and right partitions coincide. |
| Direct conjugation closure | gNg^-1=N | Definition of invariance. |
Common mistakes
- Testing normality before verifying subgroup status.
- Checking conjugation by only one convenient group element when more generators are required.
- Assuming every subgroup of a normal subgroup is normal in the whole group.
- Trying to form a quotient group from an arbitrary non-normal subgroup.
- Multiplying cosets element-by-element without first proving representative independence.
- Confusing the quotient's elements with original group elements; quotient elements are cosets.
Verification checklist
Before accepting a solution or proof, confirm each item below. These checks are intentionally practical: they catch the most common category errors, missing hypotheses and structure mismatches.
- Ambient group and candidate normal subgroup are both explicit.
- Normality is justified using a valid criterion.
- Left and right coset notation is not mixed.
- Coset multiplication is shown to be well defined.
- Quotient order matches the number of cosets.
- Any claimed quotient isomorphism is checked through structural properties or an explicit map.
Frequently asked questions
Why is normality needed for quotients?
It ensures the product of two cosets is independent of which representatives are chosen.
Are all subgroups normal in a cyclic group?
Yes, because cyclic groups are commutative.
Does a quotient lose information?
Yes. Elements in the same normal-subgroup coset become indistinguishable. The quotient retains only the coarser structure.
Can a group be reconstructed from a normal subgroup and its quotient?
Not uniquely in general. Different groups can have isomorphic normal subgroups and isomorphic quotients but different extension structures.
Source basis: this page is a handbook-style synthesis of the uploaded mathematics source, principally sections 1.9, 1.10, 1.11. It paraphrases the supplied material and does not reproduce source artwork or long source passages. Historical names, publisher details and personal details have been intentionally omitted.