4 votos

¿Son los cocientes de anillos polinomiales casi UFDs?

Si K es un campo, entonces el polinomio anillo K[x1,..,xn] es una unidad flash usb. Por otro lado, los coeficientes de un polinomio anillo no suelen disfrutar de la única factorización: consideremos, por ejemplo, R[x,y] modulo el ideal (x2+y2-1). Entonces x2=(1-y)(1+y) y de la misma manera y2=(1-x)(1+x). (Sobre los números complejos también tenemos 1=(x+i y)(x-i y), y, como Georges señala, el cociente del anillo es en realidad un disco flash usb.)

Mi pregunta es: ¿son estas (en algún sentido) los únicos ejemplos que se pueden tenerse en cuenta las diferentes maneras? Permítanme explicar lo que quiero decir: El cociente del anillo (más de los reales), llamar a Un, es Noetherian por lo que cada elemento puede ser tenidos en cuenta en la irreductible. Me interesaría ver más elementos (no es un múltiplo de la de arriba) que no factorizar de forma única. Puede ser algo interesante dijo acerca de esos elementos?

Lo que sucede en la más general de cociente de los anillos (supongamos que son los dominios)?

Gracias por la ayuda y consejos (en particular, aquellos que ya recibieron!), así como por su paciencia si esto es trivial.

31voto

Nick Cox Puntos 16

No,los coeficientes del polinomio anillos definitivamente no son "casi Ufd".

Cualquier finitely generado anillo sobre K es un cociente y esto significa un montón de no Ufd. Dicho de otra manera, cualquier algebraicas variedad afín en el espacio sobre K tiene como anillo de funciones regulares uno de sus cocientes y, en general, (como su propio ejemplo más de $\mathbb R$ estados) no va a ser un disco flash usb.

Por cierto, entre paréntesis su comentario sobre el caso complejo es un poco ambiguo: $\mathbb C[x,y]/(x^2+y^2-1)$ ES un UFD: por el cambio de variables u=x+iy,v=x-iy este anillo se convierte en $\mathbb C[u,v]/(uv-1)=\mathbb C[u,1/u]$, que es el factorial e incluso un PID ( Razón: Si $A$ es un PID, por lo que es cada anillo de fracciones de $A_S$ [...menos en el campo, Bourbakistas])

6voto

Vetle Puntos 413

(Edit: yo un poco confundida con su pregunta. En esta respuesta de "la única factorización" significa "ideales", no de los elementos.)

Voy a tratar de dar una respuesta básica, aunque todavía estoy aprendiendo acerca de estas cosas a mí mismo. El tipo de no-factorización única que ha identificado es debido al hecho de que $\mathbb{R}$ no es algebraicamente cerrado, y no es tan interesante como otro tipo de no-factorización única, que voy a ejemplificar con $\mathbb{C}[x, y]/(y^2 - x^3)$. Tales anillos surgir como anillos de funciones en las curvas algebraicas, y en ese caso uno puede identificar exactamente cuál es la causa única de la factorización de a fallar, que es la existencia de singularidades (aquí, en el punto de $(x, y) = (0, 0)$).

Más precisamente, se sabe que el anillo de funciones en una curva algebraica $f(x, y) = 0$ tiene la única factorización de ideales si y sólo si cada punto es nonsingular en el sentido de que las derivadas parciales $\frac{\partial}{\partial x}, \frac{\partial}{\partial y}$ nunca simultáneamente se desvanecen. La intuición geométrica aquí es que a nivel local, en un punto singular de una variedad se ve como la intersección de un número de líneas, es decir, es "localmente reducible," por lo que el ideal maximal asociado a ese punto no es generado por un elemento. Para $\mathbb{C}[x, y]/(y^2 - x^3)$ el punto singular en $(0, 0)$ es una cúspide donde dos líneas se encuentran y la correspondiente ideal generado por a $x$ $y$ pero satisface una relación no trivial, y este es, precisamente, que no es único de la factorización. Más en general creo que uno puede caracterizar los ideales sin factorización única, precisamente, como los ideales de fuga en puntos singulares.

De todos modos, el resultado de todo esto es que como Greg indica, es posible que las variedades que tienen un montón de desagradables singularidades. Por otro lado, es relativamente fácil para solucionar este problema de la curva algebraica caso: la integral el cierre del anillo de las funciones especiales de factorización.

(De nuevo, todavía estoy aprendiendo sobre esta materia, así que si he malinterpretado algo, por favor hágamelo saber!)


O tal vez sólo quería saber algo acerca de su caso específico. Hacer la sustitución $x = \frac{1 - t^2}{1 + t^2}, y = \frac{2t}{1 + t^2}$; a continuación, por ejemplo, $x^2 = (1 + y)(1 - y)$ puede ser escrito como $(1 - t^2)^2 = (1 + 2t + t^2)(1 - 2t + t^2)$. Así que aquí el fracaso de la única factorización es bastante simple: ciertos polinomios en $t$ están siendo tratados como prime que "no debería ser". Por otro lado cualquier polinomio en $x, y$ que, cuando se escribe como una función racional en $t$, evita estas anómalas de los números primos, se tiene la costumbre factorización prima propiedades como un polinomio en $t$, pero estos factores primos no necesariamente provienen de polinomios en $x, y$.

6voto

Chad Cooper Puntos 131

Como lo interpreto, la respuesta a su pregunta es "sí"; Todas las formas en que la factorización única falla provienen de escribir un elemento de su ideal como la diferencia de dos productos.

El punto que los comentaristas anteriores están haciendo es que no debes pensar en esto como una propiedad interesante o útil en absoluto. En general, entender todos los elementos de un ideal es difícil y todas las formas de escribir un producto es demasiado para que un cerebro humano pueda asimilarlo.

0voto

Damian Powell Puntos 162

Yo diría que no es cierto que los cocientes de anillos de polinomios son "casi Ufd".

Para empezar, al ser un cociente de $k[x_1,\ldots,x_n]$ algunos $n$ dice que el anillo es finitely generado más de $k$. Si $k$ es un campo de estos anillos están razonablemente bien, pero que todavía puede ser bastante "mal comportamiento" y un largo camino lejos de tener factorización única.

Por ejemplo, uno puede ver la clase de grupo de un dominio de Dedekind $A$ como medir que tan mal única factorización de la falla en $A$. Este grupo puede ser muy grande, incluso cuando $A$ es finitely generado sobre un campo de tomar el anillo correspondiente a una curva elíptica con un punto eliminados da ejemplos con infinita del grupo de clase (la clase de grupo es bastante subyacente de curva elíptica en este caso).

En realidad es un teorema de Claborn que cualquier grupo abelian se produce como el grupo de clase de algunas de dominio de Dedekind. No estoy seguro de hasta qué punto uno puede llegar a trabajar con finitely generan álgebras de más de un campo, aunque hay otros resultados en esta dirección que permiten a uno para la construcción de tales ejemplos, tomando integral cierres en cuadrática extensiones creo, o a través de los anillos de funciones en curvas elípticas (este segundo trabajo de Rosen originalmente).

Y todo esto es sólo en la dimensión 1.

Entiendo que la otra parte de su pregunta ahora y me gusta Ben respuesta. En la dimensión superior, tratando de entender esto va a empeorar, creo que la mejor declaración general que se puede hacer sobre único de la factorización es que cada anillo local regular es un UFD así que si la geometría de la encarnación de su álgebra es la singularidad es localmente un UFD.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X