¿Es cierto que cuando un UFD es otro anillo $R$ ideal, entonces el anillo $R$ ¿es también un UFD?
Encuentro un ejemplo pero no estoy seguro: el anillo holomorfo $\mathcal O_x$ es un UFD y el anillo meromorfo $\mathcal M_x$ También es un UFD (supongo, pero no estoy seguro).