Dominio ideal principal
En matemáticas, un dominio ideal principal, o PID, es un dominio integral en el que todo ideal es principal, es decir, puede ser generado por un solo elemento. De manera más general, un anillo ideal principal es un anillo conmutativo distinto de cero cuyos ideales son principales, aunque algunos autores (por ejemplo, Bourbaki) se refieren a los PID como anillos principales. La distinción es que un anillo ideal principal puede tener cero divisores mientras que un dominio ideal principal no puede.
Los dominios ideales principales son, por lo tanto, objetos matemáticos que se comportan un poco como los números enteros, con respecto a la divisibilidad: cualquier elemento de un PID tiene una descomposición única en elementos primos (por lo que se cumple un análogo del teorema fundamental de la aritmética); dos elementos cualquiera de un PID tienen un máximo común divisor (aunque puede que no sea posible encontrarlo usando el algoritmo euclidiano). Si x y y son elementos de un PID sin divisores comunes, entonces cada elemento del PID se puede escribir en la forma ax + by.
Los dominios ideales principales son noetherianos, son integralmente cerrados, son dominios de factorización única y dominios de Dedekind. Todos los dominios euclidianos y todos los campos son dominios ideales principales.
Los principales dominios ideales aparecen en la siguiente cadena de inclusiones de clases:
- rngs. anillos. Anillos conmutativos. dominios integrales. dominios cerrados integralmente. dominios GCD. dominios de factorización únicos. principales dominios ideales. Euclidean domains. campos. campos cerrados algebraicamente
Ejemplos
Los ejemplos incluyen:
- : cualquier campo,
- : el anillo de los enteros,
- : anillos de polinomios en una variable con coeficientes en un campo. (El contrario también es cierto, es decir, si es un PID entonces es un campo.) Además, un anillo de serie de potencia formal en una variable sobre un campo es un PID ya que cada ideal es de la forma ,
- : el anillo de los enteros gausianos,
- (donde) es una raíz de cubo primitiva de 1): los enteros Eisenstein,
- Cualquier anillo de valoración discreto, por ejemplo el anillo de enteros p-adic .
No ejemplos
Ejemplos de dominios integrales que no son PID:
- es un ejemplo de un anillo que no es un dominio de factorización único, ya que Por lo tanto no es un dominio ideal principal porque los dominios ideales principales son dominios de factorización únicos.
- : el anillo de todos los polinomios con coeficientes enteros. No es el principal porque es un ejemplo de un ideal que no puede ser generado por un solo polinomio.
- : anillos de polinomios en dos variables. El ideal no es el director.
- La mayoría de anillos de enteros algebraicos no son dominios ideales principales porque tienen ideales que no son generados por un solo elemento. Esta es una de las principales motivaciones detrás de la definición de Dedekind de los dominios de Dedekind ya que un entero primario ya no puede ser factorado en elementos, en lugar de ser ideales primos. De hecho muchos para la p-t raíz de la unidad no son dominios ideales principales. De hecho, el número de clase de un anillo de enteros algebraicos da una noción de "cuán lejos" es de ser un dominio ideal principal.
Módulos
El resultado clave es el teorema de la estructura: Si R es un dominio ideal principal, y M es un finito generados R- Bien, entonces. es una suma directa de módulos cíclicos, es decir, módulos con un generador. Los módulos cíclicos son isomorfos a para algunos (notice that puede ser igual a , en cuyo caso es ).
Si M es un módulo gratuito sobre un dominio ideal principal R, entonces cada submodulo de M es otra vez libre. Esto no se mantiene para módulos sobre anillos arbitrarios, como el ejemplo de módulos sobre espectáculos.
Propiedades
En un dominio ideal principal, dos elementos cualesquiera a,b tienen un máximo común divisor, que puede ser obtenido como generador del ideal (a, b).
Todos los dominios de Euclidean son dominios ideales principales, pero el converso no es cierto. Un ejemplo de un dominio ideal principal que no es un dominio euclidiano es el anillo En este dominio no q y r existen, con 0 ≤ latitudrTENIDASAsí que , a pesar de y tener un mayor divisor común 2.
Cada dominio ideal principal es un dominio de factorización único (UFD). El converso no se mantiene desde entonces para cualquier UFD K, el anillo K[X, Y] de polinomios en 2 variables es un UFD pero no es un PID. (Para probar esta mirada al ideal generado por No es todo el anillo ya que no contiene polinomios de grado 0, pero no puede ser generado por ningún elemento único.)
- Cada dominio ideal principal es Noetherian.
- En todos los anillos unitarios, los ideales máximos son primos. En los principales dominios ideales unas poses cercanas al revés: cada ideal no cero es maximal.
- Todos los dominios ideales principales están cerrados integralmente.
Las tres afirmaciones anteriores dan la definición de un dominio de Dedekind y, por lo tanto, todo dominio ideal principal es un dominio de Dedekind.
Sea A un dominio integral. Entonces los siguientes son equivalentes.
- A es un PID.
- Cada ideal primo de A es el director.
- A es un dominio Dedekind que es un UFD.
- Cada ideal finitamente generado A es el principal (es decir, A es un dominio Bézout) y A satisface la condición de cadena ascendente en los ideales principales.
- A admite una norma Dedekind-Hasse.
Cualquier norma euclidiana es una norma de Dedekind-Hasse; por tanto, (5) muestra que un dominio euclidiano es un PID. (4) se compara con:
- Un dominio integral es un UFD si y sólo si es un dominio GCD (es decir, un dominio donde cada dos elementos tienen un divisor común más grande) satisfaciendo la condición de cadena ascendente en ideales principales.
Un dominio integral es un dominio de Bézout si y solo si dos elementos cualesquiera tienen un mcd que es una combinación lineal de los dos. Un dominio de Bézout es, por lo tanto, un dominio de GCD, y (4) da otra prueba más de que un PID es un UFD.
Contenido relacionado
Teorema de Dirichlet sobre progresiones aritméticas
Gaspard-Gustave de Coriolis
Alfred North Whitehead