Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$\\$

  • A normal subgroup $N$ is a subgroup where the left cosets are the same as the right cosets. $N$ is normal $\iff $ $xnx^{-1} \in N, \forall x\in G$.

    5.) Why is it that if $[G:H]=2 \implies $ $H$ is normal subgroup?

    6.) Can we say that a factor group is just a group that has left cosets of $N$ (being a normal subgroup) as its elements? So if $N$ is a normal subgroup, then the left cosets of $N$ forms a group under coset multiplication given by $aNbN = abN$.

    7.) The group of left cosets of $N$ in $G$ is called the factor group, why do we denote this by $G/N$? These are the same things as the integers modulo $n$ groups? How can I relate those exactly?

share|improve this question
    
this is called factor group because it has many properites like factors and integers ! ex : the third isomorphism theory , and some properites of direct product and it's factor groups , i think this is the reason ! –  Maths Lover Jun 14 '13 at 21:37
add comment

3 Answers

up vote 6 down vote accepted

$(5)$ If $\;[G:H] = 2,\,$ then by definition of the index of $H$ in $G$, there exists exactly two distinct left cosets: $H$ and $gH$, for $g \in G \setminus H.\;$ Now, for $g\in G\setminus H$, the right coset $Hg \neq H$. We know the left cosets of $H$ partition $G$, as do the right cosets of $G$. It follows, necessarily, that $gH=G\setminus H=Hg$, so any left coset is also a right coset in any subgroup of index $2$

For $(6)$: Yes, indeed. Spot on.

$(7)$ Yes, the usual notation for the factor group (also sometimes called a quotient group) is $G/N$. The integers modulo $n = \mathbb{Z}/n\mathbb{Z}\,$ which is simply a particular example of such a group, where the group $G = \mathbb Z$ and $N = \mathbb n\mathbb Z$.

share|improve this answer
add comment

For 5: We have two left cosets, $H$ and $xH\ne H$. We have two right cosets, $H$ and $Hy$. Since $Hy$ is disjoint from $H$, it must be $xH$, thus left and right cosets of $H$ are the same.

share|improve this answer
add comment

The choice of numbering seems curious. For 7, looking at the integers (mod n) is the special case where $G = (\mathbb{Z},+)$ and $N$ is the additive subgroup $n\mathbb{Z}.$ The analogy is somewhat obscured by the fact that the group operation is addition with integers (mod $n$) and in the general case the operation is usually multiplication (or just juxtaposition). Also, in the special case, the whole group is Abelian which makes the construction much more straightforward than the general case.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.