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