# Something wrong my proof that $\mathbb{Z}[x]$ is not a PID nor an Euclidean domain?

My proof goes as follows:

Suppose for contradiction that $\mathbb{Z}[x]$ is a PID. Then the ideal generated by any irreducible element is maximal. We know that $x^2+1$ is irreducible in $\mathbb{Z}[x]$ so $(x^2+1)$ should be maximal; $(x^2+1) \ne \mathbb{Z}[x]$ since $1 \notin (x^2+1)$. However, $(x^2+1) \subset (x^2+1, x)$, and the containment is strict since $x \notin (x^2+1)$. Thus $(x^2+1)$ is not maximal, and $\mathbb{Z}[x]$ is not a PID, and therefore also not an Euclidean domain.

I feel like I made a mistake somewhere because $x^2+1$ is also irreducible over $\mathbb{Q}$ so the same argument should work for $\mathbb{Q}[x]$, but I know that $\mathbb{Q}[x]$ is an Euclidean domain (and thus a PID) since $\mathbb{Q}$ is a field. Where is my mistake? Am I wrong to say $(x^2+1) \subset (x^2+1, x)$ when considered as ideals over $\mathbb{Q}[x]$?

• The ideal generated by $x^2+1$ and $x$ is the full ring $\mathbb{Z}[x]$. – André Nicolas Nov 10 '15 at 5:40
• Ah, because $\gcd(x^2+1, x) = 1$? – Kevin Sheng Nov 10 '15 at 5:42
• Or more simply because $x^2+1-(x)(x)=1$. Same idea. – André Nicolas Nov 10 '15 at 5:43
• Try the ideal generated by $x$ and $2$. – André Nicolas Nov 10 '15 at 5:48
• Yes, that is the proof my book gives but I was just trying to come up with an alternative approach. Thanks for the help. – Kevin Sheng Nov 10 '15 at 5:49

The example does not work, because the ideal generated by $x^2+1$ and $x$ is all of the ring.

Try the ideal generated by $2$ and $x$. It should not be hard to show that this ideal is not principal.

Well, "the ideal generated by any irreducible element is maximal" is not true.
Instead, "the ideal generated by any irreducible element is prime" is always true.

In fact, irreducibility means "$fg∈I \Rightarrow f∈I$ or $g∈I$", which is the property of prime ideal.

EDIT I was also wrong: A counterexample is $3 \in Z[\sqrt{-5}]$ (referred to in Wikipedia).
The truth is "the ideal generated by any prime element is prime".

• But if you're in a UFD, then irreducible = prime! – oxeimon Nov 15 '15 at 2:37
• Yes, so I had to say Z[X] is UFD, from the fact that if R is UFD then R[X] is also UFD. – aerile Nov 16 '15 at 13:40
{"ft_lang_label":"__label__en","ft_lang_prob":0.86075276,"math_prob":0.9994858,"size":857,"snap":"2019-35-2019-39","text_gpt3_token_len":292,"char_repetition_ratio":0.17116061,"word_repetition_ratio":0.0,"special_character_ratio":0.3453909,"punctuation_ratio":0.08947369,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99995804,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-09-17T16:13:24Z\",\"WARC-Record-ID\":\"<urn:uuid:2e6223e0-51ab-4488-be64-bb712bb50267>\",\"Content-Length\":\"147598\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:46b7c0da-77dc-40f7-91f2-fac77ad65e83>\",\"WARC-Concurrent-To\":\"<urn:uuid:f7ed2af5-6118-4214-bec2-8d84b79f5305>\",\"WARC-IP-Address\":\"151.101.129.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/1522025/something-wrong-my-proof-that-mathbbzx-is-not-a-pid-nor-an-euclidean-doma\",\"WARC-Payload-Digest\":\"sha1:BNOM2TDH4USK2NTVE5QSZF2QI6LCU6WL\",\"WARC-Block-Digest\":\"sha1:R7JZI76DEF2TWULYLA3ANE433BGPOJOB\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-39/CC-MAIN-2019-39_segments_1568514573098.0_warc_CC-MAIN-20190917161045-20190917183045-00230.warc.gz\"}"}