[Math] Is any subring of a Euclidean domain a unique factorization domain

abstract-algebraring-theory

Let $R$ be a Euclidean domain. Then any subring $S$ of $R$ is a unique factorization domain. Is this statement true or not?

my idea: $R$ is a Euclidean domain implies that $R$ is a principal ideal domain. Hence $R$ is a unique factorization domain. Hence for any $r\in R$, there is a unique expression $r=u\cdot\Pi_{i=1}^n p_i$, where $u$ is a unit in $R$ and $p_i$ is irreducible in $R$. The expression is unique up to multiples of units in $R$ to each of the factor. This implies that for any $s\in S$, there is a unique expression $s=u\cdot\Pi_{i=1}^n p_i$, where $u$ is a unit in $R$ and $p_i$ irreducible in $S$. The expression is unique up to multiples of units in $R$ to each factor. But a unit in $R$ is not neccesarily a unit in $S$. What can I do?

Best Answer

The answer is no. Take $K[x]$ the ring of polynomials with coefficients in the field $K$. Let $R$ be the subring of $K[x]$ consisting of those polynomials with linear coefficient equal to $0$. Then consider the following two factorizations

$$x^6=x^3\cdot x^3 \textrm{ and } x^6=x^2\cdot x^2 \cdot x^2$$

You can prove that $x^3$ and $x^2$ are irreducible and distinct in $R$ so that you get two distinct factorizations of the same element of $R$, proving that $R$ is not UFD.