Quotient group

From Maths
Jump to: navigation, search
Stub grade: A*
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
I cannot believe this page doesn't exist yet! I'm sure I did the work for it! Check all this, read it again, demote priority as needed


Let [ilmath](G,\times)[/ilmath] be a group. Let [ilmath]H\subseteq G[/ilmath] be a normal subgroup of [ilmath]G[/ilmath]. Then:

We denote this new group [ilmath]\frac{G}{H} [/ilmath] or [ilmath]G/H[/ilmath].

With it we also get a group homomorphism called the canonical projection of the quotient group:

  • [ilmath]\pi:G\rightarrow\frac{G}{H} [/ilmath] given by [ilmath]\pi:g\rightarrow [g][/ilmath] where [ilmath][g][/ilmath] denotes the coset containing [ilmath]g[/ilmath].

Caution:This requires some work, why must the cosets of [ilmath]H[/ilmath] in [ilmath]G[/ilmath] partition [ilmath]G[/ilmath]?

See also


  1. Let [ilmath]A\subseteq G[/ilmath] be an arbitrary subset of a group [ilmath](G,\times)[/ilmath] and let [ilmath]g\in G[/ilmath] be given. Then:
    • [ilmath]g\times A:=\{g\times a\ \vert\ a\in A\}[/ilmath]
    By itself this isn't very interesting.