Equivalent definitions of normal subgroups
$begingroup$
Those 5 Statements are all equivalent to the Statement that $H$ is a normal subgroup of $G$:
$(1) forall g in G, hin H$ we have $ghg^{-1} in H$
$(2) forall g in G, gHg^{-1} subseteq H$
$(3) forall g in G, gH = Hg$
$(4)$ Every right coset of $H$ is a left coset
$(5) H$ is the kernel of a homomorphism of $G$ to some other Group
In class we used the Definition 3 can someone explain me why 3 and 1 are equivalent?
Edit: It would be convenient to show the equivalence of all 5 statements
abstract-algebra group-theory
$endgroup$
|
show 1 more comment
$begingroup$
Those 5 Statements are all equivalent to the Statement that $H$ is a normal subgroup of $G$:
$(1) forall g in G, hin H$ we have $ghg^{-1} in H$
$(2) forall g in G, gHg^{-1} subseteq H$
$(3) forall g in G, gH = Hg$
$(4)$ Every right coset of $H$ is a left coset
$(5) H$ is the kernel of a homomorphism of $G$ to some other Group
In class we used the Definition 3 can someone explain me why 3 and 1 are equivalent?
Edit: It would be convenient to show the equivalence of all 5 statements
abstract-algebra group-theory
$endgroup$
4
$begingroup$
Try to prove it on your own... It is not that hard!
$endgroup$
– TheGeekGreek
Dec 17 '18 at 13:34
1
$begingroup$
Welcome to Math.SE! Did you try searching this online? Please see if ProofWiki helps.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Dec 17 '18 at 13:36
1
$begingroup$
May be you can see the prove in book "Topics in Algebra" (I. N. Herstein). In that book, (1) is definition and (3) is lemma. If you have 2nd edition then you can see in page 50 and page 51.
$endgroup$
– AfroditDione142
Dec 17 '18 at 20:13
$begingroup$
@RM777: Check out "A Course in Group Theory" by J. F. Humphreys (ISBN 0198534590). It is basic and comprehensive.
$endgroup$
– Moritz
Dec 18 '18 at 18:33
1
$begingroup$
(Also, engage with the existing answer. Its rude to simply ignore it and ask for more answers. Certainly I would be unwilling to put in any effort here if you are just going to ignore the existing, fine answer!)
$endgroup$
– user1729
Feb 5 at 12:24
|
show 1 more comment
$begingroup$
Those 5 Statements are all equivalent to the Statement that $H$ is a normal subgroup of $G$:
$(1) forall g in G, hin H$ we have $ghg^{-1} in H$
$(2) forall g in G, gHg^{-1} subseteq H$
$(3) forall g in G, gH = Hg$
$(4)$ Every right coset of $H$ is a left coset
$(5) H$ is the kernel of a homomorphism of $G$ to some other Group
In class we used the Definition 3 can someone explain me why 3 and 1 are equivalent?
Edit: It would be convenient to show the equivalence of all 5 statements
abstract-algebra group-theory
$endgroup$
Those 5 Statements are all equivalent to the Statement that $H$ is a normal subgroup of $G$:
$(1) forall g in G, hin H$ we have $ghg^{-1} in H$
$(2) forall g in G, gHg^{-1} subseteq H$
$(3) forall g in G, gH = Hg$
$(4)$ Every right coset of $H$ is a left coset
$(5) H$ is the kernel of a homomorphism of $G$ to some other Group
In class we used the Definition 3 can someone explain me why 3 and 1 are equivalent?
Edit: It would be convenient to show the equivalence of all 5 statements
abstract-algebra group-theory
abstract-algebra group-theory
edited Jan 31 at 21:21
RM777
asked Dec 17 '18 at 13:26
RM777RM777
37812
37812
4
$begingroup$
Try to prove it on your own... It is not that hard!
$endgroup$
– TheGeekGreek
Dec 17 '18 at 13:34
1
$begingroup$
Welcome to Math.SE! Did you try searching this online? Please see if ProofWiki helps.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Dec 17 '18 at 13:36
1
$begingroup$
May be you can see the prove in book "Topics in Algebra" (I. N. Herstein). In that book, (1) is definition and (3) is lemma. If you have 2nd edition then you can see in page 50 and page 51.
$endgroup$
– AfroditDione142
Dec 17 '18 at 20:13
$begingroup$
@RM777: Check out "A Course in Group Theory" by J. F. Humphreys (ISBN 0198534590). It is basic and comprehensive.
$endgroup$
– Moritz
Dec 18 '18 at 18:33
1
$begingroup$
(Also, engage with the existing answer. Its rude to simply ignore it and ask for more answers. Certainly I would be unwilling to put in any effort here if you are just going to ignore the existing, fine answer!)
$endgroup$
– user1729
Feb 5 at 12:24
|
show 1 more comment
4
$begingroup$
Try to prove it on your own... It is not that hard!
$endgroup$
– TheGeekGreek
Dec 17 '18 at 13:34
1
$begingroup$
Welcome to Math.SE! Did you try searching this online? Please see if ProofWiki helps.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Dec 17 '18 at 13:36
1
$begingroup$
May be you can see the prove in book "Topics in Algebra" (I. N. Herstein). In that book, (1) is definition and (3) is lemma. If you have 2nd edition then you can see in page 50 and page 51.
$endgroup$
– AfroditDione142
Dec 17 '18 at 20:13
$begingroup$
@RM777: Check out "A Course in Group Theory" by J. F. Humphreys (ISBN 0198534590). It is basic and comprehensive.
$endgroup$
– Moritz
Dec 18 '18 at 18:33
1
$begingroup$
(Also, engage with the existing answer. Its rude to simply ignore it and ask for more answers. Certainly I would be unwilling to put in any effort here if you are just going to ignore the existing, fine answer!)
$endgroup$
– user1729
Feb 5 at 12:24
4
4
$begingroup$
Try to prove it on your own... It is not that hard!
$endgroup$
– TheGeekGreek
Dec 17 '18 at 13:34
$begingroup$
Try to prove it on your own... It is not that hard!
$endgroup$
– TheGeekGreek
Dec 17 '18 at 13:34
1
1
$begingroup$
Welcome to Math.SE! Did you try searching this online? Please see if ProofWiki helps.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Dec 17 '18 at 13:36
$begingroup$
Welcome to Math.SE! Did you try searching this online? Please see if ProofWiki helps.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Dec 17 '18 at 13:36
1
1
$begingroup$
May be you can see the prove in book "Topics in Algebra" (I. N. Herstein). In that book, (1) is definition and (3) is lemma. If you have 2nd edition then you can see in page 50 and page 51.
$endgroup$
– AfroditDione142
Dec 17 '18 at 20:13
$begingroup$
May be you can see the prove in book "Topics in Algebra" (I. N. Herstein). In that book, (1) is definition and (3) is lemma. If you have 2nd edition then you can see in page 50 and page 51.
$endgroup$
– AfroditDione142
Dec 17 '18 at 20:13
$begingroup$
@RM777: Check out "A Course in Group Theory" by J. F. Humphreys (ISBN 0198534590). It is basic and comprehensive.
$endgroup$
– Moritz
Dec 18 '18 at 18:33
$begingroup$
@RM777: Check out "A Course in Group Theory" by J. F. Humphreys (ISBN 0198534590). It is basic and comprehensive.
$endgroup$
– Moritz
Dec 18 '18 at 18:33
1
1
$begingroup$
(Also, engage with the existing answer. Its rude to simply ignore it and ask for more answers. Certainly I would be unwilling to put in any effort here if you are just going to ignore the existing, fine answer!)
$endgroup$
– user1729
Feb 5 at 12:24
$begingroup$
(Also, engage with the existing answer. Its rude to simply ignore it and ask for more answers. Certainly I would be unwilling to put in any effort here if you are just going to ignore the existing, fine answer!)
$endgroup$
– user1729
Feb 5 at 12:24
|
show 1 more comment
3 Answers
3
active
oldest
votes
$begingroup$
Assume (4).
We first show
(4) $Longrightarrow$ (3).
Proof. Let $g in G$. Since every right coset of $H$ is a left coset, there exists a $b in G$ such that $Hg=bH$. Clearly, it is $g in Hg=bH$ and so $g^{-1}b in H$. From this it follows
$$Hg=(gg^{-1})(bH)=g((g^{-1}b)H)=gH$$
which shows (3).
So from now, we use the fact that $gH=Hg$ for every $g in G$. Now we proof (4) $Longrightarrow$ (5). First we show
If $aH neq bH$, then $aH cap bH=emptyset$.
Proof. We show: If $aH cap bH neq emptyset$, then $aH=bH$. Especially, it then follows
$$b in aH Longrightarrow aH=bH.$$
So let $g in aH cap bH$, i. e. $g=ak$ with $k in H$ and $g=bl$ with $l in H$. Then we have for every $h in H$ that $ah=blk^{-1}h in bH$, so $aH subseteq bH$. In the same way it follows $bH subseteq aH$ and so the claim.
The proof that "$sim$" is an equivalence relation you can read here.
Next we show
$G$ is the disjoint union of its left cosets (right cosets).
Proof. Since every $a in G$ is an element of the left coset $aH$ (right coset $Ha$), $G$ is the union of its cosets. Since our preceding result, this union is disjoint.
We are now ready to state our final result, which proofs (5). In the following, $G/H={aH: a in G}$ denotes the set of left cosets of $H$ and ker denotes the kernel of a homomorphism.
If $G$ is a group and $H$ is a normal subgroup of $G$, then $G/H$ is a group with respect to the multiplication $$aH cdot bH :=abH$$ and $$varphi: G longrightarrow G/H, a longmapsto aH$$ is a surjective group homomorphism such that $operatorname{ker}(varphi)=H$.
Proof. At first we have to show that the multiplication if well-defined, i. e. $abH=a'b'H$ for all $a,a',b,b' in G$ such that $aH=a'H$ and $bH=b'H$. Let $a'=ah$ and $b'=bk$ with $h,k in H$. Since $H$ is a normal subgroup of $G$, there exists an $h' in H$ such that $hb=bh'$. It follows
$$a'b'H=ahbkH=abh'hH=abH.$$
Now we show that "$cdot$" is associative. This is very clear, since
$$(aH cdot bH)cdot cH=abH cdot cH=abcH=aH cdot (bcH)=aH cdot (bH cdot cH)$$
holds for every $aH, bH, cH in G/H$. It is $eH=H in G/H$ the neutral element because
$$eH cdot aH=eaH=aH=aeH= aH cdot eH$$
works vor every $aH in G/H$. The inverse of an $aH in G/H$ is $a^{-1}H in G/H$ since we have
$$aH cdot a^{-1}H=aa^{-1}H=eH=H=eH=a^{-1}aH=a^{-1}H cdot aH$$
for every $aH in G/H$. So we have shown that $G/H$ is a group. Next we show that $varphi$ is a group homomorphism. For every $a,b in G$ we have
$$varphi(ab)=abH=aH cdot bH=varphi(a)varphi(b).$$
Because of $varphi(a)=aH$, $varphi$ is clearly surjective. Finally we have to show that $operatorname{ker}(varphi)=H$. This follows from
$$ a in operatorname{ker}(varphi) Longleftrightarrow varphi(a)=eH Longleftrightarrow aH=eH Longleftrightarrow a in H.$$
Remark. $G/H$ is called the quotient group of $G$ by $H$.
Now it remains to show (5) $Longrightarrow$ (1).
Let $G,G'$ be groups and $varphi: G longrightarrow G'$ be a group homomorphism. Define $H:=operatorname{ker}(varphi)$. Then $ghg^{-1} in H$ for all $g in G$ and $h in H$.
Proof. Let $gh in gH$ with $h in H$. Then it follows
$$varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(g)varphi(g^{-1})=e_{G'},$$
so $ghg^{-1} in H$.
$endgroup$
add a comment |
$begingroup$
Assume $(1)$ and let $g in G$.
Take an arbitrary $gh in gH$ for $h in H$. Using $(1)$ we get $ghg^{-1} in H$ so $exists h' in H$ such that $ghg^{-1} = h'$. This means $gh = h'g in Hg$. Since $gh in gH$ was arbitrary, we conclude $gH subseteq Hg$.
To show the converse inclusion, take an arbitrary $hg in Hg$ for $h in H$. Then $g^{-1}h in g^{-1}H subseteq Hg^{-1}$ so $exists h' in H$ such that $g^{-1}h = h'g^{-1}$. Mulyiplying this with $g$ from both sides yields $hg = gh' in gH$. Therefore $Hg subseteq gH$.
Since $g in G$ was arbitrary, $(3)$ follows.
Assume $(3)$ and let $g in G, h in H$ be arbitrary.
Since $(3)$ holds, we have $gh in gH = Hg$ so $exists h' in H$ such that $gh = h'g$. Multiplying by $g^{-1}$ from the right yields $ghg^{-1} in H$. Thus $(1)$ holds.
$endgroup$
add a comment |
$begingroup$
Theorem. Let $G$ be a group and $H$ a subgroup of $G$. The following conditions are equivalent
(1) $forall g in G$, $hin H$, we have $ghg^{-1} in H$
(2) $forall g in G$, $gHg^{-1} subseteq H$
(3) $forall g in G, gH = Hg$
(4) Every right coset of $H$ is a left coset
(5) $H$ is the kernel of a homomorphism of $G$ to some other group
Proof. (1)$implies$(2) Obvious.
(2)$implies$(3) Let $hin H$. Then $ghg^{-1}in H$, so $ghin Hg$; therefore $gHsubseteq Hg$. Also $g^{-1}hgin H$, and therefore $hgin gH$; therefore $Hgsubseteq Hg$.
(3)$implies$(4) Obvious.
(4)$implies$(1) Since distinct left cosets are disjoint, if $gH=Hg'$, then both sets contain $g$; therefore $Hg'=Hg$. If $gin G$ and $hin H$, then $gh=h'g$, for some $h'in H$, so $ghg^{-1}=h'gg^{-1}=h'in H$.
(5)$implies$(1) Let $varphicolon Gto G'$ be a homomorphism with kernel $H$; if $gin G$ and $hin H$, then $varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(gg^{-1})=1$, so $ghg^{-1}inkervarphi=H$.
(1)$implies$(5) Once we prove that the operation $(xH)(yH)=(xy)H$ on the set of left cosets is well defined, then it obviously defines a group structure, with $xmapsto xH$ being a homomorphism with kernel $H$.
Let $xH=x_1H$ and $yH=y_1H$; we want to show that $xyH=x_1y_1H$. By symmetry, we just need to show that $xyHsubseteq x_1y_1H$. Let $hin H$. Then, denoting by $h_1$ and $h_2$ suitable elements of $H$, we have
$$
xyh=xy_1h_1=xunderbrace{(y_1h_1y_1^{-1})}_{in H}y_1=x_1h_2y_1
=x_1y_1underbrace{(y_1^{-1}h_2y_1)}_{in H}in x_1y_1H
$$
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3043931%2fequivalent-definitions-of-normal-subgroups%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Assume (4).
We first show
(4) $Longrightarrow$ (3).
Proof. Let $g in G$. Since every right coset of $H$ is a left coset, there exists a $b in G$ such that $Hg=bH$. Clearly, it is $g in Hg=bH$ and so $g^{-1}b in H$. From this it follows
$$Hg=(gg^{-1})(bH)=g((g^{-1}b)H)=gH$$
which shows (3).
So from now, we use the fact that $gH=Hg$ for every $g in G$. Now we proof (4) $Longrightarrow$ (5). First we show
If $aH neq bH$, then $aH cap bH=emptyset$.
Proof. We show: If $aH cap bH neq emptyset$, then $aH=bH$. Especially, it then follows
$$b in aH Longrightarrow aH=bH.$$
So let $g in aH cap bH$, i. e. $g=ak$ with $k in H$ and $g=bl$ with $l in H$. Then we have for every $h in H$ that $ah=blk^{-1}h in bH$, so $aH subseteq bH$. In the same way it follows $bH subseteq aH$ and so the claim.
The proof that "$sim$" is an equivalence relation you can read here.
Next we show
$G$ is the disjoint union of its left cosets (right cosets).
Proof. Since every $a in G$ is an element of the left coset $aH$ (right coset $Ha$), $G$ is the union of its cosets. Since our preceding result, this union is disjoint.
We are now ready to state our final result, which proofs (5). In the following, $G/H={aH: a in G}$ denotes the set of left cosets of $H$ and ker denotes the kernel of a homomorphism.
If $G$ is a group and $H$ is a normal subgroup of $G$, then $G/H$ is a group with respect to the multiplication $$aH cdot bH :=abH$$ and $$varphi: G longrightarrow G/H, a longmapsto aH$$ is a surjective group homomorphism such that $operatorname{ker}(varphi)=H$.
Proof. At first we have to show that the multiplication if well-defined, i. e. $abH=a'b'H$ for all $a,a',b,b' in G$ such that $aH=a'H$ and $bH=b'H$. Let $a'=ah$ and $b'=bk$ with $h,k in H$. Since $H$ is a normal subgroup of $G$, there exists an $h' in H$ such that $hb=bh'$. It follows
$$a'b'H=ahbkH=abh'hH=abH.$$
Now we show that "$cdot$" is associative. This is very clear, since
$$(aH cdot bH)cdot cH=abH cdot cH=abcH=aH cdot (bcH)=aH cdot (bH cdot cH)$$
holds for every $aH, bH, cH in G/H$. It is $eH=H in G/H$ the neutral element because
$$eH cdot aH=eaH=aH=aeH= aH cdot eH$$
works vor every $aH in G/H$. The inverse of an $aH in G/H$ is $a^{-1}H in G/H$ since we have
$$aH cdot a^{-1}H=aa^{-1}H=eH=H=eH=a^{-1}aH=a^{-1}H cdot aH$$
for every $aH in G/H$. So we have shown that $G/H$ is a group. Next we show that $varphi$ is a group homomorphism. For every $a,b in G$ we have
$$varphi(ab)=abH=aH cdot bH=varphi(a)varphi(b).$$
Because of $varphi(a)=aH$, $varphi$ is clearly surjective. Finally we have to show that $operatorname{ker}(varphi)=H$. This follows from
$$ a in operatorname{ker}(varphi) Longleftrightarrow varphi(a)=eH Longleftrightarrow aH=eH Longleftrightarrow a in H.$$
Remark. $G/H$ is called the quotient group of $G$ by $H$.
Now it remains to show (5) $Longrightarrow$ (1).
Let $G,G'$ be groups and $varphi: G longrightarrow G'$ be a group homomorphism. Define $H:=operatorname{ker}(varphi)$. Then $ghg^{-1} in H$ for all $g in G$ and $h in H$.
Proof. Let $gh in gH$ with $h in H$. Then it follows
$$varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(g)varphi(g^{-1})=e_{G'},$$
so $ghg^{-1} in H$.
$endgroup$
add a comment |
$begingroup$
Assume (4).
We first show
(4) $Longrightarrow$ (3).
Proof. Let $g in G$. Since every right coset of $H$ is a left coset, there exists a $b in G$ such that $Hg=bH$. Clearly, it is $g in Hg=bH$ and so $g^{-1}b in H$. From this it follows
$$Hg=(gg^{-1})(bH)=g((g^{-1}b)H)=gH$$
which shows (3).
So from now, we use the fact that $gH=Hg$ for every $g in G$. Now we proof (4) $Longrightarrow$ (5). First we show
If $aH neq bH$, then $aH cap bH=emptyset$.
Proof. We show: If $aH cap bH neq emptyset$, then $aH=bH$. Especially, it then follows
$$b in aH Longrightarrow aH=bH.$$
So let $g in aH cap bH$, i. e. $g=ak$ with $k in H$ and $g=bl$ with $l in H$. Then we have for every $h in H$ that $ah=blk^{-1}h in bH$, so $aH subseteq bH$. In the same way it follows $bH subseteq aH$ and so the claim.
The proof that "$sim$" is an equivalence relation you can read here.
Next we show
$G$ is the disjoint union of its left cosets (right cosets).
Proof. Since every $a in G$ is an element of the left coset $aH$ (right coset $Ha$), $G$ is the union of its cosets. Since our preceding result, this union is disjoint.
We are now ready to state our final result, which proofs (5). In the following, $G/H={aH: a in G}$ denotes the set of left cosets of $H$ and ker denotes the kernel of a homomorphism.
If $G$ is a group and $H$ is a normal subgroup of $G$, then $G/H$ is a group with respect to the multiplication $$aH cdot bH :=abH$$ and $$varphi: G longrightarrow G/H, a longmapsto aH$$ is a surjective group homomorphism such that $operatorname{ker}(varphi)=H$.
Proof. At first we have to show that the multiplication if well-defined, i. e. $abH=a'b'H$ for all $a,a',b,b' in G$ such that $aH=a'H$ and $bH=b'H$. Let $a'=ah$ and $b'=bk$ with $h,k in H$. Since $H$ is a normal subgroup of $G$, there exists an $h' in H$ such that $hb=bh'$. It follows
$$a'b'H=ahbkH=abh'hH=abH.$$
Now we show that "$cdot$" is associative. This is very clear, since
$$(aH cdot bH)cdot cH=abH cdot cH=abcH=aH cdot (bcH)=aH cdot (bH cdot cH)$$
holds for every $aH, bH, cH in G/H$. It is $eH=H in G/H$ the neutral element because
$$eH cdot aH=eaH=aH=aeH= aH cdot eH$$
works vor every $aH in G/H$. The inverse of an $aH in G/H$ is $a^{-1}H in G/H$ since we have
$$aH cdot a^{-1}H=aa^{-1}H=eH=H=eH=a^{-1}aH=a^{-1}H cdot aH$$
for every $aH in G/H$. So we have shown that $G/H$ is a group. Next we show that $varphi$ is a group homomorphism. For every $a,b in G$ we have
$$varphi(ab)=abH=aH cdot bH=varphi(a)varphi(b).$$
Because of $varphi(a)=aH$, $varphi$ is clearly surjective. Finally we have to show that $operatorname{ker}(varphi)=H$. This follows from
$$ a in operatorname{ker}(varphi) Longleftrightarrow varphi(a)=eH Longleftrightarrow aH=eH Longleftrightarrow a in H.$$
Remark. $G/H$ is called the quotient group of $G$ by $H$.
Now it remains to show (5) $Longrightarrow$ (1).
Let $G,G'$ be groups and $varphi: G longrightarrow G'$ be a group homomorphism. Define $H:=operatorname{ker}(varphi)$. Then $ghg^{-1} in H$ for all $g in G$ and $h in H$.
Proof. Let $gh in gH$ with $h in H$. Then it follows
$$varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(g)varphi(g^{-1})=e_{G'},$$
so $ghg^{-1} in H$.
$endgroup$
add a comment |
$begingroup$
Assume (4).
We first show
(4) $Longrightarrow$ (3).
Proof. Let $g in G$. Since every right coset of $H$ is a left coset, there exists a $b in G$ such that $Hg=bH$. Clearly, it is $g in Hg=bH$ and so $g^{-1}b in H$. From this it follows
$$Hg=(gg^{-1})(bH)=g((g^{-1}b)H)=gH$$
which shows (3).
So from now, we use the fact that $gH=Hg$ for every $g in G$. Now we proof (4) $Longrightarrow$ (5). First we show
If $aH neq bH$, then $aH cap bH=emptyset$.
Proof. We show: If $aH cap bH neq emptyset$, then $aH=bH$. Especially, it then follows
$$b in aH Longrightarrow aH=bH.$$
So let $g in aH cap bH$, i. e. $g=ak$ with $k in H$ and $g=bl$ with $l in H$. Then we have for every $h in H$ that $ah=blk^{-1}h in bH$, so $aH subseteq bH$. In the same way it follows $bH subseteq aH$ and so the claim.
The proof that "$sim$" is an equivalence relation you can read here.
Next we show
$G$ is the disjoint union of its left cosets (right cosets).
Proof. Since every $a in G$ is an element of the left coset $aH$ (right coset $Ha$), $G$ is the union of its cosets. Since our preceding result, this union is disjoint.
We are now ready to state our final result, which proofs (5). In the following, $G/H={aH: a in G}$ denotes the set of left cosets of $H$ and ker denotes the kernel of a homomorphism.
If $G$ is a group and $H$ is a normal subgroup of $G$, then $G/H$ is a group with respect to the multiplication $$aH cdot bH :=abH$$ and $$varphi: G longrightarrow G/H, a longmapsto aH$$ is a surjective group homomorphism such that $operatorname{ker}(varphi)=H$.
Proof. At first we have to show that the multiplication if well-defined, i. e. $abH=a'b'H$ for all $a,a',b,b' in G$ such that $aH=a'H$ and $bH=b'H$. Let $a'=ah$ and $b'=bk$ with $h,k in H$. Since $H$ is a normal subgroup of $G$, there exists an $h' in H$ such that $hb=bh'$. It follows
$$a'b'H=ahbkH=abh'hH=abH.$$
Now we show that "$cdot$" is associative. This is very clear, since
$$(aH cdot bH)cdot cH=abH cdot cH=abcH=aH cdot (bcH)=aH cdot (bH cdot cH)$$
holds for every $aH, bH, cH in G/H$. It is $eH=H in G/H$ the neutral element because
$$eH cdot aH=eaH=aH=aeH= aH cdot eH$$
works vor every $aH in G/H$. The inverse of an $aH in G/H$ is $a^{-1}H in G/H$ since we have
$$aH cdot a^{-1}H=aa^{-1}H=eH=H=eH=a^{-1}aH=a^{-1}H cdot aH$$
for every $aH in G/H$. So we have shown that $G/H$ is a group. Next we show that $varphi$ is a group homomorphism. For every $a,b in G$ we have
$$varphi(ab)=abH=aH cdot bH=varphi(a)varphi(b).$$
Because of $varphi(a)=aH$, $varphi$ is clearly surjective. Finally we have to show that $operatorname{ker}(varphi)=H$. This follows from
$$ a in operatorname{ker}(varphi) Longleftrightarrow varphi(a)=eH Longleftrightarrow aH=eH Longleftrightarrow a in H.$$
Remark. $G/H$ is called the quotient group of $G$ by $H$.
Now it remains to show (5) $Longrightarrow$ (1).
Let $G,G'$ be groups and $varphi: G longrightarrow G'$ be a group homomorphism. Define $H:=operatorname{ker}(varphi)$. Then $ghg^{-1} in H$ for all $g in G$ and $h in H$.
Proof. Let $gh in gH$ with $h in H$. Then it follows
$$varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(g)varphi(g^{-1})=e_{G'},$$
so $ghg^{-1} in H$.
$endgroup$
Assume (4).
We first show
(4) $Longrightarrow$ (3).
Proof. Let $g in G$. Since every right coset of $H$ is a left coset, there exists a $b in G$ such that $Hg=bH$. Clearly, it is $g in Hg=bH$ and so $g^{-1}b in H$. From this it follows
$$Hg=(gg^{-1})(bH)=g((g^{-1}b)H)=gH$$
which shows (3).
So from now, we use the fact that $gH=Hg$ for every $g in G$. Now we proof (4) $Longrightarrow$ (5). First we show
If $aH neq bH$, then $aH cap bH=emptyset$.
Proof. We show: If $aH cap bH neq emptyset$, then $aH=bH$. Especially, it then follows
$$b in aH Longrightarrow aH=bH.$$
So let $g in aH cap bH$, i. e. $g=ak$ with $k in H$ and $g=bl$ with $l in H$. Then we have for every $h in H$ that $ah=blk^{-1}h in bH$, so $aH subseteq bH$. In the same way it follows $bH subseteq aH$ and so the claim.
The proof that "$sim$" is an equivalence relation you can read here.
Next we show
$G$ is the disjoint union of its left cosets (right cosets).
Proof. Since every $a in G$ is an element of the left coset $aH$ (right coset $Ha$), $G$ is the union of its cosets. Since our preceding result, this union is disjoint.
We are now ready to state our final result, which proofs (5). In the following, $G/H={aH: a in G}$ denotes the set of left cosets of $H$ and ker denotes the kernel of a homomorphism.
If $G$ is a group and $H$ is a normal subgroup of $G$, then $G/H$ is a group with respect to the multiplication $$aH cdot bH :=abH$$ and $$varphi: G longrightarrow G/H, a longmapsto aH$$ is a surjective group homomorphism such that $operatorname{ker}(varphi)=H$.
Proof. At first we have to show that the multiplication if well-defined, i. e. $abH=a'b'H$ for all $a,a',b,b' in G$ such that $aH=a'H$ and $bH=b'H$. Let $a'=ah$ and $b'=bk$ with $h,k in H$. Since $H$ is a normal subgroup of $G$, there exists an $h' in H$ such that $hb=bh'$. It follows
$$a'b'H=ahbkH=abh'hH=abH.$$
Now we show that "$cdot$" is associative. This is very clear, since
$$(aH cdot bH)cdot cH=abH cdot cH=abcH=aH cdot (bcH)=aH cdot (bH cdot cH)$$
holds for every $aH, bH, cH in G/H$. It is $eH=H in G/H$ the neutral element because
$$eH cdot aH=eaH=aH=aeH= aH cdot eH$$
works vor every $aH in G/H$. The inverse of an $aH in G/H$ is $a^{-1}H in G/H$ since we have
$$aH cdot a^{-1}H=aa^{-1}H=eH=H=eH=a^{-1}aH=a^{-1}H cdot aH$$
for every $aH in G/H$. So we have shown that $G/H$ is a group. Next we show that $varphi$ is a group homomorphism. For every $a,b in G$ we have
$$varphi(ab)=abH=aH cdot bH=varphi(a)varphi(b).$$
Because of $varphi(a)=aH$, $varphi$ is clearly surjective. Finally we have to show that $operatorname{ker}(varphi)=H$. This follows from
$$ a in operatorname{ker}(varphi) Longleftrightarrow varphi(a)=eH Longleftrightarrow aH=eH Longleftrightarrow a in H.$$
Remark. $G/H$ is called the quotient group of $G$ by $H$.
Now it remains to show (5) $Longrightarrow$ (1).
Let $G,G'$ be groups and $varphi: G longrightarrow G'$ be a group homomorphism. Define $H:=operatorname{ker}(varphi)$. Then $ghg^{-1} in H$ for all $g in G$ and $h in H$.
Proof. Let $gh in gH$ with $h in H$. Then it follows
$$varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(g)varphi(g^{-1})=e_{G'},$$
so $ghg^{-1} in H$.
edited Feb 5 at 10:02
answered Feb 5 at 9:49
JanJan
513315
513315
add a comment |
add a comment |
$begingroup$
Assume $(1)$ and let $g in G$.
Take an arbitrary $gh in gH$ for $h in H$. Using $(1)$ we get $ghg^{-1} in H$ so $exists h' in H$ such that $ghg^{-1} = h'$. This means $gh = h'g in Hg$. Since $gh in gH$ was arbitrary, we conclude $gH subseteq Hg$.
To show the converse inclusion, take an arbitrary $hg in Hg$ for $h in H$. Then $g^{-1}h in g^{-1}H subseteq Hg^{-1}$ so $exists h' in H$ such that $g^{-1}h = h'g^{-1}$. Mulyiplying this with $g$ from both sides yields $hg = gh' in gH$. Therefore $Hg subseteq gH$.
Since $g in G$ was arbitrary, $(3)$ follows.
Assume $(3)$ and let $g in G, h in H$ be arbitrary.
Since $(3)$ holds, we have $gh in gH = Hg$ so $exists h' in H$ such that $gh = h'g$. Multiplying by $g^{-1}$ from the right yields $ghg^{-1} in H$. Thus $(1)$ holds.
$endgroup$
add a comment |
$begingroup$
Assume $(1)$ and let $g in G$.
Take an arbitrary $gh in gH$ for $h in H$. Using $(1)$ we get $ghg^{-1} in H$ so $exists h' in H$ such that $ghg^{-1} = h'$. This means $gh = h'g in Hg$. Since $gh in gH$ was arbitrary, we conclude $gH subseteq Hg$.
To show the converse inclusion, take an arbitrary $hg in Hg$ for $h in H$. Then $g^{-1}h in g^{-1}H subseteq Hg^{-1}$ so $exists h' in H$ such that $g^{-1}h = h'g^{-1}$. Mulyiplying this with $g$ from both sides yields $hg = gh' in gH$. Therefore $Hg subseteq gH$.
Since $g in G$ was arbitrary, $(3)$ follows.
Assume $(3)$ and let $g in G, h in H$ be arbitrary.
Since $(3)$ holds, we have $gh in gH = Hg$ so $exists h' in H$ such that $gh = h'g$. Multiplying by $g^{-1}$ from the right yields $ghg^{-1} in H$. Thus $(1)$ holds.
$endgroup$
add a comment |
$begingroup$
Assume $(1)$ and let $g in G$.
Take an arbitrary $gh in gH$ for $h in H$. Using $(1)$ we get $ghg^{-1} in H$ so $exists h' in H$ such that $ghg^{-1} = h'$. This means $gh = h'g in Hg$. Since $gh in gH$ was arbitrary, we conclude $gH subseteq Hg$.
To show the converse inclusion, take an arbitrary $hg in Hg$ for $h in H$. Then $g^{-1}h in g^{-1}H subseteq Hg^{-1}$ so $exists h' in H$ such that $g^{-1}h = h'g^{-1}$. Mulyiplying this with $g$ from both sides yields $hg = gh' in gH$. Therefore $Hg subseteq gH$.
Since $g in G$ was arbitrary, $(3)$ follows.
Assume $(3)$ and let $g in G, h in H$ be arbitrary.
Since $(3)$ holds, we have $gh in gH = Hg$ so $exists h' in H$ such that $gh = h'g$. Multiplying by $g^{-1}$ from the right yields $ghg^{-1} in H$. Thus $(1)$ holds.
$endgroup$
Assume $(1)$ and let $g in G$.
Take an arbitrary $gh in gH$ for $h in H$. Using $(1)$ we get $ghg^{-1} in H$ so $exists h' in H$ such that $ghg^{-1} = h'$. This means $gh = h'g in Hg$. Since $gh in gH$ was arbitrary, we conclude $gH subseteq Hg$.
To show the converse inclusion, take an arbitrary $hg in Hg$ for $h in H$. Then $g^{-1}h in g^{-1}H subseteq Hg^{-1}$ so $exists h' in H$ such that $g^{-1}h = h'g^{-1}$. Mulyiplying this with $g$ from both sides yields $hg = gh' in gH$. Therefore $Hg subseteq gH$.
Since $g in G$ was arbitrary, $(3)$ follows.
Assume $(3)$ and let $g in G, h in H$ be arbitrary.
Since $(3)$ holds, we have $gh in gH = Hg$ so $exists h' in H$ such that $gh = h'g$. Multiplying by $g^{-1}$ from the right yields $ghg^{-1} in H$. Thus $(1)$ holds.
answered Dec 17 '18 at 13:41
mechanodroidmechanodroid
27.8k62447
27.8k62447
add a comment |
add a comment |
$begingroup$
Theorem. Let $G$ be a group and $H$ a subgroup of $G$. The following conditions are equivalent
(1) $forall g in G$, $hin H$, we have $ghg^{-1} in H$
(2) $forall g in G$, $gHg^{-1} subseteq H$
(3) $forall g in G, gH = Hg$
(4) Every right coset of $H$ is a left coset
(5) $H$ is the kernel of a homomorphism of $G$ to some other group
Proof. (1)$implies$(2) Obvious.
(2)$implies$(3) Let $hin H$. Then $ghg^{-1}in H$, so $ghin Hg$; therefore $gHsubseteq Hg$. Also $g^{-1}hgin H$, and therefore $hgin gH$; therefore $Hgsubseteq Hg$.
(3)$implies$(4) Obvious.
(4)$implies$(1) Since distinct left cosets are disjoint, if $gH=Hg'$, then both sets contain $g$; therefore $Hg'=Hg$. If $gin G$ and $hin H$, then $gh=h'g$, for some $h'in H$, so $ghg^{-1}=h'gg^{-1}=h'in H$.
(5)$implies$(1) Let $varphicolon Gto G'$ be a homomorphism with kernel $H$; if $gin G$ and $hin H$, then $varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(gg^{-1})=1$, so $ghg^{-1}inkervarphi=H$.
(1)$implies$(5) Once we prove that the operation $(xH)(yH)=(xy)H$ on the set of left cosets is well defined, then it obviously defines a group structure, with $xmapsto xH$ being a homomorphism with kernel $H$.
Let $xH=x_1H$ and $yH=y_1H$; we want to show that $xyH=x_1y_1H$. By symmetry, we just need to show that $xyHsubseteq x_1y_1H$. Let $hin H$. Then, denoting by $h_1$ and $h_2$ suitable elements of $H$, we have
$$
xyh=xy_1h_1=xunderbrace{(y_1h_1y_1^{-1})}_{in H}y_1=x_1h_2y_1
=x_1y_1underbrace{(y_1^{-1}h_2y_1)}_{in H}in x_1y_1H
$$
$endgroup$
add a comment |
$begingroup$
Theorem. Let $G$ be a group and $H$ a subgroup of $G$. The following conditions are equivalent
(1) $forall g in G$, $hin H$, we have $ghg^{-1} in H$
(2) $forall g in G$, $gHg^{-1} subseteq H$
(3) $forall g in G, gH = Hg$
(4) Every right coset of $H$ is a left coset
(5) $H$ is the kernel of a homomorphism of $G$ to some other group
Proof. (1)$implies$(2) Obvious.
(2)$implies$(3) Let $hin H$. Then $ghg^{-1}in H$, so $ghin Hg$; therefore $gHsubseteq Hg$. Also $g^{-1}hgin H$, and therefore $hgin gH$; therefore $Hgsubseteq Hg$.
(3)$implies$(4) Obvious.
(4)$implies$(1) Since distinct left cosets are disjoint, if $gH=Hg'$, then both sets contain $g$; therefore $Hg'=Hg$. If $gin G$ and $hin H$, then $gh=h'g$, for some $h'in H$, so $ghg^{-1}=h'gg^{-1}=h'in H$.
(5)$implies$(1) Let $varphicolon Gto G'$ be a homomorphism with kernel $H$; if $gin G$ and $hin H$, then $varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(gg^{-1})=1$, so $ghg^{-1}inkervarphi=H$.
(1)$implies$(5) Once we prove that the operation $(xH)(yH)=(xy)H$ on the set of left cosets is well defined, then it obviously defines a group structure, with $xmapsto xH$ being a homomorphism with kernel $H$.
Let $xH=x_1H$ and $yH=y_1H$; we want to show that $xyH=x_1y_1H$. By symmetry, we just need to show that $xyHsubseteq x_1y_1H$. Let $hin H$. Then, denoting by $h_1$ and $h_2$ suitable elements of $H$, we have
$$
xyh=xy_1h_1=xunderbrace{(y_1h_1y_1^{-1})}_{in H}y_1=x_1h_2y_1
=x_1y_1underbrace{(y_1^{-1}h_2y_1)}_{in H}in x_1y_1H
$$
$endgroup$
add a comment |
$begingroup$
Theorem. Let $G$ be a group and $H$ a subgroup of $G$. The following conditions are equivalent
(1) $forall g in G$, $hin H$, we have $ghg^{-1} in H$
(2) $forall g in G$, $gHg^{-1} subseteq H$
(3) $forall g in G, gH = Hg$
(4) Every right coset of $H$ is a left coset
(5) $H$ is the kernel of a homomorphism of $G$ to some other group
Proof. (1)$implies$(2) Obvious.
(2)$implies$(3) Let $hin H$. Then $ghg^{-1}in H$, so $ghin Hg$; therefore $gHsubseteq Hg$. Also $g^{-1}hgin H$, and therefore $hgin gH$; therefore $Hgsubseteq Hg$.
(3)$implies$(4) Obvious.
(4)$implies$(1) Since distinct left cosets are disjoint, if $gH=Hg'$, then both sets contain $g$; therefore $Hg'=Hg$. If $gin G$ and $hin H$, then $gh=h'g$, for some $h'in H$, so $ghg^{-1}=h'gg^{-1}=h'in H$.
(5)$implies$(1) Let $varphicolon Gto G'$ be a homomorphism with kernel $H$; if $gin G$ and $hin H$, then $varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(gg^{-1})=1$, so $ghg^{-1}inkervarphi=H$.
(1)$implies$(5) Once we prove that the operation $(xH)(yH)=(xy)H$ on the set of left cosets is well defined, then it obviously defines a group structure, with $xmapsto xH$ being a homomorphism with kernel $H$.
Let $xH=x_1H$ and $yH=y_1H$; we want to show that $xyH=x_1y_1H$. By symmetry, we just need to show that $xyHsubseteq x_1y_1H$. Let $hin H$. Then, denoting by $h_1$ and $h_2$ suitable elements of $H$, we have
$$
xyh=xy_1h_1=xunderbrace{(y_1h_1y_1^{-1})}_{in H}y_1=x_1h_2y_1
=x_1y_1underbrace{(y_1^{-1}h_2y_1)}_{in H}in x_1y_1H
$$
$endgroup$
Theorem. Let $G$ be a group and $H$ a subgroup of $G$. The following conditions are equivalent
(1) $forall g in G$, $hin H$, we have $ghg^{-1} in H$
(2) $forall g in G$, $gHg^{-1} subseteq H$
(3) $forall g in G, gH = Hg$
(4) Every right coset of $H$ is a left coset
(5) $H$ is the kernel of a homomorphism of $G$ to some other group
Proof. (1)$implies$(2) Obvious.
(2)$implies$(3) Let $hin H$. Then $ghg^{-1}in H$, so $ghin Hg$; therefore $gHsubseteq Hg$. Also $g^{-1}hgin H$, and therefore $hgin gH$; therefore $Hgsubseteq Hg$.
(3)$implies$(4) Obvious.
(4)$implies$(1) Since distinct left cosets are disjoint, if $gH=Hg'$, then both sets contain $g$; therefore $Hg'=Hg$. If $gin G$ and $hin H$, then $gh=h'g$, for some $h'in H$, so $ghg^{-1}=h'gg^{-1}=h'in H$.
(5)$implies$(1) Let $varphicolon Gto G'$ be a homomorphism with kernel $H$; if $gin G$ and $hin H$, then $varphi(ghg^{-1})=varphi(g)varphi(h)varphi(g^{-1})=varphi(gg^{-1})=1$, so $ghg^{-1}inkervarphi=H$.
(1)$implies$(5) Once we prove that the operation $(xH)(yH)=(xy)H$ on the set of left cosets is well defined, then it obviously defines a group structure, with $xmapsto xH$ being a homomorphism with kernel $H$.
Let $xH=x_1H$ and $yH=y_1H$; we want to show that $xyH=x_1y_1H$. By symmetry, we just need to show that $xyHsubseteq x_1y_1H$. Let $hin H$. Then, denoting by $h_1$ and $h_2$ suitable elements of $H$, we have
$$
xyh=xy_1h_1=xunderbrace{(y_1h_1y_1^{-1})}_{in H}y_1=x_1h_2y_1
=x_1y_1underbrace{(y_1^{-1}h_2y_1)}_{in H}in x_1y_1H
$$
answered Feb 5 at 11:07
egregegreg
183k1486204
183k1486204
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3043931%2fequivalent-definitions-of-normal-subgroups%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
4
$begingroup$
Try to prove it on your own... It is not that hard!
$endgroup$
– TheGeekGreek
Dec 17 '18 at 13:34
1
$begingroup$
Welcome to Math.SE! Did you try searching this online? Please see if ProofWiki helps.
$endgroup$
– GNUSupporter 8964民主女神 地下教會
Dec 17 '18 at 13:36
1
$begingroup$
May be you can see the prove in book "Topics in Algebra" (I. N. Herstein). In that book, (1) is definition and (3) is lemma. If you have 2nd edition then you can see in page 50 and page 51.
$endgroup$
– AfroditDione142
Dec 17 '18 at 20:13
$begingroup$
@RM777: Check out "A Course in Group Theory" by J. F. Humphreys (ISBN 0198534590). It is basic and comprehensive.
$endgroup$
– Moritz
Dec 18 '18 at 18:33
1
$begingroup$
(Also, engage with the existing answer. Its rude to simply ignore it and ask for more answers. Certainly I would be unwilling to put in any effort here if you are just going to ignore the existing, fine answer!)
$endgroup$
– user1729
Feb 5 at 12:24