Definition

Quotient Group

Lie Groups and Lie Algebras · lie-groups.tex

Let $N \trianglelefteq G$ be a normal subgroup (Definition~Subgroup and Normal Subgroup). The quotient group $G/N$ is the set of left cosets $\{ gN \mid g \in G \}$ equipped with the operation $(aN)(bN) := (ab)N$.

Depends on

Subgroup and Normal Subgroup

Used in

First Isomorphism Theorem
Orbit-Stabilizer Theorem

Dependency Graph

flowchart LR classDef current fill:#6366f1,color:#fff,stroke:#4f46e5 n3d67b716["Subgroup and Normal Subgroup"] n4ceac839["Quotient Group"]:::current n856a1ed3["First Isomorphism Theorem"] n28571139["Orbit-Stabilizer Theorem"] n3d67b716 --> n4ceac839 n4ceac839 --> n856a1ed3 n4ceac839 --> n28571139 click n3d67b716 "../objects/3d67b716.html" "_self" click n856a1ed3 "../objects/856a1ed3.html" "_self" click n28571139 "../objects/28571139.html" "_self"