Timeline for Is an irreducible ideal in $R$ also irreducible in $R[x]$?
Current License: CC BY-SA 3.0
13 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
Sep 1, 2015 at 3:33 | history | edited | Pham Hung Quy | CC BY-SA 3.0 |
added 105 characters in body
|
Sep 1, 2015 at 2:57 | history | edited | Pham Hung Quy | CC BY-SA 3.0 |
added 180 characters in body
|
S Aug 31, 2015 at 19:47 | history | suggested | Thomas Kahle | CC BY-SA 3.0 |
Streamline many small details, fix typos, make proof understandable to me.
|
Aug 31, 2015 at 19:35 | vote | accept | Thomas Kahle | ||
Aug 31, 2015 at 19:35 | comment | added | Thomas Kahle | Thank you! I've taken the liberty to edit your proof a little. As you say, it's not short, but quite elementary. Nice. | |
Aug 31, 2015 at 19:34 | review | Suggested edits | |||
S Aug 31, 2015 at 19:47 | |||||
Aug 31, 2015 at 10:44 | comment | added | Pham Hung Quy | I edited my answer more detail (add a Fact). | |
Aug 31, 2015 at 10:43 | history | edited | Pham Hung Quy | CC BY-SA 3.0 |
added 695 characters in body
|
Aug 31, 2015 at 8:09 | comment | added | Thomas Kahle | Thank you for your answer. There are a number of things that I don't understand yet. Can you please explain: Why can you saturate at X ("since X is indeterminate")? In Claim 1, are you saying that you want to choose f,g so that Claim 1 is satisfied? What do you mean by "then we replace"/why can you replace $f$? And then David Lamperts comment. It would be great if you could fill in some more detail. Thanks! | |
Aug 28, 2015 at 19:24 | history | edited | Pham Hung Quy | CC BY-SA 3.0 |
added 9 characters in body
|
Aug 28, 2015 at 19:15 | comment | added | David Lampert | Nice! Just a minor clarification at the end: $g'=X^{m-m'}g'', (f) \cap (g'') \neq 0$ by minimality, $uf=vg'', X^{m-m'}uf=v(g-f)$, then finish as above. | |
Aug 28, 2015 at 18:40 | history | answered | Pham Hung Quy | CC BY-SA 3.0 |