Divisor de cero

En álxebra abstracta, un elemento  dun anel  chámase divisor de cero pola esquerda se existe un  distinto de cero en  tal que , ou de forma equivalente se o mapa de  a  que envía  a  non é inxectivo. Do mesmo xeito, un elemento  dun anel chámase divisor de cero pola dereita se existe un  distinto de cero en  tal que . Este é un caso parcial de divisibilidade nos aneis. Un elemento que é un divisor de cero pola esquerda ou pola dereita chámase simplemente divisor de cero. Un elemento  divisor de cero á esquerda e á dereita chámase divisor de cero bilateral (o  distinto de cero tal que  pode ser diferente do  distinto de cero tal que ). Se o anel é conmutativo, entón os divisores cero pola esquerda e pola dereita son iguais.

Un elemento dun anel que non é un divisor de cero pola esquerda (respectivamente, non é un divisor de cero pola dereita) chámase esquerdo regular ou esquerdo cancelábel (respectivamente, dereito regular ou dereito cancelábel).
Un elemento dun anel que é cancelábel pola esquerda e pola dereita, e polo tanto non é un divisor cero, chámase regular ou cancelábel. Un anel non cero sen divisores de cero non triviais chámase  dominio.

 Exemplos 

 No ring , a clase de residuos  é un divisor de cero xa que  .
 O único divisor de cero do anel  de enteiros é .
 Un elemento nilpotente dun anel distinto de cero é sempre un divisor de cero bilateral.
 Un elemento idempotente  dun anel é sempre un divisor de cero bilateral, xa que  .
 O anel de matrices n × n sobre un corpo ten divisores de cero distintos do cero se n ≥ 2. Abaixo móstranse exemplos de divisores de cero no anel de matrices 2 x 2:



 Un produto directo de dous ou máis aneis distintos de cero sempre ten divisores de cero distintos de cero. Por exemplo, en  con cada   distinto de cero, , así que  é un divisor de cero.
 Sexa  un corpo e  un grupo. Supoñamos que  ten un elemento  de orde finita . Entón no grupo anel (módulo libre e ao mesmo tempo anel)  temos , sen que ningún dos factores sexa cero, polo tanto  é un divisor de cero distinto de cero en .

 Divisor de cero unilateral 

 Considere o anel de matrices   con  e . Entón  e . Se , entón  é un divisor de cero pola esquerda se e só se  é par, pois, e temos que é un divisor de cero pola dereita se e só se  é par por razóns similares. Se calquera dos  é , entón é un divisor de cero bilateral.

 Non exemplos 

 O anel de enteiros módulo un número primo non ten divisores de cero distintos de cero. Dado que cada elemento distinto de cero é unha unidade, este anel é un corpo finito.
 De forma máis xeral, un anel de división non ten divisores de cero distintos de cero.
 Un anel conmutativo distinto de cero cuxo único divisor de cero é 0 chámase dominio de integridade.

 Propiedades 

 No anel de matrices  ×  sobre un corpo, os divisores de cero pola esquerda e pola dereita coinciden; son precisamente as matrices invertíbeis. No anel de matrices   ×  sobre un dominio de integridade, os divisores de cero son precisamente as matrices con determinante cero.
 Os divisores de cero pola esquerda ou pola dereita nunca poden ser unidades, porque se  é invertíbel e  para algún  distinto de cero, entón , é unha contradición.
 Un elemento é cancelábel no lado no que é regular. É dicir, se  é  regular esquerdo,  implica que , e do mesmo xeito para regular dereito.

 Cero como divisor de cero 
Non hai necesidade dunha convención separada para o caso , porque a definición tamén se aplica neste caso:

 Se  é un anel distinto do anel cero, entón  é un divisor de cero (bilateral), porque calquera elemento distinto de cero  satisfai .
 Se  é o anel cero, no que , entón  non é un divisor de cero, porque non hai ningún elemento distinto de cero que, multiplicado por  dea .

 Divisor de cero nun módulo 
Sexa  un anel conmutativo, sexa  un módulo  e sexa  un elemento de . Dise que  é -regular se a "multiplicación por ", o mapa  é inxectivo, e dise que  é un divisor de cero en  en caso contrario. O conxunto de elementos -regulares é un conxunto multiplicativo en .  O conxunto de elementos -regulares é un conxunto multiplicativo en .

Especializando as definicións de "-regular" e "divisor de cero en " para o caso  cobre as definicións de "regular" e "divisor de cero" dadas anteriormente neste artigo.

 Notas 


 Véxase tamén 

 Bibliografía 
 Outros artigos 
 Sedenion.
 Anel cociente.
 Ligazóns externas 
 Zero Divisor (MathWorld).

Categoría:Cero
Categoría:Teoría de aneis
Categoría:Álxebra abstracta