Timeline for Is being principal a local property?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 13, 2012 at 18:19 | comment | added | Lennart Galinat | To help you with your problem: There are two steps one needs to consider (whose proof I leave to you). 1.) In a UFD any prime ideal of height one is principal. 2.) An ideal maximal among non-principal ideals is automatically a prime ideal. | |
| Oct 13, 2012 at 17:00 | history | edited | R.P. | CC BY-SA 3.0 |
added 16 characters in body
|
| Oct 13, 2012 at 16:51 | comment | added | Abramo | Yes I forgot to write Dedekind domain. I need to prove that a Dedekind domain which is also a UFD is a PID... it is driving me crazy! By the way of course is $R$ is a PID then $I$ is principal! ;-) | |
| Oct 13, 2012 at 16:45 | history | answered | R.P. | CC BY-SA 3.0 |