Esta es una pregunta de un antiguo trabajo de grado de Oxford sobre cálculos en $\mathbb{Z} [\sqrt{10}]$ . Equipamos este anillo con la función de Euclides $d(a+b\sqrt{10})=|a^2-10b^2|$ . Quiero demostrar los siguientes resultados:
- Si $d(x)=1$ entonces $\frac{1}{x} \in \mathbb{Z} [\sqrt{10}]$
- Cualquier elemento no nulo de $\mathbb{Z} [\sqrt{10}]$ que no es una unidad puede expresarse como un producto de un número finito de irreducibles en $\mathbb{Z} [\sqrt{10}]$
- El ideal generado por $2$ y $\sqrt{10}$ no es principal en $\mathbb{Z} [\sqrt{10}]$
Pensamiento hasta ahora
-
Supongamos que $x=a+b\sqrt{10}$ . Evidentemente, si $x$ es una unidad, entonces $d(x)=1$ Aunque no estoy seguro de que esto ayude. ¿Está bien simplemente señalar que $\frac{1}{x}=\frac{a-b\sqrt{10}}{a^2-10b^2}$ y como $d(x)=1$ entonces el deonminador es $1$ o $-1$ .
-
Sé que esto es cierto en general en un dominio ideal principal y todo anillo euclidiano es un dominio ideal principal, pero esta prueba es larga. ¿Hay algún cálculo que se pueda realizar en $\mathbb{Z} [\sqrt{10}]$ para demostrar esta propiedad más rápidamente.
-
Cualquier ayuda sería apreciada; en realidad no estoy muy seguro de lo que este ideal se ve establecido. ¿Podría alguien ponerlo en una notación de conjunto para mí?
Muchas gracias.