Uniqueness via Universal Property

Intro to Proofs · Axiom Academy

EXAMPLE Uniqueness via Universal Property Prove the quotient group is unique up to isomorphism using only its characterizing property — never its construction. Let G be a group with normal subgroup . Suppose two groups Q_1 and Q_2 each serve as "the quotient of G by N " — each comes with a surjective projection and satisfying the universal property below. Prove that , and that the isomorphism between them is the only one compatible with the projections. For every homomorphism with , there exists a unique homomorphism with . (Existence gives a map; the uniqueness clause is what drives this whole proof.) Both triangles commute: π₂ = f ∘ π₁ and π₁ = g ∘ π₂. Uniqueness forces g ∘ f = id and f ∘ g = id, so f and g are mutually inverse — and Q₁ ≅ Q₂. You proved without ever constructing a quotient. Here is what carried the argument: The property characterizes the object: we never mentioned cosets or equivalence classes — only the universal property of G/N . Uniqueness is the engine: the "unique " clause is exactly what forces and . The pattern is reusable: apply the property in both directions, then collapse each round-trip to the identity by uniqueness. Construction-independent: any two objects satisfying the same universal property are uniquely isomorphic — products, kernels, limits, and colimits all work this way. This is the universal-property style of proof at the heart of modern algebra and category theory: characterize, don't construct.

This is the written version of the interactive lesson above. See the full Intro to Proofs course.