Vjylku

Biological Blimps: Propulsion

Is it better practice to read straight from sheet music rather than memorize it?

Approximating irrational number to rational number

250 Floor Tower

How can we generalize the fact of finite dimensional vector space to an infinte dimensional case?

How could a planet have erratic days?

Longest common substring in linear time

Lowest total scrabble score

Problem with TransformedDistribution

How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?

Closed-form expression for certain product

Are the IPv6 address space and IPv4 address space completely disjoint?

Why electric field inside a cavity of a non-conducting sphere not zero?

Count the occurrence of each unique word in the file

Question about the proof of Second Isomorphism Theorem

The Staircase of Paint

Aragorn's "guise" in the Orthanc Stone

Calculating Wattage for Resistor in High Frequency Application?

Can I sign legal documents with a smiley face?

A social experiment. What is the worst that can happen?

Is it improper etiquette to ask your opponent what his/her rating is before the game?

Start making guitar arrangements

When a Cleric spontaneously casts a Cure Light Wounds spell, will a Pearl of Power recover the original spell or Cure Light Wounds?

Does the expansion of the universe explain why the universe doesn't collapse?

Question about the proof of Second Isomorphism Theorem

Isomorphism theorem and proving $f:Gto G'$ onto, $K'triangleleft G'Rightarrow G/f^{-1}(K')cong G'/K'$Interpretation of Second isomorphism theoremQuestion about second Isomorphism TheoremNeed isomorphism theorem intuitionWhy $phi(H) cong H/ kerphi$ in the Second Isomorphism Theorem?Intuition behind the first isomorphism theoremIntuition about the first isomorphism theoremIntuition about the second isomorphism theoremFundamental Isomorphism TheoremFinding the kernel of $phi$ of applying the First Isomorphism Theorem

4

$begingroup$

The Second Isomorphism Theorem:
Let $H$ be a subgroup of a group $G$ and $N$ a normal subgroup of $G$. Then
$$H/(Hcap N)cong(HN)/N$$

There is the proof of Abstract Algebra Thomas by W. Judson:

Define a map $phi$ from $H$ to $HN/N$ by $Hmapsto hN$. The map $phi$ is onto, since any coset $hnN=hN$ is the image of $h$ in $H$. We also know that $phi$ is a homomorphism because
$$phi(hh')=hh'N=hNh'N=phi(h)phi(h')$$
By the First Isomorphism Theorem, the image of $phi$ is isomorphic to $H/kerphi$, that is
$$HN/N=phi(H)cong H/kerphi$$
Since
$$kerphi={hin H:hin N}=Hcap N$$
$HN/N=phi(H)cong H/Hcap N$

My question:

Is it necessary to prove that the map $phi$ is onto? Can we only prove that $phi$ is well defined and the image of $phi$ is a subset of $HN/N$? And then we can use the First Isomorphism Theorem and continue the proof.

Thank you.

abstract-algebra group-theory group-isomorphism group-homomorphism

share|cite|improve this question

edited 3 hours ago

Andrews

1,2761421

asked 4 hours ago

NiaBieNiaBie

232

New contributor

NiaBie is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

4

$begingroup$

The Second Isomorphism Theorem:
Let $H$ be a subgroup of a group $G$ and $N$ a normal subgroup of $G$. Then
$$H/(Hcap N)cong(HN)/N$$

There is the proof of Abstract Algebra Thomas by W. Judson:

Define a map $phi$ from $H$ to $HN/N$ by $Hmapsto hN$. The map $phi$ is onto, since any coset $hnN=hN$ is the image of $h$ in $H$. We also know that $phi$ is a homomorphism because
$$phi(hh')=hh'N=hNh'N=phi(h)phi(h')$$
By the First Isomorphism Theorem, the image of $phi$ is isomorphic to $H/kerphi$, that is
$$HN/N=phi(H)cong H/kerphi$$
Since
$$kerphi={hin H:hin N}=Hcap N$$
$HN/N=phi(H)cong H/Hcap N$

My question:

Is it necessary to prove that the map $phi$ is onto? Can we only prove that $phi$ is well defined and the image of $phi$ is a subset of $HN/N$? And then we can use the First Isomorphism Theorem and continue the proof.

Thank you.

abstract-algebra group-theory group-isomorphism group-homomorphism

share|cite|improve this question

edited 3 hours ago

Andrews

1,2761421

asked 4 hours ago

NiaBieNiaBie

232

New contributor

NiaBie is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

$begingroup$

The Second Isomorphism Theorem:
Let $H$ be a subgroup of a group $G$ and $N$ a normal subgroup of $G$. Then
$$H/(Hcap N)cong(HN)/N$$

There is the proof of Abstract Algebra Thomas by W. Judson:

Define a map $phi$ from $H$ to $HN/N$ by $Hmapsto hN$. The map $phi$ is onto, since any coset $hnN=hN$ is the image of $h$ in $H$. We also know that $phi$ is a homomorphism because
$$phi(hh')=hh'N=hNh'N=phi(h)phi(h')$$
By the First Isomorphism Theorem, the image of $phi$ is isomorphic to $H/kerphi$, that is
$$HN/N=phi(H)cong H/kerphi$$
Since
$$kerphi={hin H:hin N}=Hcap N$$
$HN/N=phi(H)cong H/Hcap N$

My question:

Is it necessary to prove that the map $phi$ is onto? Can we only prove that $phi$ is well defined and the image of $phi$ is a subset of $HN/N$? And then we can use the First Isomorphism Theorem and continue the proof.

Thank you.

abstract-algebra group-theory group-isomorphism group-homomorphism

share|cite|improve this question

edited 3 hours ago

Andrews

1,2761421

asked 4 hours ago

NiaBieNiaBie

232

New contributor

NiaBie is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

share|cite|improve this question

edited 3 hours ago

Andrews

1,2761421

asked 4 hours ago

NiaBieNiaBie

232

New contributor

NiaBie is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

share|cite|improve this question

edited 3 hours ago

Andrews

1,2761421

asked 4 hours ago

NiaBieNiaBie

232

New contributor

NiaBie is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

edited 3 hours ago

Andrews

1,2761421

edited 3 hours ago

Andrews

1,2761421

asked 4 hours ago

NiaBieNiaBie

232

New contributor

NiaBie is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked 4 hours ago

NiaBieNiaBie

232

1 Answer
1

active

oldest

votes

3

$begingroup$

The First Isomorphism Theorem states that if $varphi: G to G'$, then $mathrm{im}(varphi) cong G/mathrm{ker}(varphi)$. If we do not know that your $phi$ is surjective, then the First Isomorphism Theorem only shows us that $H/H cap N cong mathrm{im}(phi) subseteq HN/N$, which does not finish the job.

share|cite|improve this answer

answered 4 hours ago

Joshua MundingerJoshua Mundinger

2,7621028

$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
});


}
});

NiaBie is a new contributor. Be nice, and check out our Code of Conduct.

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3160013%2fquestion-about-the-proof-of-second-isomorphism-theorem%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

3

$begingroup$

The First Isomorphism Theorem states that if $varphi: G to G'$, then $mathrm{im}(varphi) cong G/mathrm{ker}(varphi)$. If we do not know that your $phi$ is surjective, then the First Isomorphism Theorem only shows us that $H/H cap N cong mathrm{im}(phi) subseteq HN/N$, which does not finish the job.

share|cite|improve this answer

answered 4 hours ago

Joshua MundingerJoshua Mundinger

2,7621028

$endgroup$

add a comment | 

3

$begingroup$

The First Isomorphism Theorem states that if $varphi: G to G'$, then $mathrm{im}(varphi) cong G/mathrm{ker}(varphi)$. If we do not know that your $phi$ is surjective, then the First Isomorphism Theorem only shows us that $H/H cap N cong mathrm{im}(phi) subseteq HN/N$, which does not finish the job.

share|cite|improve this answer

answered 4 hours ago

Joshua MundingerJoshua Mundinger

2,7621028

$endgroup$

add a comment | 

$begingroup$

The First Isomorphism Theorem states that if $varphi: G to G'$, then $mathrm{im}(varphi) cong G/mathrm{ker}(varphi)$. If we do not know that your $phi$ is surjective, then the First Isomorphism Theorem only shows us that $H/H cap N cong mathrm{im}(phi) subseteq HN/N$, which does not finish the job.

share|cite|improve this answer

answered 4 hours ago

Joshua MundingerJoshua Mundinger

2,7621028

$endgroup$

share|cite|improve this answer

answered 4 hours ago

Joshua MundingerJoshua Mundinger

2,7621028

answered 4 hours ago

Joshua MundingerJoshua Mundinger

2,7621028

answered 4 hours ago

Joshua MundingerJoshua Mundinger

2,7621028