Anillo unitario

De Wikipedia, la enciclopedia libre

Un anillo (no necesariamente conmutativo)es anillo unitario, o anillo unital, o anillo con unidad si existe un elemento en R que es elemento neutro para la operación producto ("·") del anillo, razón por la cual a dicho elemento se le denomina elemento unidad y se le representa por "1". A un anillo unitario se le suele representar como una cuaterna, en la que los primeros tres elementos representan al anillo (el conjunto, la operación respecto de la cual es grupo abeliano, y la otra operación que es distributiva respecto de la primera) y el cuarto representa al elemento unidad. En nuestro caso sería .

En un anillo unitario existen:

1. Elementos invertibles por la izquierda: un elemento x del anillo es invertible por la izquierda (también se dice que x es una unidad por la izquierda del anillo, no confundir con el elemento unidad) si existe un elemento de manera que ;

1. Elementos invertibles por la derecha: un elemento x del anillo es invertible por la derecha (también se dice que x es una unidad por la derecha del anillo, no confundir con el elemento unidad) si existe un elemento de manera que ;

1. Elementos invertibles: un elemento x del anillo es invertible si es invertible (también se dice que x es una unidad del anillo, no confundir con el elemento unidad) por la derecha e invertible por la izquierda.

El elemento unidad de un anillo es invertible, luego es invertible por la izquierda e invertible por la derecha.

Al conjunto de elementos invertibles de un anillo unitario R se le denota por U(R).

Si en un anillo unitario tomamos un ideal (por la izquierda, por la derecha o bilátero) y hay un elemento invertible que pertenece al ideal, entonces el ideal coincide con el anillo. En particular, en un anillo unitario, el elemento unidad 1 nunca pertenece a los ideales propios.

Un homomorfismo de anillos unitarios es una aplicación entre los anillos unitarios y tal que verifica que es homomorfismo de anillos (esto es, si entonces f(a + b) = f(a) + f(b) y ) y que la imagen del elemento unidad es el elemento unidad (es decir, f(1_R) = 1_S).

Si establecemos un homomorfismo de anillos entre un anillo unitario y un anillo , entonces ha de ocurrir que , con lo cual la imagen del elemento unidad ha de ser un idempotente.

Una importante propiedad de los anillos unitarios es que en todo anillo unitario existen ideales maximales, es decir, ideales (biláteros) propios en el anillo de manera que no existe otro ideal (bilátero) propio que lo contenga.

Los anillos unitarios son los anillos sobre los que se construyen los módulos.