1
$\begingroup$

How do I go about doing this? I know that the definition of a quotient group is that it is the set of left cosets (aH) equipped with the following opeation:

$ (aH)(bH) = (ab)H $

Where the identity is $(1_G \cdot H) = H$.

How do I construct the group from here though? Or is this all the question is asking?

  • 0
    I'd erase that second question about orbit, which isn't related at all to the first one, and would open a second thread for it.2012-12-07

2 Answers 2

3

You need to make (state) the connection between the hypothesis that $H\unlhd G$ and the conclusion that your $H/G$ is indeed a quotient group.

$(aH)(bH) = (ab)H, \;\text {where the identity is}\;\; (1_G \cdot H) = H$

You've got the pieces; you just need to connect them and verify that you do have a quotient group.

That is, simply verify that $(aH)(bH) = abH$ is well-defined, and that the operation defines a "group structure", to show that it is indeed a group.

This is easily established using the premise that $H\unlhd G$. For any old subgroup $H$ of $G$, it does not necessarily hold that $(aH)(bH) = abH,\;\; a, b \in G.\;\;$ It holds iff $H\unlhd G.$

Note: If you haven't learned that left coset multiplication on a subgroup $H$ is well defined if and only if $H$ is a normal subgroup of a group $G$, you should prove that. And if you haven't learned that the left (right) cosets of a normal subgroup $H$ of $G$ form a group $G/H$, then you need to prove that as well.

  • 1
    Yes, given that $H\unlhd G$, you know that $aHbH = abH$, which satisfies one requirement of a quotient group. Likewise, you know that $(1_G\cdot H = H)$. Hence, G/H is your desired quotient group!2012-12-07
2

That's is, you've constructed it! Now prove

(1) the operation is well defined, meaning

$aH=a'H\,\,,\,\,\,bH=b'H\Longrightarrow (ab)H=(a'b')H$

and

(2) the operation actually gives you a group structure on the set of (left or right, it doesn't matter) cosets of H.

  • 0
    @Thanks, Don. Yes, it comes later.2012-12-07