Principal ideal and free module
$begingroup$
Let $R$ be a commutative ring and $I$ be an ideal of $R$.
Is it true that $I$ is a principal ideal if and only if $I$ is a free $R$-module?
abstract-algebra commutative-algebra ring-theory
edited Jun 18 '13 at 14:25
Gil
633513
asked Jun 18 '13 at 14:08
thatha
18116
$endgroup$
add a comment |
$begingroup$
Let $R$ be a commutative ring and $I$ be an ideal of $R$.
Is it true that $I$ is a principal ideal if and only if $I$ is a free $R$-module?
abstract-algebra commutative-algebra ring-theory
edited Jun 18 '13 at 14:25
Gil
633513
asked Jun 18 '13 at 14:08
thatha
18116
$endgroup$
1
$begingroup$
I'm not sure about the context the question came from. I get the idea that it might have been intended to be a fairly simple question, but even then, it really ought to explicitly exclude the zero ideal.
$endgroup$
– rschwieb
Jun 18 '13 at 14:12
add a comment |
$begingroup$
Let $R$ be a commutative ring and $I$ be an ideal of $R$.
Is it true that $I$ is a principal ideal if and only if $I$ is a free $R$-module?
abstract-algebra commutative-algebra ring-theory
edited Jun 18 '13 at 14:25
Gil
633513
asked Jun 18 '13 at 14:08
thatha
18116
$endgroup$
Let $R$ be a commutative ring and $I$ be an ideal of $R$.
Is it true that $I$ is a principal ideal if and only if $I$ is a free $R$-module?
abstract-algebra commutative-algebra ring-theory
abstract-algebra commutative-algebra ring-theory
edited Jun 18 '13 at 14:25
Gil
633513
asked Jun 18 '13 at 14:08
thatha
18116
edited Jun 18 '13 at 14:25
Gil
633513
asked Jun 18 '13 at 14:08
thatha
18116
edited Jun 18 '13 at 14:25
Gil
633513
edited Jun 18 '13 at 14:25
Gil
633513
edited Jun 18 '13 at 14:25
Gil
633513
633513
asked Jun 18 '13 at 14:08
thatha
18116
asked Jun 18 '13 at 14:08
thatha
18116
asked Jun 18 '13 at 14:08
thatha
18116
18116
1
$begingroup$
I'm not sure about the context the question came from. I get the idea that it might have been intended to be a fairly simple question, but even then, it really ought to explicitly exclude the zero ideal.
$endgroup$
– rschwieb
Jun 18 '13 at 14:12
add a comment |
1
$begingroup$
I'm not sure about the context the question came from. I get the idea that it might have been intended to be a fairly simple question, but even then, it really ought to explicitly exclude the zero ideal.
$endgroup$
– rschwieb
Jun 18 '13 at 14:12
1
1
$begingroup$
I'm not sure about the context the question came from. I get the idea that it might have been intended to be a fairly simple question, but even then, it really ought to explicitly exclude the zero ideal.
$endgroup$
– rschwieb
Jun 18 '13 at 14:12
$begingroup$
I'm not sure about the context the question came from. I get the idea that it might have been intended to be a fairly simple question, but even then, it really ought to explicitly exclude the zero ideal.
$endgroup$
– rschwieb
Jun 18 '13 at 14:12
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Definitely not. Any proper principal ideal in a finite commutative ring is a counterexample.
On the other hand, a commutative ring is a principal ideal domain if and only if all of its nonzero ideals are free modules with unique rank. This is a result on "free ideal rings" (FIRs) studied by P.M. Cohn.
As you mentioned, it is easy to show that every principal ideal of a domain is isomorphic to $R$. (One way is to notice that $xRcong R/ann(x)$, and $ann(x)=0$ if $x$ is nonzero.)
Now suppose $Jneq 0$ is a free principal ideal of a commutative domain. Then $Jcong oplus_{iin I} R$ for some copies of $R$. In particular, $J$ this says (through the isomorphism) that $J$ has submodules corresponding to the copies of $R$, and so they are also ideals of $R$.
Suppose for a moment more than one copy of $R$ is used. Since the sum is direct, these copies have pairwise intersection zero. However, nonzero ideals of a domain always have nonzero intersection! To avoid this contradiction the sum can only have one term, hence $Jcong R$. Being isomorphic to a cyclic module, $J$ is itself cyclic (so it is a principal ideal).
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
$endgroup$
$begingroup$
Thank you very much.I could prove that if R is a domain,any principal ideal is isomorhphic to R.But I couldn't prove that if I is a free R module ,then I is a principai ideal .Please give me an advice.....
$endgroup$
– tha
Jun 18 '13 at 14:45
1
$begingroup$
@smith OK, I added some more to the solution for your comment's question.
$endgroup$
– rschwieb
Jun 18 '13 at 16:48
add a comment |
$begingroup$
It is true that, if $R$ is a commutative ring and $I$ is an ideal of $R$, then $I$ is free iff $I$ is principal and generated by a non-zerodivisor.
Proof: Say $I$ is free. By way of contradiction, suppose $I$ has an $R$-basis containing more than one element. Let $e_1$ and $e_2$ be distinct elements of this basis. Then we have $e_2e_1-e_1e_2=0$, which is impossible, since the $e_i$ are linearly independent (this is where we use commutativity). Thus, $I$ has finite rank, and its rank is $1$. Say $I$ is generated over $R$ by $e in R$; notice that $e$ must be a non-zerodivisor, or else ${e}$ would not be linearly independent.
Conversely, suppose $I$ is a principal ideal generated by a non-zerodivisor $e$. Then the map $R to I$ given by $r mapsto re$ is an isomorphism of $R$-modules.
$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%2f423641%2fprincipal-ideal-and-free-module%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Definitely not. Any proper principal ideal in a finite commutative ring is a counterexample.
On the other hand, a commutative ring is a principal ideal domain if and only if all of its nonzero ideals are free modules with unique rank. This is a result on "free ideal rings" (FIRs) studied by P.M. Cohn.
As you mentioned, it is easy to show that every principal ideal of a domain is isomorphic to $R$. (One way is to notice that $xRcong R/ann(x)$, and $ann(x)=0$ if $x$ is nonzero.)
Now suppose $Jneq 0$ is a free principal ideal of a commutative domain. Then $Jcong oplus_{iin I} R$ for some copies of $R$. In particular, $J$ this says (through the isomorphism) that $J$ has submodules corresponding to the copies of $R$, and so they are also ideals of $R$.
Suppose for a moment more than one copy of $R$ is used. Since the sum is direct, these copies have pairwise intersection zero. However, nonzero ideals of a domain always have nonzero intersection! To avoid this contradiction the sum can only have one term, hence $Jcong R$. Being isomorphic to a cyclic module, $J$ is itself cyclic (so it is a principal ideal).
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
$endgroup$
$begingroup$
Thank you very much.I could prove that if R is a domain,any principal ideal is isomorhphic to R.But I couldn't prove that if I is a free R module ,then I is a principai ideal .Please give me an advice.....
$endgroup$
– tha
Jun 18 '13 at 14:45
1
$begingroup$
@smith OK, I added some more to the solution for your comment's question.
$endgroup$
– rschwieb
Jun 18 '13 at 16:48
add a comment |
$begingroup$
Definitely not. Any proper principal ideal in a finite commutative ring is a counterexample.
On the other hand, a commutative ring is a principal ideal domain if and only if all of its nonzero ideals are free modules with unique rank. This is a result on "free ideal rings" (FIRs) studied by P.M. Cohn.
As you mentioned, it is easy to show that every principal ideal of a domain is isomorphic to $R$. (One way is to notice that $xRcong R/ann(x)$, and $ann(x)=0$ if $x$ is nonzero.)
Now suppose $Jneq 0$ is a free principal ideal of a commutative domain. Then $Jcong oplus_{iin I} R$ for some copies of $R$. In particular, $J$ this says (through the isomorphism) that $J$ has submodules corresponding to the copies of $R$, and so they are also ideals of $R$.
Suppose for a moment more than one copy of $R$ is used. Since the sum is direct, these copies have pairwise intersection zero. However, nonzero ideals of a domain always have nonzero intersection! To avoid this contradiction the sum can only have one term, hence $Jcong R$. Being isomorphic to a cyclic module, $J$ is itself cyclic (so it is a principal ideal).
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
$endgroup$
$begingroup$
Thank you very much.I could prove that if R is a domain,any principal ideal is isomorhphic to R.But I couldn't prove that if I is a free R module ,then I is a principai ideal .Please give me an advice.....
$endgroup$
– tha
Jun 18 '13 at 14:45
1
$begingroup$
@smith OK, I added some more to the solution for your comment's question.
$endgroup$
– rschwieb
Jun 18 '13 at 16:48
add a comment |
$begingroup$
Definitely not. Any proper principal ideal in a finite commutative ring is a counterexample.
On the other hand, a commutative ring is a principal ideal domain if and only if all of its nonzero ideals are free modules with unique rank. This is a result on "free ideal rings" (FIRs) studied by P.M. Cohn.
As you mentioned, it is easy to show that every principal ideal of a domain is isomorphic to $R$. (One way is to notice that $xRcong R/ann(x)$, and $ann(x)=0$ if $x$ is nonzero.)
Now suppose $Jneq 0$ is a free principal ideal of a commutative domain. Then $Jcong oplus_{iin I} R$ for some copies of $R$. In particular, $J$ this says (through the isomorphism) that $J$ has submodules corresponding to the copies of $R$, and so they are also ideals of $R$.
Suppose for a moment more than one copy of $R$ is used. Since the sum is direct, these copies have pairwise intersection zero. However, nonzero ideals of a domain always have nonzero intersection! To avoid this contradiction the sum can only have one term, hence $Jcong R$. Being isomorphic to a cyclic module, $J$ is itself cyclic (so it is a principal ideal).
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
$endgroup$
Definitely not. Any proper principal ideal in a finite commutative ring is a counterexample.
On the other hand, a commutative ring is a principal ideal domain if and only if all of its nonzero ideals are free modules with unique rank. This is a result on "free ideal rings" (FIRs) studied by P.M. Cohn.
As you mentioned, it is easy to show that every principal ideal of a domain is isomorphic to $R$. (One way is to notice that $xRcong R/ann(x)$, and $ann(x)=0$ if $x$ is nonzero.)
Now suppose $Jneq 0$ is a free principal ideal of a commutative domain. Then $Jcong oplus_{iin I} R$ for some copies of $R$. In particular, $J$ this says (through the isomorphism) that $J$ has submodules corresponding to the copies of $R$, and so they are also ideals of $R$.
Suppose for a moment more than one copy of $R$ is used. Since the sum is direct, these copies have pairwise intersection zero. However, nonzero ideals of a domain always have nonzero intersection! To avoid this contradiction the sum can only have one term, hence $Jcong R$. Being isomorphic to a cyclic module, $J$ is itself cyclic (so it is a principal ideal).
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
edited Jun 18 '13 at 16:52
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
answered Jun 18 '13 at 14:10
rschwiebrschwieb
105k12100245
105k12100245
$begingroup$
Thank you very much.I could prove that if R is a domain,any principal ideal is isomorhphic to R.But I couldn't prove that if I is a free R module ,then I is a principai ideal .Please give me an advice.....
$endgroup$
– tha
Jun 18 '13 at 14:45
1
$begingroup$
@smith OK, I added some more to the solution for your comment's question.
$endgroup$
– rschwieb
Jun 18 '13 at 16:48
add a comment |
$begingroup$
Thank you very much.I could prove that if R is a domain,any principal ideal is isomorhphic to R.But I couldn't prove that if I is a free R module ,then I is a principai ideal .Please give me an advice.....
$endgroup$
– tha
Jun 18 '13 at 14:45
1
$begingroup$
@smith OK, I added some more to the solution for your comment's question.
$endgroup$
– rschwieb
Jun 18 '13 at 16:48
$begingroup$
Thank you very much.I could prove that if R is a domain,any principal ideal is isomorhphic to R.But I couldn't prove that if I is a free R module ,then I is a principai ideal .Please give me an advice.....
$endgroup$
– tha
Jun 18 '13 at 14:45
$begingroup$
Thank you very much.I could prove that if R is a domain,any principal ideal is isomorhphic to R.But I couldn't prove that if I is a free R module ,then I is a principai ideal .Please give me an advice.....
$endgroup$
– tha
Jun 18 '13 at 14:45
1
1
$begingroup$
@smith OK, I added some more to the solution for your comment's question.
$endgroup$
– rschwieb
Jun 18 '13 at 16:48
$begingroup$
@smith OK, I added some more to the solution for your comment's question.
$endgroup$
– rschwieb
Jun 18 '13 at 16:48
add a comment |
$begingroup$
It is true that, if $R$ is a commutative ring and $I$ is an ideal of $R$, then $I$ is free iff $I$ is principal and generated by a non-zerodivisor.
Proof: Say $I$ is free. By way of contradiction, suppose $I$ has an $R$-basis containing more than one element. Let $e_1$ and $e_2$ be distinct elements of this basis. Then we have $e_2e_1-e_1e_2=0$, which is impossible, since the $e_i$ are linearly independent (this is where we use commutativity). Thus, $I$ has finite rank, and its rank is $1$. Say $I$ is generated over $R$ by $e in R$; notice that $e$ must be a non-zerodivisor, or else ${e}$ would not be linearly independent.
Conversely, suppose $I$ is a principal ideal generated by a non-zerodivisor $e$. Then the map $R to I$ given by $r mapsto re$ is an isomorphism of $R$-modules.
$endgroup$
add a comment |
$begingroup$
It is true that, if $R$ is a commutative ring and $I$ is an ideal of $R$, then $I$ is free iff $I$ is principal and generated by a non-zerodivisor.
Proof: Say $I$ is free. By way of contradiction, suppose $I$ has an $R$-basis containing more than one element. Let $e_1$ and $e_2$ be distinct elements of this basis. Then we have $e_2e_1-e_1e_2=0$, which is impossible, since the $e_i$ are linearly independent (this is where we use commutativity). Thus, $I$ has finite rank, and its rank is $1$. Say $I$ is generated over $R$ by $e in R$; notice that $e$ must be a non-zerodivisor, or else ${e}$ would not be linearly independent.
Conversely, suppose $I$ is a principal ideal generated by a non-zerodivisor $e$. Then the map $R to I$ given by $r mapsto re$ is an isomorphism of $R$-modules.
$endgroup$
add a comment |
$begingroup$
It is true that, if $R$ is a commutative ring and $I$ is an ideal of $R$, then $I$ is free iff $I$ is principal and generated by a non-zerodivisor.
Proof: Say $I$ is free. By way of contradiction, suppose $I$ has an $R$-basis containing more than one element. Let $e_1$ and $e_2$ be distinct elements of this basis. Then we have $e_2e_1-e_1e_2=0$, which is impossible, since the $e_i$ are linearly independent (this is where we use commutativity). Thus, $I$ has finite rank, and its rank is $1$. Say $I$ is generated over $R$ by $e in R$; notice that $e$ must be a non-zerodivisor, or else ${e}$ would not be linearly independent.
Conversely, suppose $I$ is a principal ideal generated by a non-zerodivisor $e$. Then the map $R to I$ given by $r mapsto re$ is an isomorphism of $R$-modules.
$endgroup$
It is true that, if $R$ is a commutative ring and $I$ is an ideal of $R$, then $I$ is free iff $I$ is principal and generated by a non-zerodivisor.
Proof: Say $I$ is free. By way of contradiction, suppose $I$ has an $R$-basis containing more than one element. Let $e_1$ and $e_2$ be distinct elements of this basis. Then we have $e_2e_1-e_1e_2=0$, which is impossible, since the $e_i$ are linearly independent (this is where we use commutativity). Thus, $I$ has finite rank, and its rank is $1$. Say $I$ is generated over $R$ by $e in R$; notice that $e$ must be a non-zerodivisor, or else ${e}$ would not be linearly independent.
Conversely, suppose $I$ is a principal ideal generated by a non-zerodivisor $e$. Then the map $R to I$ given by $r mapsto re$ is an isomorphism of $R$-modules.
edited Jun 18 '13 at 20:33
answered Jun 18 '13 at 14:53
user55407
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%2f423641%2fprincipal-ideal-and-free-module%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
1
$begingroup$
I'm not sure about the context the question came from. I get the idea that it might have been intended to be a fairly simple question, but even then, it really ought to explicitly exclude the zero ideal.
$endgroup$
– rschwieb
Jun 18 '13 at 14:12