Prove: $N$ is a submodule of $M iff N$ is a kernel of some homomorphism.Torsion submodule equal to kernel of canonical mapHomomorphism and kernel proof help$N$ is the Kernel of some homomorphismImage of homomorphism with kernel $N$ isomophic to $M/N$Proving that particular ideal is the kernel of a homomorphism of polynomial rings$ker(alpha)$ is a direct summand of the pullbackIf $f:Grightarrow H$ is a homomorphism of group and $Ntriangleleft G$…kernel, group, and subgroup…Kernel of induced mapKernel is a submodule
How to color a curve
How do I implement a file system driver driver in Linux?
Can someone explain how this makes sense electrically?
Does the Mind Blank spell prevent the target from being frightened?
Is there a conventional notation or name for the slip angle?
Have I saved too much for retirement so far?
Greco-Roman egalitarianism
THT: What is a squared annular “ring”?
Is it possible to use .desktop files to open local pdf files on specific pages with a browser?
Is possible to search in vim history?
Is a model fitted to data or is data fitted to a model?
MAXDOP Settings for SQL Server 2014
Structured binding on const
A social experiment. What is the worst that can happen?
Greatest common substring
How do I repair my stair bannister?
How do I extrude a face to a single vertex
What does this horizontal bar at the first measure mean?
How to align and center standalone amsmath equations?
Should I stop contributing to retirement accounts?
Is XSS in canonical link possible?
Drawing ramified coverings with tikz
Varistor? Purpose and principle
Why in book's example is used 言葉(ことば) instead of 言語(げんご)?
Prove: $N$ is a submodule of $M iff N$ is a kernel of some homomorphism.
Torsion submodule equal to kernel of canonical mapHomomorphism and kernel proof help$N$ is the Kernel of some homomorphismImage of homomorphism with kernel $N$ isomophic to $M/N$Proving that particular ideal is the kernel of a homomorphism of polynomial rings$ker(alpha)$ is a direct summand of the pullbackIf $f:Grightarrow H$ is a homomorphism of group and $Ntriangleleft G$…kernel, group, and subgroup…Kernel of induced mapKernel is a submodule
$begingroup$
Prove: $N$ is a submodule of $M iff N$ is a kernel of some homomorphism.
$(implies)$ Fix $N<M$, $kappa:M rightarrow M/N. kappa$ is the canonical epimorphism. Then $N=kerkappa.$
How to prove the other direction?
abstract-algebra modules
$endgroup$
add a comment |
$begingroup$
Prove: $N$ is a submodule of $M iff N$ is a kernel of some homomorphism.
$(implies)$ Fix $N<M$, $kappa:M rightarrow M/N. kappa$ is the canonical epimorphism. Then $N=kerkappa.$
How to prove the other direction?
abstract-algebra modules
$endgroup$
add a comment |
$begingroup$
Prove: $N$ is a submodule of $M iff N$ is a kernel of some homomorphism.
$(implies)$ Fix $N<M$, $kappa:M rightarrow M/N. kappa$ is the canonical epimorphism. Then $N=kerkappa.$
How to prove the other direction?
abstract-algebra modules
$endgroup$
Prove: $N$ is a submodule of $M iff N$ is a kernel of some homomorphism.
$(implies)$ Fix $N<M$, $kappa:M rightarrow M/N. kappa$ is the canonical epimorphism. Then $N=kerkappa.$
How to prove the other direction?
abstract-algebra modules
abstract-algebra modules
edited Mar 16 at 13:23
Andrews
1,2762422
1,2762422
asked Mar 16 at 11:55
ToidiToidi
254
254
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If $n,n'inkerkappa$, then $kappa(n+n')=kappa(n)+kappa(n')=0$, and therefore $n+n'inkerkappa$. And if $r$ belongs to the ring that you are working with, then $kappa(rn)=rkappa(n)=0$, and therefore $rninkerkappa$.
$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%2f3150314%2fprove-n-is-a-submodule-of-m-iff-n-is-a-kernel-of-some-homomorphism%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
$begingroup$
If $n,n'inkerkappa$, then $kappa(n+n')=kappa(n)+kappa(n')=0$, and therefore $n+n'inkerkappa$. And if $r$ belongs to the ring that you are working with, then $kappa(rn)=rkappa(n)=0$, and therefore $rninkerkappa$.
$endgroup$
add a comment |
$begingroup$
If $n,n'inkerkappa$, then $kappa(n+n')=kappa(n)+kappa(n')=0$, and therefore $n+n'inkerkappa$. And if $r$ belongs to the ring that you are working with, then $kappa(rn)=rkappa(n)=0$, and therefore $rninkerkappa$.
$endgroup$
add a comment |
$begingroup$
If $n,n'inkerkappa$, then $kappa(n+n')=kappa(n)+kappa(n')=0$, and therefore $n+n'inkerkappa$. And if $r$ belongs to the ring that you are working with, then $kappa(rn)=rkappa(n)=0$, and therefore $rninkerkappa$.
$endgroup$
If $n,n'inkerkappa$, then $kappa(n+n')=kappa(n)+kappa(n')=0$, and therefore $n+n'inkerkappa$. And if $r$ belongs to the ring that you are working with, then $kappa(rn)=rkappa(n)=0$, and therefore $rninkerkappa$.
answered Mar 16 at 12:00
José Carlos SantosJosé Carlos Santos
170k23132238
170k23132238
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%2f3150314%2fprove-n-is-a-submodule-of-m-iff-n-is-a-kernel-of-some-homomorphism%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