domingo, 31 de marzo de 2019

LISTAS RELACIONADAS CON LAS MATEMÁTICAS - ÁLGEBRA ABSTRACTA


centro o centro se usa en varios contextos en álgebra abstracta para denotar el conjunto de todos aquellos elementos que conmutan con todos los demás elementos.
  • El centro de un grupo G consiste en todos aquellos elementos x en G tal que xg = gx para todos g en G . Este es un subgrupo normal de G .
  • La noción de nombre similar para un semigrupo se define de la misma manera y es un subgrupo. [1] [2]
  • El centro de un anillo (o un asociativo álgebra ) R es el subconjunto de R que consiste en todos los elementos x de R tal que xr = rx para todo r en R . [3] El centro es una conmutativa subanillo de R .
  • El centro de un álgebra de Lie L consta de todos los elementos x en L tal que [ x , un ] = 0 para todos una en L . Se trata de una ideales del álgebra de Lie L .















álgebra abstracta , un ideal es un subconjunto especial de un anillo . Los ideales generalizan ciertos subconjuntos de los enteros , como los números pares o los múltiplos de 3. La suma y resta de los números pares preserva la uniformidad, y la multiplicación de un número par por cualquier otro número entero da como resultado otro número par; estas propiedades de cierre y absorción son las propiedades definitorias de un ideal. Se puede usar un ideal para construir un anillo cociente de manera similar a la forma en que, en teoría de grupos , se puede usar un subgrupo normal para construir un anillo cociente.grupo cociente .
Entre los enteros, los ideales se corresponden uno a uno con los enteros no negativos : en este anillo, cada ideal es un ideal principal que consiste en los múltiplos de un solo número no negativo. Sin embargo, en otros anillos, los ideales pueden ser distintos de los elementos del anillo, y ciertas propiedades de los enteros, cuando se generalizan a los anillos, se unen más naturalmente a los ideales que a los elementos del anillo. Por ejemplo, los ideales primarios de un anillo son análogos a los números primos , y el teorema del resto chino se puede generalizar a los ideales. Hay una versión de factorización prima única para los ideales de un dominio de Dedekind (un tipo de anillo importante enteoría de números ).
El concepto de orden ideal en la teoría del orden se deriva de la noción de ideal en la teoría de anillos. Un ideal fraccional es una generalización de un ideal, y los ideales habituales a veces se llaman ideales integrales para mayor claridad.

Historia editar ]

Los ideales fueron propuestos por primera vez por Richard Dedekind en 1876 en la tercera edición de su libro Vorlesungen über Zahlentheorie (inglés: Lectures on Number Theory ). Eran una generalización del concepto de números ideales desarrollado por Ernst Kummer . [1] [2] Más tarde, el concepto fue ampliado por David Hilbert y especialmente Emmy Noether .

Definiciones y motivación editar ]

Para un anillo arbitrario. , dejar Ser su grupo aditivo . Un subconjuntose llama un ideal de izquierda si es un subgrupo aditivo de  que "absorbe la multiplicación de la izquierda por elementos de "; es decir, es un ideal de izquierda si satisface las siguientes dos condiciones:
  1. es un subgrupo de
  2. Para cada  y cada , el producto  es en .
Un ideal de la derecha se define con la condición " rx ∈ I " reemplazado por " xr ∈ I. Un ideal de dos caras es un ideal de la izquierda que también es un ideal de la derecha, y a veces simplemente se llama un ideal. Podemos ver una izquierda ( . resp derecha, dos caras) ideal de R como una izquierda (resp derecha, bi-). R - submódulo de R visto como una R . -module Cuando R es un anillo conmutativo, las definiciones de la izquierda, derecha, y dos El ideal de dos lados coincide, y el término ideal se usa solo.
Para comprender el concepto de ideal, considere cómo surgen los ideales en la construcción de anillos de "elementos módulo". Para concretar, veamos el anillo ℤ n de enteros módulo a un entero dado n ∈ ℤ (tenga en cuenta que ℤ es un anillo conmutativo). La observación clave aquí es que obtenemos ℤ n tomando ℤ y envolviéndolo alrededor de sí mismo para que n se identifique con 0 (ya que n es congruente con 0 módulo n ). Sin embargo, al hacerlo debemos asegurarnos de que la estructura resultante sea nuevamente un anillo. Este requisito nos obliga a realizar algunas identificaciones adicionales. La noción de ideal surge cuando hacemos la pregunta:
¿Cuál es el conjunto exacto de enteros que nos vemos obligados a identificar con 0?
La respuesta es el conjunto n ℤ = { n ⋅ m | m ∈ ℤ} de todos los enteros congruentes con 0 módulo n . Es decir, debemos envolver ℤ alrededor de sí mismo infinitas veces para que los enteros ..., n ⋅ -2 , n ⋅ -1 , n ⋅ +1 , n ⋅ +2 , ... se alineen con 0. Si nos fijamos en las propiedades que este conjunto debe satisfacer para garantizar que ℤ nsea ​​un anillo, luego llegamos a la definición de un ideal. De hecho, uno puede verificar directamente que n ℤ es un ideal de ℤ.
Observación. Las identificaciones con elementos distintos a 0 también deben hacerse. Por ejemplo, los elementos en 1 + n ℤ deben identificarse con 1, los elementos en 2 + n ℤ deben identificarse con 2, y así sucesivamente. Sin embargo, aquellos están determinados únicamente por n ℤ, ya que  es un grupo aditivo.
Podemos hacer una construcción similar en cualquier anillo conmutativo R : comenzar con un x ∈ R arbitrario , y luego identificar con 0 todos los elementos del ideal xR = { xr  : r ∈ R }. Resulta que el xR ideal es el ideal más pequeño que contiene x , llamado ideal generado por x . De manera más general, podemos comenzar con un subconjunto arbitrario S ⊆ R , y luego identificar con 0 todos los elementos en el ideal generado por S : el ideal más pequeño ( S ) tal que S⊆ ( S ). El anillo que obtenemos después de la identificación depende solo del ideal ( S ) y no del conjunto S con el que comenzamos. Es decir, si ( S ) = ( T ), entonces los anillos resultantes serán los mismos.
Por lo tanto, un ideal I de un anillo conmutativo R captura canónicamente la información necesaria para obtener el anillo de elementos de R módulo un subconjunto dado S ⊆ R . Los elementos de I , por definición, son aquellos que son congruentes con cero, es decir, identificados con cero en el anillo resultante. El anillo resultante se llama el cociente de R por I y se denota R / I . Intuitivamente, la definición de un ideal postula dos condiciones naturales necesarias para que I contenga todos los elementos designados como "ceros" por R / I :
  1. I es un subgrupo aditivo de R : el cero 0 de R es un "cero" 0 ∈ I , y si  I y x 2 ∈ I son "ceros", entonces - x 2 ∈ I es un "cero " también.
  2. Cualquier r ∈ R multiplicado por un "cero" x ∈ I es un "cero" rx ∈ I .
Resulta que las condiciones anteriores son también suficientes para I para contener todos los "ceros" necesarios: no hay otros elementos tienen que ser designado como "cero" con el fin de formar R / I . (De hecho, ningún otro elemento debe designarse como "cero" si queremos hacer la menor cantidad de identificaciones).
Observación. Si R no es necesariamente conmutativa, la construcción anterior todavía funciona utilizando ideales de dos caras.

Ejemplos y propiedades editar ]

Para ser concisos, algunos resultados se presentan solo para los ideales de la izquierda, pero por lo general también son ciertos para los ideales de la derecha con los cambios de notación apropiados.
  • En un anillo R , el conjunto R en sí mismo forma un ideal a dos caras de R llamado ideal de unidad . A menudo también se denota por ya que es precisamente el ideal bilateral generado (ver más abajo) por la unidad Además, el conjuntoque consiste solo en la identidad aditiva 0 R forma un ideal de dos lados llamado cero ideal y se denota por[nota 1] Cada ideal (izquierdo, derecho o de dos caras) contiene el ideal cero y está contenido en el ideal de la unidad.
  • Un ideal (izquierdo, derecho o de dos caras) que no es el ideal de la unidad se denomina ideal adecuado (ya que es un subconjunto adecuado ). [3] Nota: un ideal de izquierda es apropiado si y solo si no contiene un elemento unitario, ya que si  es un elemento unitario, entonces  para cada Típicamente hay muchos ideales apropiados. De hecho, si R es un campo de sesgo , entoncesson sus únicos ideales y, a la inversa, es decir, un anillo R distinto de cero es un campo de sesgo siSon los únicos ideales de izquierda (o derecha). (Prueba: si es un elemento distinto de cero, entonces el principal ideal izquierdo  (ver abajo) no es cero y por lo tanto es decir, para algunos que no sean cero Igualmente, para algunos que no sean cero Entonces.)
  • Los enteros pares forman un ideal en el anillo.de todos los enteros; por lo general se denota porEsto se debe a que la suma de cualquier entero par es par, y el producto de cualquier entero con un entero par también es par. De manera similar, el conjunto de todos los enteros divisibles por un entero fijo n es un ideal denotado.
  • El conjunto de todos los polinomios con coeficientes reales que son divisibles por el polinomio 2 + 1 es un ideal en el anillo de todos los polinomios.
  • El conjunto de todas las matrices n- by- n cuya última fila es cero forma un ideal correcto en el anillo de todas las matrices n- by- n . No es un ideal de izquierda. El conjunto de todas las matrices n -by- n cuya última columna es cero forma un ideal de izquierda pero no un ideal de derecha.
  • El anillo de todas las funciones continuas f desde a bajo punto a punto, la multiplicación contiene el ideal de todas las funciones continuas f tal que f (1) = 0. Otro ideal enviene dado por aquellas funciones que se desvanecen para argumentos suficientemente grandes, es decir, aquellas funciones continuas f para las cuales existe un número L > 0 tal que f ( x ) = 0 siempre que | x | L .
  • Un anillo se llama un anillo simple si no es cero y no tiene ideales bilaterales aparte dePor lo tanto, un campo de sesgo es simple y un simple anillo conmutativo es un campo. El anillo de matriz sobre un campo de sesgo es un anillo simple.
  • Si Es un anillo de homomorfismo , entonces el núcleo. es un ideal de dos caras de Por convención, y asi si , entonces es un ideal propio. Más generalmente, para cada ideal izquierdo I de S , la imagen previaEs un ideal de izquierda. Si I es un ideal de izquierda de R , entonces Es un ideal de izquierda del subring. de S : a menos que f sea ​​suryectivo,No es necesario que sea un ideal de S ; ver también #Extensión y contracción de un ideal acontinuación.
  • Correspondencia ideal : dado un homomorfismo de anillo suryectivo., hay una correspondencia bijetiva que preserva el orden entre los ideales de la izquierda (resp. derecha, dos caras) de  que contiene el núcleo de  y los ideales de la izquierda (resp. derecha, dos caras) de : la correspondencia está dada por  y la pre-imagen .
  • (Para aquellos que saben módulos) Si M es un módulo R izquierdo yun subconjunto, entonces el aniquilador de S es un ideal de izquierda. Ideales dadosde un anillo conmutativo R , el aniquilador R dees un ideal de R llamado el cociente ideal de por  y se denota por Es una instancia de idealizador en álgebra conmutativa.
  • Dejar ser una cadena ascendente de ideales izquierdos en un anillo R ; es decir, es un conjunto totalmente ordenado y  para cada Entonces la uniones un ideal a izquierda de R . (Nota: este hecho permanece cierto incluso si R no tiene la unidad 1).
  • El hecho anterior junto con el lema de Zorn demuestra lo siguiente: si es un subconjunto posiblemente vacío y es un ideal de izquierda que está separado de E , entonces hay un ideal que es máximo entre los ideales que contieneny disjunta de E . (De nuevo, esto sigue siendo válido si el anillo R carece de la unidad 1.) Cuando, tomando  y En particular, existe un ideal de izquierda que es máximo entre los ideales de izquierda apropiados (a menudo simplemente llamado ideal de izquierda máximo); Ver el teorema de Krull para más.
  • Una unión arbitraria de ideales no tiene por qué ser un ideal, pero lo siguiente sigue siendo cierto: dado un subconjunto X de R posiblemente vacío , existe el ideal izquierdo más pequeño que se llama X , el ideal izquierdo generado por X y se denota porUn ideal Tal existe ya que es la intersección de todos los ideales que dejan que contienen X . Equivalentemente,es el conjunto de todas las combinaciones lineales (finitas) de R en la izquierda de los elementos de X sobre R :
(dado que dicho intervalo es el ideal izquierdo más pequeño que contiene X ). [4] Un ideal derecho (resp. de dos lados) generado por X se define de la misma manera. Para "dos caras", uno tiene que usar combinaciones lineales de ambos lados; es decir,
  • Un ideal izquierdo (resp. Derecha, dos caras) generado por un solo elemento x se llama el ideal principal izquierdo (resp. Derecha, dos caras) generado por x y se denota por (resp. ). El ideal principal de dos caras. a menudo también se denota por Si es un conjunto finito, entonces  también se escribe como .
  • En el ring  de enteros, cada ideal puede ser generado por un solo número es un dominio ideal principal ), como consecuencia de la división euclidiana (o de alguna otra manera).
  • Existe una correspondencia biyectiva entre los ideales y las relaciones de congruencia (relaciones de equivalencia que respetan la estructura de anillo) en el anillo: Dado un ideal I de un anillo R , dejar que x ~ ysi x - y ∈ I . Entonces ~ es una relación de congruencia en R . A la inversa, dada una relación de congruencia ~ en R , sea I = { x  : x ~ 0}. Entonces I es un ideal de R .

Tipos de ideales editar ]

Para simplificar la descripción, se supone que todos los anillos son conmutativos. El caso no conmutativo se discute en detalle en los artículos respectivos.
Los ideales son importantes porque aparecen como núcleos de homomorfismos de anillo y permiten definir anillos de factor . Se estudian diferentes tipos de ideales porque se pueden usar para construir diferentes tipos de anillos de factores.
  • Ideal maximal : Un ideales adecuada I se llama una ideal maximal si no existe ningún otro ideal adecuado Jcon I un subconjunto propio de J . El anillo factorial de un ideal máximo es un anillo simple en general y es uncampo para anillos conmutativos. [5]
  • Ideal mínimo : un ideal distinto de cero se denomina mínimo si no contiene ningún otro ideal distinto de cero.
  • Ideal primo : Un ideales adecuado que se llama un ideal primo si por alguna una y b en R , si ab está enque , al menos uno de un y b se encuentra en I . El anillo factorial de un ideal primario es un anillo primario en general y es un dominio integral para anillos conmutativos.
  • Radical ideales o ideales semiprimo : Un ideales adecuado que se llama radical o semiprimo si por algunauna en R , si un n está en que por algún n , a continuación, una se encuentra en I . El anillo factorial de un ideal radical es un anillo semiprime para anillos generales, y es un anillo reducido para anillos conmutativos.
  • Ideal primario : un ideal I se llama ideal primario si para todos a y b en R , si ab está en I , entonces al menos uno de a y b n está en I para algún número natural n . Cada ideal principal es primario, pero no a la inversa. Un ideal primario semiprime es primo.
  • Ideal principal : un ideal generado por un elemento.
  • Ideal finamente generado : este tipo de ideal se genera finamente como un módulo.
  • Ideal primitivo : un ideal primitivo izquierdo es el aniquilador de un módulo izquierdo simple .
  • Ideal irreducible : se dice que un ideal es irreducible si no se puede escribir como una intersección de ideales que lo contienen adecuadamente.
  • Ideales comaximales : dos idealesse dice que son comaximales si para algunos  y .
  • Ideal regular : Este término tiene múltiples usos. Vea el artículo para una lista.
  • Ideal nulo : un ideal es un ideal nulo si cada uno de sus elementos es nilpotente.
  • Ideal nilpotente : parte de su poder es cero.
  • Parámetro ideal : un ideal generado por un sistema de parámetros .
Otros dos términos importantes que usan "ideal" no son siempre ideales de su anillo. Vea sus respectivos artículos para más detalles:
  • Ideales fraccional : Esta se define generalmente cuando R es un dominio conmutativa con campo cociente KA pesar de sus nombres, los ideales fraccionarios sonsubmódulos R de K con una propiedad especial. Si el ideal fraccional está contenida enteramente en R , entonces es verdaderamente un ideal de R .
  • Ideales invertible : Por lo general, un ideal invertible A se define como un ideal fraccionado por el que hay otro ideales fraccional B tal que AB = BA = R . Algunos autores también pueden aplicar "ideal invertible" a los ideales de anillo ordinarios A y B con AB = BA = R en anillos distintos de los dominios.

Operaciones ideales editar ]

La suma y el producto de los ideales se definen a continuación. por  y , izquierda (resp. derecha) ideales de un anillo R , su suma es
,
que es un ideal de izquierda (resp. derecha), y, si  son de dos caras,
es decir, el producto es el ideal generado por todos los productos de la forma ab con una enb en.
Nota  es el ideal más pequeño a la izquierda (resp. derecha) que contiene ambos  y  (o el sindicato ), mientras que el producto  está contenido en la intersección de  y .
La ley distributiva se mantiene para los ideales bilaterales. ,
  • ,
  • .
Si un producto es reemplazado por una intersección, una ley de distribución parcial sostiene:
donde la igualdad se mantiene si  contiene  o .
Observación : La suma y la intersección de ideales es nuevamente un ideal; con estas dos operaciones como unirse y reunirse, el conjunto de todos los ideales de un anillo dado forma una red modular completa La red no es, en general, una red distributiva . Las tres operaciones de intersección, suma (o unión) y producto convierten el conjunto de ideales de un anillo conmutativo en una cuantla .
Si Son ideales de un anillo conmutativo R , entonces en los dos casos siguientes (al menos)
  •  Es generado por elementos que forman una secuencia regular módulo. .
(De manera más general, la diferencia entre un producto y una intersección de ideales se mide mediante el functor Tor :[6] )
Un dominio integral se llama dominio Dedekind si para cada par de ideales, hay un ideal  tal que [7] Entonces se puede mostrar que cada ideal distinto de cero de un dominio de Dedekind se puede escribir de forma única como un producto de ideales máximos, una generalización del teorema fundamental de la aritmética.

Ejemplos de operaciones ideales editar ]

En  tenemos
ya que  es el conjunto de enteros que son divisibles por ambos  y .
Dejar  y deja Entonces,
  •  y 
  •  mientras 
En el primer cálculo, vemos el patrón general para tomar la suma de dos ideales generados finamente, es el ideal generado por la unión de sus generadores. En los últimos tres observamos que los productos y las intersecciones concuerdan cuando los dos ideales se intersecan en el ideal cero. Estos cálculos se pueden verificar utilizando Macaulay2 . [8] [9] [10]

Radical de un anillo editar ]

Los ideales aparecen naturalmente en el estudio de los módulos, especialmente en la forma de un radical.
Para simplificar, trabajamos con anillos conmutativos pero, con algunos cambios, los resultados también son ciertos para los anillos no conmutativos.
Sea R un anillo conmutativo. Por definición, un ideal primitivo de R es el aniquilador de un módulo R simple(distinto de cero) El radical jacobson de R es la intersección de todos los ideales primitivos. Equivalentemente,
De hecho, si es un módulo simple y x es un elemento distinto de cero en M , entonces y , sentido Es un ideal máximo. A la inversa, si es un ideal maximo, entonces Es el aniquilador del simple módulo RTambién hay otra caracterización (la prueba no es dura):
Para un anillo no necesariamente conmutativo, es un hecho general que es un elemento unitario si y solo si es (ver el enlace) y así esta última caracterización muestra que el radical se puede definir tanto en términos de ideales primitivos de izquierda como de derecha.
El siguiente hecho simple pero importante ( el lema de Nakayama ) está integrado en la definición de un radical de Jacobson: si M es un módulo tal que, entonces M no admite un submódulo máximo , ya que si hay un submódulo máximo y entonces , una contradicción. Dado que un módulo finamente generado distinto de cero admite un submódulo máximo, en particular, uno tiene:
Si M se genera finitamente, entonces
Un ideal máximo es un ideal primordial y por eso uno tiene
en la intersección de la izquierda se llama la nilradical de R . Como resulta,es también el conjunto de elementos nilpotentes de R .
Si R es un anillo artiniano , entonces es nilpotente y (Prueba: primera nota que el DCC implicapara algunos n . Si (DCC) Es un ideal adecuadamente mínimo sobre este último, entonces Es decir,, una contradicción.

Extensión y contracción de un ideal editar ]

Sean A y B dos anillos conmutativos , y sea f  : A → B un homomorfismo de anillo . Sies un ideal en A , entoncesno es necesario que sea un ideal en B (por ejemplo, tómese f para ser la inclusión del anillo de enteros Z en el campo de los racionales Q ). La extensión  de en B se define como el ideal en B generado porExplícitamente,
Si es un ideal de B , entoncesSiempre es un ideal de A , llamado la contracción.  de un .
Suponiendo que f  : A → B es un homomorfismo de anillo,es un ideal en A ,Es un ideal en B , entonces:
  • es primo en B  es primo en una .
Es falso, en general, que ser primo (o máximo) en A implica quees primo (o máxima) en B . Muchos ejemplos clásicos de esto provienen de la teoría de los números algebraicos. Por ejemplo, incrustar En, el elemento 2 factores como  donde (uno puede mostrar) ninguno de son unidades en b . Asi queno es primo en B (y por lo tanto tampoco es máximo). En efecto, muestra que , y por lo tanto .
  •  y .
  • es un ideal ideal en A  es un ideal primo de B .
  • es un ideal maximo en A   es un ideal maximo en B .
Observación : Sea K una extensión de campo de L , y sea B y A los anillos de enteros de K y L , respectivamente. Entonces B es una extensión integral de A , y dejamos que f sea el mapa inclusión de A a B . El comportamiento de un ideal primo.  de A extensión bajo es uno de los problemas centrales de la teoría de números algebraica .
Lo siguiente es a veces útil: [11] un ideal primordial es una contracción de un ideal ideal si y solo si (Prueba: asumiendo lo segundo, nota intersecta , una contradicción. Ahora, los ideales primordiales decorresponden a aquellos en B que están separados dePor lo tanto, hay un ideal principalde B , disjoint de, tal que  es un ideal máximo que contiene Uno entonces comprueba que mentiras sobre Lo contrario es obvio.

No hay comentarios:

Publicar un comentario