How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced — the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted — a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated — a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The canonical projection , , is a surjective group homomorphism
Statement
Let . The canonical projection
is a surjective group homomorphism.
Facts & Assumptions
Given: A group , a normal subgroup , and the quotient group .
The quotient product is (For , the cosets form a group with identity and inverse ).
A group homomorphism satisfies for all (Monoid homomorphism and group homomorphism).
A function is surjective if every equals for some (Injection, surjection, bijection).
Every left coset of has the form for a representative (Left and right cosets and of a subgroup).
Proof
For , one has , so is a group homomorphism.
Every element of is a coset for some , so is surjective.
Hence the canonical projection is a surjective group homomorphism.
Depends on
Used by
- A subgroup is normal if and only if it is the kernel of a group homomorphism Corollary
- The abelianisation Gᵃᵇ:=G/[G,G] and its canonical map Definition
- The canonical map M→ M/N is a surjective module homomorphism with kernel N; thus every submodule is a kernel Proposition
- The canonical projection R→ R/I is a surjective ring homomorphism with kernel I Proposition
- A homomorphism that kills a normal subgroup factors uniquely through the quotient group Theorem
- Correspondence theorem: subgroups of G/N correspond to subgroups of G containing N, with normality preserved Theorem
- If [G:H]=n<∞, then Core_G(H) is normal in G, [G:Core_G(H)]∣ n!, and only finitely many subgroups contain H Theorem
- Second isomorphism theorem for groups: H/(H∩ N)≅ HN/N Theorem
- Third isomorphism theorem for groups: (G/K)/(N/K)≅ G/N Theorem
- Two finite presentations define isomorphic groups if and only if a finite sequence of Tietze transformations and inverses connects them Theorem
- Von Dyck's theorem: maps of generators that satisfy the relators extend uniquely from a presented group Theorem
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 27 results over 17 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.
Sources
- Ernst, An Inquiry-Based Approach to Abstract Algebra, Quotients of Groups (standard reference, not scraped)