1

For the normal definition of a PIR (every ideal is principal in the ring), is every subring also a PIR?

I can't seem to think of a counterexample.

tdashrom
  • 381
  • $\mathbb Z[X]\subset\mathbb Q[X]$ – Pierre-Yves Gaillard Apr 10 '18 at 15:47
  • @ArnaudD. is a PID equivalent to a PIR (just a difference of notation?) It may be the way I'm learning it in my class that is different – tdashrom Apr 10 '18 at 15:48
  • @Pierre-YvesGaillard so does this not hold? https://proofwiki.org/wiki/Ring_of_Integers_is_Principal_Ideal_Domain – tdashrom Apr 10 '18 at 15:51
  • 1
    @tdashrom - $\mathbb Z$ is a PID but $\mathbb Z[X]$ is not. – Pierre-Yves Gaillard Apr 10 '18 at 15:53
  • The Domain part in PID means that there are no zero divisors. PID is PIR + Domain. –  Apr 10 '18 at 16:01
  • As mentioned in the comments at the other question (but not in any answers I've seen so far, bafflingly) is that if you accept fields as PIDS (which I think should be reasonable) then every integral domain is a subring of a PID... so obviously they can't all be PIDs. – rschwieb Apr 10 '18 at 17:17

1 Answers1

1

Certainly $\Bbb C[X]$ is a PID. But $\Bbb C$ contains subrings isomorphic to $\Bbb Q[Y_1,Y_2]$ which have non-principal ideals.

Angina Seng
  • 161,540