Does the Subring Generated by Two UFDs Always Result in a UFD?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
Petek
Gold Member
Messages
405
Reaction score
37
Let $R$ be an integral domain. Suppose that $R_1$ and $R_2$ are proper subrings of $R$ and that both $R_1$ and $R_2$ are unique factorization domains (UFDs). Let $R_3$ be the subring of $R$ that is generated by $R_1$ and $R_2$. Is $R_3$ necessarily a UFD? (The subring generated by two subrings is defined to be the intersection of all subrings containing the two given subrings.)
 
Last edited:
Physics news on Phys.org
My solution:

[sp]$\mathbb{Z}[X^2]$ and $\mathbb{Z}[X^3]$ are both UFDs. However, the subring they generate in $\mathbb{Z}[X]$, namely $\mathbb{Z}[X^2, X^3]$, is not a UFD because $X^6=X^2\cdot X^2\cdot X^2$ and $X^6=X^3 \cdot X^3$ are two distinct factorizations of $X^6$ into irreducible elements in $\mathbb{Z}[X^2, X^3]$.[/sp]