# Quotient group

From Maths

Revision as of 20:15, 23 October 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A*|msg=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}} ==Definition=...")

**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

## Contents

## Definition

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

- the cosets of [ilmath]H[/ilmath] in [ilmath]G[/ilmath] form a group whose operation is the group operation on subsets
^{[Note 1]}

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

## Notes

- ↑ 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]