A small doubt on the connection between homomorphisms and normal subgroups?
I'm reading Robert Ash's Basic Abstract Algebra. Here:
I've tried to find the proof that every normal subgroup is the kernel of a homomorphism before looking in the book. I got stuck thinking about an $f:Gto H$ and failing, eventually I gave up.
When I looked at the proof, it was easy to follow but he picks $pi: G to G/N$ and I guess I'd never have guessed that. I am confused with the following: I was expecting the result to be valid for any homomorphism but he picks that exact one. My doubt may be a little bit silly, but why this proof for $pi:Gto G/N$ makes the result valid for any $Hneq G/N$? I guess It's clear that that proposition depends only on $G$ and hence, we can pick any H but I am unsure why this is legitimate.
abstract-algebra group-theory
asked yesterday
Billy Rubina
10.3k1458134
add a comment |
I'm reading Robert Ash's Basic Abstract Algebra. Here:
I've tried to find the proof that every normal subgroup is the kernel of a homomorphism before looking in the book. I got stuck thinking about an $f:Gto H$ and failing, eventually I gave up.
When I looked at the proof, it was easy to follow but he picks $pi: G to G/N$ and I guess I'd never have guessed that. I am confused with the following: I was expecting the result to be valid for any homomorphism but he picks that exact one. My doubt may be a little bit silly, but why this proof for $pi:Gto G/N$ makes the result valid for any $Hneq G/N$? I guess It's clear that that proposition depends only on $G$ and hence, we can pick any H but I am unsure why this is legitimate.
abstract-algebra group-theory
asked yesterday
Billy Rubina
10.3k1458134
3
The result is valid because you started with an arbitrary normal subgroup and then constructed a homomorphism whose kernel was that normal subgroup. Note that you do not need the homomorphism to be arbitrary as you think it is.
– Hello_World
yesterday
@Hello_World But what If I have $f:G to H,g: Gto K$ and the kernels of both are different? Could they be different or $G$ determines the kernels for all $H,K$?
– Billy Rubina
yesterday
2
All we know is that the kernel of $f$ and $g$ is a normal subgroup of $G.$ That's it. They can be different or same.
– Hello_World
yesterday
add a comment |
I'm reading Robert Ash's Basic Abstract Algebra. Here:
I've tried to find the proof that every normal subgroup is the kernel of a homomorphism before looking in the book. I got stuck thinking about an $f:Gto H$ and failing, eventually I gave up.
When I looked at the proof, it was easy to follow but he picks $pi: G to G/N$ and I guess I'd never have guessed that. I am confused with the following: I was expecting the result to be valid for any homomorphism but he picks that exact one. My doubt may be a little bit silly, but why this proof for $pi:Gto G/N$ makes the result valid for any $Hneq G/N$? I guess It's clear that that proposition depends only on $G$ and hence, we can pick any H but I am unsure why this is legitimate.
abstract-algebra group-theory
asked yesterday
Billy Rubina
10.3k1458134
I'm reading Robert Ash's Basic Abstract Algebra. Here:
I've tried to find the proof that every normal subgroup is the kernel of a homomorphism before looking in the book. I got stuck thinking about an $f:Gto H$ and failing, eventually I gave up.
When I looked at the proof, it was easy to follow but he picks $pi: G to G/N$ and I guess I'd never have guessed that. I am confused with the following: I was expecting the result to be valid for any homomorphism but he picks that exact one. My doubt may be a little bit silly, but why this proof for $pi:Gto G/N$ makes the result valid for any $Hneq G/N$? I guess It's clear that that proposition depends only on $G$ and hence, we can pick any H but I am unsure why this is legitimate.
abstract-algebra group-theory
abstract-algebra group-theory
asked yesterday
Billy Rubina
10.3k1458134
asked yesterday
Billy Rubina
10.3k1458134
asked yesterday
Billy Rubina
10.3k1458134
asked yesterday
Billy Rubina
10.3k1458134
asked yesterday
Billy Rubina
10.3k1458134
10.3k1458134
3
The result is valid because you started with an arbitrary normal subgroup and then constructed a homomorphism whose kernel was that normal subgroup. Note that you do not need the homomorphism to be arbitrary as you think it is.
– Hello_World
yesterday
@Hello_World But what If I have $f:G to H,g: Gto K$ and the kernels of both are different? Could they be different or $G$ determines the kernels for all $H,K$?
– Billy Rubina
yesterday
2
All we know is that the kernel of $f$ and $g$ is a normal subgroup of $G.$ That's it. They can be different or same.
– Hello_World
yesterday
add a comment |
3
The result is valid because you started with an arbitrary normal subgroup and then constructed a homomorphism whose kernel was that normal subgroup. Note that you do not need the homomorphism to be arbitrary as you think it is.
– Hello_World
yesterday
@Hello_World But what If I have $f:G to H,g: Gto K$ and the kernels of both are different? Could they be different or $G$ determines the kernels for all $H,K$?
– Billy Rubina
yesterday
2
All we know is that the kernel of $f$ and $g$ is a normal subgroup of $G.$ That's it. They can be different or same.
– Hello_World
yesterday
3
3
The result is valid because you started with an arbitrary normal subgroup and then constructed a homomorphism whose kernel was that normal subgroup. Note that you do not need the homomorphism to be arbitrary as you think it is.
– Hello_World
yesterday
The result is valid because you started with an arbitrary normal subgroup and then constructed a homomorphism whose kernel was that normal subgroup. Note that you do not need the homomorphism to be arbitrary as you think it is.
– Hello_World
yesterday
@Hello_World But what If I have $f:G to H,g: Gto K$ and the kernels of both are different? Could they be different or $G$ determines the kernels for all $H,K$?
– Billy Rubina
yesterday
@Hello_World But what If I have $f:G to H,g: Gto K$ and the kernels of both are different? Could they be different or $G$ determines the kernels for all $H,K$?
– Billy Rubina
yesterday
2
2
All we know is that the kernel of $f$ and $g$ is a normal subgroup of $G.$ That's it. They can be different or same.
– Hello_World
yesterday
All we know is that the kernel of $f$ and $g$ is a normal subgroup of $G.$ That's it. They can be different or same.
– Hello_World
yesterday
add a comment |
1 Answer
1
active
oldest
votes
Read the passage carefully. Does the author claim (a) that if $N$ is a normal subgroup of $G$ then for every group $H$ there is a homomorphism $f:Gto H$ with kernel $N$? Or is he merely claiming (b) that if $N$ is a normal subgroup of $G$ then $N$ is the kernel of some homomorphism of $G$ into some group $H$?
In case (a) your objection is justified and the claim is wrong: ${e}$ is a normal subgroup of $G$, and if $H$ is smaller than $G$ then there is no homomorphism from $G$ to $H$ whose kernel is ${e}$.
In case (b) your objection goes away.
answered yesterday
bof
50.5k457119
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%2f3063520%2fa-small-doubt-on-the-connection-between-homomorphisms-and-normal-subgroups%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
Read the passage carefully. Does the author claim (a) that if $N$ is a normal subgroup of $G$ then for every group $H$ there is a homomorphism $f:Gto H$ with kernel $N$? Or is he merely claiming (b) that if $N$ is a normal subgroup of $G$ then $N$ is the kernel of some homomorphism of $G$ into some group $H$?
In case (a) your objection is justified and the claim is wrong: ${e}$ is a normal subgroup of $G$, and if $H$ is smaller than $G$ then there is no homomorphism from $G$ to $H$ whose kernel is ${e}$.
In case (b) your objection goes away.
answered yesterday
bof
50.5k457119
add a comment |
Read the passage carefully. Does the author claim (a) that if $N$ is a normal subgroup of $G$ then for every group $H$ there is a homomorphism $f:Gto H$ with kernel $N$? Or is he merely claiming (b) that if $N$ is a normal subgroup of $G$ then $N$ is the kernel of some homomorphism of $G$ into some group $H$?
In case (a) your objection is justified and the claim is wrong: ${e}$ is a normal subgroup of $G$, and if $H$ is smaller than $G$ then there is no homomorphism from $G$ to $H$ whose kernel is ${e}$.
In case (b) your objection goes away.
answered yesterday
bof
50.5k457119
add a comment |
Read the passage carefully. Does the author claim (a) that if $N$ is a normal subgroup of $G$ then for every group $H$ there is a homomorphism $f:Gto H$ with kernel $N$? Or is he merely claiming (b) that if $N$ is a normal subgroup of $G$ then $N$ is the kernel of some homomorphism of $G$ into some group $H$?
In case (a) your objection is justified and the claim is wrong: ${e}$ is a normal subgroup of $G$, and if $H$ is smaller than $G$ then there is no homomorphism from $G$ to $H$ whose kernel is ${e}$.
In case (b) your objection goes away.
answered yesterday
bof
50.5k457119
Read the passage carefully. Does the author claim (a) that if $N$ is a normal subgroup of $G$ then for every group $H$ there is a homomorphism $f:Gto H$ with kernel $N$? Or is he merely claiming (b) that if $N$ is a normal subgroup of $G$ then $N$ is the kernel of some homomorphism of $G$ into some group $H$?
In case (a) your objection is justified and the claim is wrong: ${e}$ is a normal subgroup of $G$, and if $H$ is smaller than $G$ then there is no homomorphism from $G$ to $H$ whose kernel is ${e}$.
In case (b) your objection goes away.
answered yesterday
bof
50.5k457119
edited yesterday
answered yesterday
bof
50.5k457119
answered yesterday
bof
50.5k457119
answered yesterday
bof
50.5k457119
50.5k457119
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3063520%2fa-small-doubt-on-the-connection-between-homomorphisms-and-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
3
The result is valid because you started with an arbitrary normal subgroup and then constructed a homomorphism whose kernel was that normal subgroup. Note that you do not need the homomorphism to be arbitrary as you think it is.
– Hello_World
yesterday
@Hello_World But what If I have $f:G to H,g: Gto K$ and the kernels of both are different? Could they be different or $G$ determines the kernels for all $H,K$?
– Billy Rubina
yesterday
2
All we know is that the kernel of $f$ and $g$ is a normal subgroup of $G.$ That's it. They can be different or same.
– Hello_World
yesterday