¿Hay un buen ejemplo de un polinomio con factorización no único en el subanillo de <span class="math-container">$\mathbb Q[X,Y]$</span> de polinomios que define funciones <span class="math-container">$\mathbb Z^2\to\mathbb Z$</span>?
No creo que este anillo sea un UFD debido a la posibilidad de multiplicar los factores únicos en <span class="math-container">$\mathbb Q[X,Y]$</span> de diferentes maneras para obtener a veces diferentes factores irreducibles en el anillo.