Anillo unitario sin divisores de cero distintos de 0; generalización no conmutativa de dominios integrales
En álgebra , un dominio es un anillo distinto de cero en el que ab = 0 implica a = 0 o b = 0 . [1] (A veces se dice que un anillo de este tipo "tiene la propiedad de producto cero ".) De manera equivalente, un dominio es un anillo en el que 0 es el único divisor de cero a la izquierda (o de manera equivalente, el único divisor de cero a la derecha). Un dominio conmutativo se llama dominio integral . [1] [2] La literatura matemática contiene múltiples variantes de la definición de "dominio". [3]
Ejemplos y no ejemplos
- El anillo no es un dominio, porque las imágenes de 2 y 3 en este anillo son elementos distintos de cero con producto 0. De manera más general, para un entero positivo , el anillo es un dominio si y solo si es primo.
![{\displaystyle \mathbb {Z} /6\mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} /n\mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Un dominio finito es automáticamente un campo finito , según el pequeño teorema de Wedderburn .
- Los cuaterniones forman un dominio no conmutativo. De manera más general, cualquier anillo de división es un dominio, ya que todo elemento distinto de cero es invertible .
- El conjunto de todos los cuaterniones de Lipschitz , es decir, cuaterniones de la forma donde a , b , c , d son números enteros, es un subanillo no conmutativo de los cuaterniones, por lo tanto, un dominio no conmutativo.
![{\displaystyle a+bi+cj+dk}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- De manera similar, el conjunto de todos los cuaterniones de Hurwitz , es decir, cuaterniones de la forma donde a , b , c , d son todos números enteros o todos semienteros , es un dominio no conmutativo.
![{\displaystyle a+bi+cj+dk}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Un anillo matricial M n ( R ) para n ≥ 2 nunca es un dominio: si R es distinto de cero, dicho anillo matricial tiene divisores cero distintos de cero e incluso elementos nilpotentes distintos de 0. Por ejemplo, el cuadrado de la unidad matricial E 12 es 0.
- El álgebra tensorial de un espacio vectorial , o equivalentemente, el álgebra de polinomios en variables no conmutantes sobre un campo, es un dominio. Esto se puede demostrar ordenando los monomios no conmutativos.
![{\displaystyle \mathbb {K} \langle x_{1},\ldots,x_{n}\rangle,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si R es un dominio y S es una extensión Ore de R, entonces S es un dominio.
- El álgebra de Weyl es un dominio no conmutativo.
- El álgebra envolvente universal de cualquier álgebra de Lie sobre un campo es un dominio. La prueba utiliza la filtración estándar del álgebra envolvente universal y el teorema de Poincaré-Birkhoff-Witt .
Anillos de grupo y el problema del divisor cero
Supongamos que G es un grupo y K es un campo . ¿Es el anillo de grupo R = K [ G ] un dominio? La identidad
![{\displaystyle (1-g)(1+g+\cdots +g^{n-1})=1-g^{n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
muestra que un elemento g de orden finito n > 1 induce un divisor cero 1 − g en R . El problema del divisor cero pregunta si ésta es la única obstrucción; en otras palabras,
- Dado un campo K y un grupo G libre de torsión , ¿es cierto que K [ G ] no contiene divisores de cero?
No se conocen contraejemplos, pero el problema sigue abierto en general (a partir de 2017).
Para muchas clases especiales de grupos, la respuesta es afirmativa. Farkas y Snider demostraron en 1976 que si G es un grupo policíclico por finito libre de torsión y char K = 0, entonces el anillo del grupo K [ G ] es un dominio. Posteriormente (1980) Cliff eliminó la restricción sobre las características del campo. En 1988, Kropholler, Linnell y Moody generalizaron estos resultados al caso de grupos solubles sin torsión y solubles por finitos. Un trabajo anterior (1965) de Michel Lazard , cuya importancia no fue apreciada por los especialistas en el campo durante unos 20 años, había tratado el caso en el que K es el anillo de enteros p-ádicos y G es el subgrupo de congruencia p -ésimo de GL. ( norte , Z ) .
Espectro de un dominio integral
Los divisores cero tienen una interpretación topológica, al menos en el caso de anillos conmutativos: un anillo R es un dominio integral si y sólo si es reducido y su espectro Spec R es un espacio topológico irreducible . A menudo se considera que la primera propiedad codifica información infinitesimal, mientras que la segunda es más geométrica.
Un ejemplo: el anillo k [ x , y ] /( xy ) , donde k es un campo, no es un dominio, ya que las imágenes de xey en este anillo son divisores de cero. Geométricamente, esto corresponde al hecho de que el espectro de este anillo, que es la unión de las líneas x = 0 e y = 0 , no es irreducible. De hecho, estas dos líneas son sus componentes irreductibles.
Ver también
Notas
- ^ ab Lam (2001), pág. 3
- ^ Rowen (1994), pág. 99.
- ^ Algunos autores también consideran que el anillo cero es un dominio: ver Polcino M. & Sehgal (2002), p. 65. Algunos autores aplican el término "dominio" también a conjuntos con la propiedad de producto cero; tales autores consideran que n Z es un dominio para cada entero positivo n : véase Lanski (2005), p. 343. Pero siempre se requiere que los dominios integrales sean distintos de cero y tengan un 1.
Referencias