Processing math: 100%

6 votos

distancia algebraica de un elemento de un anillo de un ideal

Deje A ser un anillo conmutativo y I un ideal. ¿Existe una noción de "distancia" de un elemento xA de los ideales de I? Esta "distancia", no tiene que ser de la forma AR; podría ser una expresión algebraica de la construcción, tal vez en términos de secuencias exactas y resoluciones o incluso un topológico de la construcción.

Alguna idea?

¿Existe alguna relacionada con las teorías?

Edit: vamos a considerar el más caso específico en el cual A=R[x1,,xn] I es un ideal de a A. Deje f(x)A ser un polinomio. A continuación, estoy interesado en un mecanismo que me permita determinar qué tan cerca de f(x) I y luego, posiblemente, encontrar el elemento de I que es la más cercana a f(x).

4voto

Paul VanKoughnett Puntos 3197

Aquí hay dos ideas en la parte superior de mi cabeza. ¿Hay algo específico que usted desea hacer con este tipo de construcción? (EDIT: acabo de ver tu edición. No estoy seguro de lo bien que cualquiera de lo que he dicho se aplica, pero tal vez esto te ayudará a inspirar. Lo voy a pensar más acerca de su pregunta y volver a usted.)

En primer lugar, puede formar el ideal de (I:x)={yA:xyI}. Una mayor colon ideal parece sugerir que x es multiplicatively " más cerca de la I'. Si xI, todo esto es de A; si I es el primer y xI, es igual a I. Mi aplicación favorita de este es el Lam-Reyes, el Primer Principio Ideal, que le permite a la conclusión de que los ideales maximal con respecto a ciertas propiedades son siempre prime.

Segundo, hay un natural de la topología en A llama la I-ádico de la topología. Este tiene una base dada por los conjuntos de x+InxAn0. Este es Hausdorff iff In=0, y en este caso es metrizable, con métrica dada por (por ejemplo) d(x,y)=2n si xy+In pero no y+In+1. La cosa que la gente que más comúnmente se hacen con este (especialmente cuando se A es local con ideal maximal I) es la forma de la realización, que en realidad lleva a una estructura de anillo: es sólo una limA/In.

En el caso de que es demasiado abstracto, he aquí un buen ejemplo: tome A=Z I un alojamiento ideal (p). Entonces la distancia de x 0 ('p- ádico valor absoluto') mide cuántos factores de px, con números que son altamente divisible por p está muy cerca de cero. La finalización es el límite de la inversa de sistema de Z/p3ZZ/p2ZZ/pZ. Es decir, a dar un elemento de este anillo, primero, escoja un número entero a1 mod p; a continuación, un entero a2 mod p2, que se reduce a a1 mod p; y así sucesivamente. Ya que los altos poderes de la p son pequeños, los sucesivos ai son como cada vez más cerca de aproximaciones para el elemento que desee. (Esta conclusión es llamado el 'p-ádico enteros' Zp.)

La topología de Zariski, como Frank McGovern menciona en su comentario, es en realidad una topología en el conjunto del primer ideales del anillo de A, aunque sigue siendo la mejor manera de pensar acerca de la A como un espacio topológico. Este espacio topológico lleva a un natural de la estructura de la gavilla,' y los elementos de la A son pensó mejor en este contexto global de las secciones de esta gavilla. (Dependiendo de sus antecedentes, que la última frase será obvio o no tienen sentido. Si el último, un vistazo a un libro de introducción a la geometría algebraica, como Ravi Vakil notas.)

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