Principal (and not principal) ideals of the ring $mathbb{R}^{mathbb{R}}$
$begingroup$
Doing some exercises on rings and ideals I found some hurdles on showing that some ideals on the ring $left(mathbb{R}^{mathbb{R}}, +, cdotright)$ are (or not) principal. Hints?
- Let be $f,g in mathbb{R}^{mathbb{R}}$. Show that the ideal generated by $left(f,gright)$ in $mathbb{R}^{mathbb{R}}$ is a
principal ideal.
- Given $f in mathbb{R}^{mathbb{R}}$ and $Z(f):={x in
mathbb{R},|,f(x)=0}$, then the set $J:={f inmathbb{R}^{mathbb{R}},:,|mathbb{R}setminus Z(f)|lt infty}$
is an ideal of the ring $mathbb{R}^{mathbb{R}}$ but not a
principal one.
Showing that $J$ is an ideal is just a matter of set and ideal properties, but the non-principality of that ideal gave me hard times.
abstract-algebra ideals
$endgroup$
add a comment |
$begingroup$
Doing some exercises on rings and ideals I found some hurdles on showing that some ideals on the ring $left(mathbb{R}^{mathbb{R}}, +, cdotright)$ are (or not) principal. Hints?
- Let be $f,g in mathbb{R}^{mathbb{R}}$. Show that the ideal generated by $left(f,gright)$ in $mathbb{R}^{mathbb{R}}$ is a
principal ideal.
- Given $f in mathbb{R}^{mathbb{R}}$ and $Z(f):={x in
mathbb{R},|,f(x)=0}$, then the set $J:={f inmathbb{R}^{mathbb{R}},:,|mathbb{R}setminus Z(f)|lt infty}$
is an ideal of the ring $mathbb{R}^{mathbb{R}}$ but not a
principal one.
Showing that $J$ is an ideal is just a matter of set and ideal properties, but the non-principality of that ideal gave me hard times.
abstract-algebra ideals
$endgroup$
1
$begingroup$
By $mathbb R^{mathbb R}$, you mean the ring of functions from $mathbb R to mathbb R$ with the usual addition and multiplication, right?
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:07
$begingroup$
@астонвіллаолофмэллбэрг yes, where $(f+g)(x)=f(x)+g(x)$ and $(f cdot g)(x)=f(x) cdot g(x)$
$endgroup$
– F.inc
Jan 3 at 11:19
1
$begingroup$
Okay, thank you. I am writing an answer.
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:20
add a comment |
$begingroup$
Doing some exercises on rings and ideals I found some hurdles on showing that some ideals on the ring $left(mathbb{R}^{mathbb{R}}, +, cdotright)$ are (or not) principal. Hints?
- Let be $f,g in mathbb{R}^{mathbb{R}}$. Show that the ideal generated by $left(f,gright)$ in $mathbb{R}^{mathbb{R}}$ is a
principal ideal.
- Given $f in mathbb{R}^{mathbb{R}}$ and $Z(f):={x in
mathbb{R},|,f(x)=0}$, then the set $J:={f inmathbb{R}^{mathbb{R}},:,|mathbb{R}setminus Z(f)|lt infty}$
is an ideal of the ring $mathbb{R}^{mathbb{R}}$ but not a
principal one.
Showing that $J$ is an ideal is just a matter of set and ideal properties, but the non-principality of that ideal gave me hard times.
abstract-algebra ideals
$endgroup$
Doing some exercises on rings and ideals I found some hurdles on showing that some ideals on the ring $left(mathbb{R}^{mathbb{R}}, +, cdotright)$ are (or not) principal. Hints?
- Let be $f,g in mathbb{R}^{mathbb{R}}$. Show that the ideal generated by $left(f,gright)$ in $mathbb{R}^{mathbb{R}}$ is a
principal ideal.
- Given $f in mathbb{R}^{mathbb{R}}$ and $Z(f):={x in
mathbb{R},|,f(x)=0}$, then the set $J:={f inmathbb{R}^{mathbb{R}},:,|mathbb{R}setminus Z(f)|lt infty}$
is an ideal of the ring $mathbb{R}^{mathbb{R}}$ but not a
principal one.
Showing that $J$ is an ideal is just a matter of set and ideal properties, but the non-principality of that ideal gave me hard times.
abstract-algebra ideals
abstract-algebra ideals
edited Jan 3 at 11:56
user26857
39.5k124283
39.5k124283
asked Jan 3 at 10:41
F.incF.inc
415210
415210
1
$begingroup$
By $mathbb R^{mathbb R}$, you mean the ring of functions from $mathbb R to mathbb R$ with the usual addition and multiplication, right?
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:07
$begingroup$
@астонвіллаолофмэллбэрг yes, where $(f+g)(x)=f(x)+g(x)$ and $(f cdot g)(x)=f(x) cdot g(x)$
$endgroup$
– F.inc
Jan 3 at 11:19
1
$begingroup$
Okay, thank you. I am writing an answer.
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:20
add a comment |
1
$begingroup$
By $mathbb R^{mathbb R}$, you mean the ring of functions from $mathbb R to mathbb R$ with the usual addition and multiplication, right?
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:07
$begingroup$
@астонвіллаолофмэллбэрг yes, where $(f+g)(x)=f(x)+g(x)$ and $(f cdot g)(x)=f(x) cdot g(x)$
$endgroup$
– F.inc
Jan 3 at 11:19
1
$begingroup$
Okay, thank you. I am writing an answer.
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:20
1
1
$begingroup$
By $mathbb R^{mathbb R}$, you mean the ring of functions from $mathbb R to mathbb R$ with the usual addition and multiplication, right?
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:07
$begingroup$
By $mathbb R^{mathbb R}$, you mean the ring of functions from $mathbb R to mathbb R$ with the usual addition and multiplication, right?
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:07
$begingroup$
@астонвіллаолофмэллбэрг yes, where $(f+g)(x)=f(x)+g(x)$ and $(f cdot g)(x)=f(x) cdot g(x)$
$endgroup$
– F.inc
Jan 3 at 11:19
$begingroup$
@астонвіллаолофмэллбэрг yes, where $(f+g)(x)=f(x)+g(x)$ and $(f cdot g)(x)=f(x) cdot g(x)$
$endgroup$
– F.inc
Jan 3 at 11:19
1
1
$begingroup$
Okay, thank you. I am writing an answer.
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:20
$begingroup$
Okay, thank you. I am writing an answer.
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:20
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Let $R = mathbb R^{mathbb R}$.
If $f,g in R$, then $(f,g) = {af+bg : a,b in R}$. We want to show that this is principal.
Fix $x in mathbb R$. Then, consider the ideal generated in $mathbb R$ by $f(x)$ and $g(x)$. Since $mathbb R$ is a principal ideal domain, there is a single element $y$ depending on $x$ which satisfies $(y) = (f(x),g(x))$. (In fact, since $mathbb R$ is a field, note that it has only two ideals, the whole ring and zero. So $y = 0$ or $y = 1$ holds!)
Define the function $h$ as follows : $h(x)=y$, where $y$ satisfies $(y) = (f(x),g(x))$ as ideals in $mathbb R$.
Of course, $h in R$. We claim that $(h) = (f,g)$. To see this, note that $h in (f,g)$, since for each point $x$ there exists $a_x,b_x in mathbb R$ such that $h(x) = a_xf(x)+b_xg(x)$. Define the functions $a,b in R$ by $a(x) = a_x$ and $b(x) = b_x$ to see that $h = af+bg in (f,g)$.
Next, $f in (h)$, since for each $x$ we have $f(x) in (h(x))$ , so there exists $c_x$ such that $f(x) = c_xh(x)$.You know the rest. Similarly for $g$.
Hence, $(h) = (f,g)$ is a principal ideal!
Note : When do you think $mathbb R^X$ satisfies such a property as the one above? Can you give some conditions on $X$?
A description in words of $J$ is given by those functions which vanish at all but finitely many points. We know it is an ideal, as you have shown that. We need to show that it is not principal.
Well, suppose it was principal. Let $h$ be a generator for the ideal $J$, so that $(h) = J$.
Then, $h$ vanishes only at finitely many points, say a finite set $F$. Consider a function $g$ which does not vanish at some $y notin F$,but is in $J$, then $g=hf$ implies $g(y) = h(y)f(y) = 0$, a contradiction. Hence, $g notin (f)$ but $g in J$, a contradiction.
Note : Do you think finiteness was important here? What about "vanishing at exactly two points", or "vanishing at infinitely many points"?
The point of the above exercise is that $R$ is special, in that every ideal is either principal, or infinitely generated.
$endgroup$
add a comment |
$begingroup$
$1)$ Any function $h$ such that $h(x) = 0 Leftrightarrow f(x) = 0$ and $g(x) = 0$ will generate $(f,g)$.
$2)$ Suppose $J = (f)$ for some $f$. Then $f$ is non-zero on some finite set $S$. Pick some $g in J$ such that $g(y) neq 0$ for some $y notin S$. Then $g neq hf$ for any function $h$ (since if it were, $g(y) = h(y)f(y) = 0$, a contradiction).
$endgroup$
add a comment |
$begingroup$
The ring $mathbb{R}^{mathbb{R}}$ is quite well behaved. For $finmathbb{R}^{mathbb{R}}$ set $Z(f)={xinmathbb{R}:f(x)=0}$.
Hint 1: $(f,g)=(f^2+g^2)$
Hint 2: $(f)={hinmathbb{R}^{mathbb{R}}:Z(h)supseteq Z(f)}$; if $J=(f)$, then $fin J$, so $Z(f)$ is cofinite (its complement is finite). Can you find a contradiction?
$endgroup$
add a comment |
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%2f3060445%2fprincipal-and-not-principal-ideals-of-the-ring-mathbbr-mathbbr%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$
Let $R = mathbb R^{mathbb R}$.
If $f,g in R$, then $(f,g) = {af+bg : a,b in R}$. We want to show that this is principal.
Fix $x in mathbb R$. Then, consider the ideal generated in $mathbb R$ by $f(x)$ and $g(x)$. Since $mathbb R$ is a principal ideal domain, there is a single element $y$ depending on $x$ which satisfies $(y) = (f(x),g(x))$. (In fact, since $mathbb R$ is a field, note that it has only two ideals, the whole ring and zero. So $y = 0$ or $y = 1$ holds!)
Define the function $h$ as follows : $h(x)=y$, where $y$ satisfies $(y) = (f(x),g(x))$ as ideals in $mathbb R$.
Of course, $h in R$. We claim that $(h) = (f,g)$. To see this, note that $h in (f,g)$, since for each point $x$ there exists $a_x,b_x in mathbb R$ such that $h(x) = a_xf(x)+b_xg(x)$. Define the functions $a,b in R$ by $a(x) = a_x$ and $b(x) = b_x$ to see that $h = af+bg in (f,g)$.
Next, $f in (h)$, since for each $x$ we have $f(x) in (h(x))$ , so there exists $c_x$ such that $f(x) = c_xh(x)$.You know the rest. Similarly for $g$.
Hence, $(h) = (f,g)$ is a principal ideal!
Note : When do you think $mathbb R^X$ satisfies such a property as the one above? Can you give some conditions on $X$?
A description in words of $J$ is given by those functions which vanish at all but finitely many points. We know it is an ideal, as you have shown that. We need to show that it is not principal.
Well, suppose it was principal. Let $h$ be a generator for the ideal $J$, so that $(h) = J$.
Then, $h$ vanishes only at finitely many points, say a finite set $F$. Consider a function $g$ which does not vanish at some $y notin F$,but is in $J$, then $g=hf$ implies $g(y) = h(y)f(y) = 0$, a contradiction. Hence, $g notin (f)$ but $g in J$, a contradiction.
Note : Do you think finiteness was important here? What about "vanishing at exactly two points", or "vanishing at infinitely many points"?
The point of the above exercise is that $R$ is special, in that every ideal is either principal, or infinitely generated.
$endgroup$
add a comment |
$begingroup$
Let $R = mathbb R^{mathbb R}$.
If $f,g in R$, then $(f,g) = {af+bg : a,b in R}$. We want to show that this is principal.
Fix $x in mathbb R$. Then, consider the ideal generated in $mathbb R$ by $f(x)$ and $g(x)$. Since $mathbb R$ is a principal ideal domain, there is a single element $y$ depending on $x$ which satisfies $(y) = (f(x),g(x))$. (In fact, since $mathbb R$ is a field, note that it has only two ideals, the whole ring and zero. So $y = 0$ or $y = 1$ holds!)
Define the function $h$ as follows : $h(x)=y$, where $y$ satisfies $(y) = (f(x),g(x))$ as ideals in $mathbb R$.
Of course, $h in R$. We claim that $(h) = (f,g)$. To see this, note that $h in (f,g)$, since for each point $x$ there exists $a_x,b_x in mathbb R$ such that $h(x) = a_xf(x)+b_xg(x)$. Define the functions $a,b in R$ by $a(x) = a_x$ and $b(x) = b_x$ to see that $h = af+bg in (f,g)$.
Next, $f in (h)$, since for each $x$ we have $f(x) in (h(x))$ , so there exists $c_x$ such that $f(x) = c_xh(x)$.You know the rest. Similarly for $g$.
Hence, $(h) = (f,g)$ is a principal ideal!
Note : When do you think $mathbb R^X$ satisfies such a property as the one above? Can you give some conditions on $X$?
A description in words of $J$ is given by those functions which vanish at all but finitely many points. We know it is an ideal, as you have shown that. We need to show that it is not principal.
Well, suppose it was principal. Let $h$ be a generator for the ideal $J$, so that $(h) = J$.
Then, $h$ vanishes only at finitely many points, say a finite set $F$. Consider a function $g$ which does not vanish at some $y notin F$,but is in $J$, then $g=hf$ implies $g(y) = h(y)f(y) = 0$, a contradiction. Hence, $g notin (f)$ but $g in J$, a contradiction.
Note : Do you think finiteness was important here? What about "vanishing at exactly two points", or "vanishing at infinitely many points"?
The point of the above exercise is that $R$ is special, in that every ideal is either principal, or infinitely generated.
$endgroup$
add a comment |
$begingroup$
Let $R = mathbb R^{mathbb R}$.
If $f,g in R$, then $(f,g) = {af+bg : a,b in R}$. We want to show that this is principal.
Fix $x in mathbb R$. Then, consider the ideal generated in $mathbb R$ by $f(x)$ and $g(x)$. Since $mathbb R$ is a principal ideal domain, there is a single element $y$ depending on $x$ which satisfies $(y) = (f(x),g(x))$. (In fact, since $mathbb R$ is a field, note that it has only two ideals, the whole ring and zero. So $y = 0$ or $y = 1$ holds!)
Define the function $h$ as follows : $h(x)=y$, where $y$ satisfies $(y) = (f(x),g(x))$ as ideals in $mathbb R$.
Of course, $h in R$. We claim that $(h) = (f,g)$. To see this, note that $h in (f,g)$, since for each point $x$ there exists $a_x,b_x in mathbb R$ such that $h(x) = a_xf(x)+b_xg(x)$. Define the functions $a,b in R$ by $a(x) = a_x$ and $b(x) = b_x$ to see that $h = af+bg in (f,g)$.
Next, $f in (h)$, since for each $x$ we have $f(x) in (h(x))$ , so there exists $c_x$ such that $f(x) = c_xh(x)$.You know the rest. Similarly for $g$.
Hence, $(h) = (f,g)$ is a principal ideal!
Note : When do you think $mathbb R^X$ satisfies such a property as the one above? Can you give some conditions on $X$?
A description in words of $J$ is given by those functions which vanish at all but finitely many points. We know it is an ideal, as you have shown that. We need to show that it is not principal.
Well, suppose it was principal. Let $h$ be a generator for the ideal $J$, so that $(h) = J$.
Then, $h$ vanishes only at finitely many points, say a finite set $F$. Consider a function $g$ which does not vanish at some $y notin F$,but is in $J$, then $g=hf$ implies $g(y) = h(y)f(y) = 0$, a contradiction. Hence, $g notin (f)$ but $g in J$, a contradiction.
Note : Do you think finiteness was important here? What about "vanishing at exactly two points", or "vanishing at infinitely many points"?
The point of the above exercise is that $R$ is special, in that every ideal is either principal, or infinitely generated.
$endgroup$
Let $R = mathbb R^{mathbb R}$.
If $f,g in R$, then $(f,g) = {af+bg : a,b in R}$. We want to show that this is principal.
Fix $x in mathbb R$. Then, consider the ideal generated in $mathbb R$ by $f(x)$ and $g(x)$. Since $mathbb R$ is a principal ideal domain, there is a single element $y$ depending on $x$ which satisfies $(y) = (f(x),g(x))$. (In fact, since $mathbb R$ is a field, note that it has only two ideals, the whole ring and zero. So $y = 0$ or $y = 1$ holds!)
Define the function $h$ as follows : $h(x)=y$, where $y$ satisfies $(y) = (f(x),g(x))$ as ideals in $mathbb R$.
Of course, $h in R$. We claim that $(h) = (f,g)$. To see this, note that $h in (f,g)$, since for each point $x$ there exists $a_x,b_x in mathbb R$ such that $h(x) = a_xf(x)+b_xg(x)$. Define the functions $a,b in R$ by $a(x) = a_x$ and $b(x) = b_x$ to see that $h = af+bg in (f,g)$.
Next, $f in (h)$, since for each $x$ we have $f(x) in (h(x))$ , so there exists $c_x$ such that $f(x) = c_xh(x)$.You know the rest. Similarly for $g$.
Hence, $(h) = (f,g)$ is a principal ideal!
Note : When do you think $mathbb R^X$ satisfies such a property as the one above? Can you give some conditions on $X$?
A description in words of $J$ is given by those functions which vanish at all but finitely many points. We know it is an ideal, as you have shown that. We need to show that it is not principal.
Well, suppose it was principal. Let $h$ be a generator for the ideal $J$, so that $(h) = J$.
Then, $h$ vanishes only at finitely many points, say a finite set $F$. Consider a function $g$ which does not vanish at some $y notin F$,but is in $J$, then $g=hf$ implies $g(y) = h(y)f(y) = 0$, a contradiction. Hence, $g notin (f)$ but $g in J$, a contradiction.
Note : Do you think finiteness was important here? What about "vanishing at exactly two points", or "vanishing at infinitely many points"?
The point of the above exercise is that $R$ is special, in that every ideal is either principal, or infinitely generated.
answered Jan 3 at 11:32
астон вілла олоф мэллбэргастон вілла олоф мэллбэрг
40.1k33577
40.1k33577
add a comment |
add a comment |
$begingroup$
$1)$ Any function $h$ such that $h(x) = 0 Leftrightarrow f(x) = 0$ and $g(x) = 0$ will generate $(f,g)$.
$2)$ Suppose $J = (f)$ for some $f$. Then $f$ is non-zero on some finite set $S$. Pick some $g in J$ such that $g(y) neq 0$ for some $y notin S$. Then $g neq hf$ for any function $h$ (since if it were, $g(y) = h(y)f(y) = 0$, a contradiction).
$endgroup$
add a comment |
$begingroup$
$1)$ Any function $h$ such that $h(x) = 0 Leftrightarrow f(x) = 0$ and $g(x) = 0$ will generate $(f,g)$.
$2)$ Suppose $J = (f)$ for some $f$. Then $f$ is non-zero on some finite set $S$. Pick some $g in J$ such that $g(y) neq 0$ for some $y notin S$. Then $g neq hf$ for any function $h$ (since if it were, $g(y) = h(y)f(y) = 0$, a contradiction).
$endgroup$
add a comment |
$begingroup$
$1)$ Any function $h$ such that $h(x) = 0 Leftrightarrow f(x) = 0$ and $g(x) = 0$ will generate $(f,g)$.
$2)$ Suppose $J = (f)$ for some $f$. Then $f$ is non-zero on some finite set $S$. Pick some $g in J$ such that $g(y) neq 0$ for some $y notin S$. Then $g neq hf$ for any function $h$ (since if it were, $g(y) = h(y)f(y) = 0$, a contradiction).
$endgroup$
$1)$ Any function $h$ such that $h(x) = 0 Leftrightarrow f(x) = 0$ and $g(x) = 0$ will generate $(f,g)$.
$2)$ Suppose $J = (f)$ for some $f$. Then $f$ is non-zero on some finite set $S$. Pick some $g in J$ such that $g(y) neq 0$ for some $y notin S$. Then $g neq hf$ for any function $h$ (since if it were, $g(y) = h(y)f(y) = 0$, a contradiction).
answered Jan 3 at 11:25
ODFODF
1,486510
1,486510
add a comment |
add a comment |
$begingroup$
The ring $mathbb{R}^{mathbb{R}}$ is quite well behaved. For $finmathbb{R}^{mathbb{R}}$ set $Z(f)={xinmathbb{R}:f(x)=0}$.
Hint 1: $(f,g)=(f^2+g^2)$
Hint 2: $(f)={hinmathbb{R}^{mathbb{R}}:Z(h)supseteq Z(f)}$; if $J=(f)$, then $fin J$, so $Z(f)$ is cofinite (its complement is finite). Can you find a contradiction?
$endgroup$
add a comment |
$begingroup$
The ring $mathbb{R}^{mathbb{R}}$ is quite well behaved. For $finmathbb{R}^{mathbb{R}}$ set $Z(f)={xinmathbb{R}:f(x)=0}$.
Hint 1: $(f,g)=(f^2+g^2)$
Hint 2: $(f)={hinmathbb{R}^{mathbb{R}}:Z(h)supseteq Z(f)}$; if $J=(f)$, then $fin J$, so $Z(f)$ is cofinite (its complement is finite). Can you find a contradiction?
$endgroup$
add a comment |
$begingroup$
The ring $mathbb{R}^{mathbb{R}}$ is quite well behaved. For $finmathbb{R}^{mathbb{R}}$ set $Z(f)={xinmathbb{R}:f(x)=0}$.
Hint 1: $(f,g)=(f^2+g^2)$
Hint 2: $(f)={hinmathbb{R}^{mathbb{R}}:Z(h)supseteq Z(f)}$; if $J=(f)$, then $fin J$, so $Z(f)$ is cofinite (its complement is finite). Can you find a contradiction?
$endgroup$
The ring $mathbb{R}^{mathbb{R}}$ is quite well behaved. For $finmathbb{R}^{mathbb{R}}$ set $Z(f)={xinmathbb{R}:f(x)=0}$.
Hint 1: $(f,g)=(f^2+g^2)$
Hint 2: $(f)={hinmathbb{R}^{mathbb{R}}:Z(h)supseteq Z(f)}$; if $J=(f)$, then $fin J$, so $Z(f)$ is cofinite (its complement is finite). Can you find a contradiction?
answered Jan 3 at 12:07
egregegreg
185k1486206
185k1486206
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%2f3060445%2fprincipal-and-not-principal-ideals-of-the-ring-mathbbr-mathbbr%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$
By $mathbb R^{mathbb R}$, you mean the ring of functions from $mathbb R to mathbb R$ with the usual addition and multiplication, right?
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:07
$begingroup$
@астонвіллаолофмэллбэрг yes, where $(f+g)(x)=f(x)+g(x)$ and $(f cdot g)(x)=f(x) cdot g(x)$
$endgroup$
– F.inc
Jan 3 at 11:19
1
$begingroup$
Okay, thank you. I am writing an answer.
$endgroup$
– астон вілла олоф мэллбэрг
Jan 3 at 11:20