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

AI Thread Summary
The discussion centers on whether the subring generated by two unique factorization domains (UFDs) is itself a UFD. It is established that while both $\mathbb{Z}[X^2]$ and $\mathbb{Z}[X^3]$ are UFDs, their generated subring $\mathbb{Z}[X^2, X^3]$ is not a UFD. This is demonstrated by the existence of two distinct factorizations of $X^6$ within the subring. Consequently, the answer to the original question is negative; the subring generated by two UFDs does not necessarily result in a UFD. The findings highlight the complexities in the structure of subrings formed from UFDs.
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:
Mathematics 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]
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Back
Top