Anillo (Matemática)
Cargado por
Memo WebberAnillo (Matemática)
Cargado por
Memo WebberAnillo (matemática)
En álgebra, un anillo es una estructura algebraica formada por un conjunto (A), y dos
operaciones: suma y producto; de modo que (A,+) es un grupo conmutativo con elemento
neutro (que designamos 0), y el producto es asociativo y tiene la propiedad distributiva
respecto de la suma. Si el producto es conmutativo hablaremos de un anillo conmutativo y
si el anillo posee un elemento neutro para el producto, lo llamaremos anillo con unidad (a la
que designaremos 1)
Contenido
[ocultar]
1 Ejemplo de un anillo
2 Definición formal
3 Elementos destacados en un anillo
4 Algunos tipos importantes de anillos
5 Subconjuntos notables
o 5.1 Subanillos e ideales
o 5.2 Unidades
o 5.3 Centro
6 Véase también
[editar] Ejemplo de un anillo
El ejemplo más intuitivo de un anillo es el conjunto de los números enteros:
... -4, -3, -2, -1, 0, 1, 2, 3, 4, ...
junto con las operaciones binarias de la suma y la multiplicación. La razón por la cual estas
tres cosas forman un anillo, es porque cumplen con las siguientes propiedades:
1. Los números enteros están cerrados bajo la suma: dados dos números enteros a y b,
se cumple que a + b es un número entero.
2. La suma es asociativa: dados tres números enteros a, b y c, se cumple que (a + b) +
c = a + (b + c).
3. Existe un elemento neutro para la suma: para todo número entero a, a + 0 = 0 + a =
a.
4. Existe un elemento simétrico para la suma: para todo número entero a, siempre
existe algún número entero b, tal que a + b = 0.
5. La suma es conmutativa: dados dos números enteros a y b, se cumple que a + b = b
+ a.
6. Los números enteros están cerrados bajo la multiplicación: dados dos números
enteros a y b, se cumple que a × b es un número entero.
7. La multiplicación es asociativa: dados tres números enteros a, b y c, se cumple que
(a × b) × c = a × (b × c).
8. Existe un elemento neutro para la multiplicación: para todo número entero a, a × 1
= a.
9. La multiplicación es distributiva respecto de la suma: a × (b + c) = (a × b) + (a × c).
[editar] Definición formal
Sea A un conjunto no vacío, y sean y dos operaciones binarias. Se dice que el conjunto
es un anillo si se cumplen las siguientes propiedades:
1. A es cerrado bajo la operación .
2. La operación es asociativa.
La operación tiene a n como
3.
elemento neutro.
Existe un elemento simétrico para
4.
.
Estas cuatro condiciones definen un grupo. Una quinta condición define un grupo abeliano:
5. La operación es conmutativa.
Para definir un anillo, es necesario agregar tres condiciones más que hablan acerca de la
segunda operación binaria:
A es cerrado bajo la
6.
operación .
La operación es
7.
asociativa.
La operación es
8. distributiva respecto
de .
Y agregando una novena condición, se define un anillo conmutativo:
9. La operación es conmutativa.
[editar] Elementos destacados en un anillo
Elemento cero: denotado por 0. Es el neutro para la suma.
Observación: Sea A un anillo arbitrario. Demostración: 0x = (0 + 0)x =
0x + 0x. Luego 0x = 0x + 0x. Restando el inverso aditivo de 0x, que existe dado que A es un
grupo para la suma, 0x − 0x = 0x Pero 0x − 0x = 0. Finalmente
Elemento unitario: si un elemento, que denotamos 1, cumple
para todo elemento a del anillo, se llama elemento unitario.
El elemento cero y el elemento unitario sólo coinciden en el caso de que el anillo sea trivial
( {0} ): Demostración: Sea Luego,
Inverso multiplicativo: si estamos en un anillo que posea un elemento unitario, b
es inverso multiplicativo por la izquierda (o sencillamente inverso por la
izquierda) de a si . Así mismo, c es inverso multiplicativo por la
derecha (o sencillamente inverso por la derecha) de a si . Un elemento a −
1
se dirá que es inverso multiplicativo (o sencillamente inverso) de a si a − 1 es
inverso por la izquierda de a e inverso por la derecha de a, es decir,
.
Si existe el inverso de un elemento, entonces es único (lo que justifica llamarlo el inverso).
Elemento inversible, o elemento invertible o unidad: es todo aquel elemento que
posee inverso multiplicativo.
Divisor del cero: un elemento es divisor del cero por la izquierda, si existe
algún b distinto de 0, tal que a·b=0. Lo es por la derecha si existe un c distinto de 0
tal que c·a=0. Se dirá que a es divisor del cero, si lo es tanto por la derecha como
por la izquierda.
Elemento regular: un elemento de un anillo es regular si no es divisor de
cero. Todo elemento invertible es regular.
Elemento idempotente: es cualquier elemento e del anillo que al multiplicarse por
sí mismo no varía, es decir, tal que (esto se suele escribir como e2 = e). El
cero es siempre idempotente en un anillo, y si el anillo es unitario, también el 1 es
idempotente.
Elemento nilpotente (o nihilpotente): es cualquier elemento x del anillo para el
que existe un número natural n de forma que xn = 0 (donde xn se define por
recurrencia: x0 = 1, ). El 0 es siempre un nilpotente de cualquier
anillo. Todo elemento nilpotente es divisor de cero.
[editar] Algunos tipos importantes de anillos
Anillo conmutativo: aquel en el que el producto es conmutativo, esto es, a·b=b·a
para todos a y b (no debe confundirse con anillo abeliano).
Anillo unitario: aquel que posee un elemento unitario y además, éste es distinto del
neutro de la suma.
Anillo de división: es el anillo en el cual todo elemento, a excepción del 0, tiene
inverso.
Anillo con leyes de simplificación: aquel en el que se cumplen las leyes de
simplificación. Si un anillo no tiene divisores del cero, se cumplen las leyes de
simplificación, y el recíproco también es cierto.
Dominio de integridad: si un anillo no posee divisores del cero, es un dominio de
integridad (a menudo se suele exigir que además se trate de anillos conmutativos y
unitarios, pero esta exigencia no es aceptada por todos los autores).
Cuerpo: se trata de un anillo de división conmutativo.
Anillo abeliano: es un anillo en el que todo elemento idempotente pertenece al
centro del anillo, es decir, todo elemento idempotente conmuta con cualquier
elemento del anillo.
[editar] Subconjuntos notables
[editar] Subanillos e ideales
Un subanillo S de un anillo R =(A,+,·) es un subconjunto que cumple que es
cerrado para la suma y la multiplicación en el anillo, esto es, si , entonces
y . Si (es decir, si el anillo es unitario), entonces se exigirá
además que . Nótese que en este caso, cuando el anillo es unitario, {0} no será
subanillo de R, y sí lo será si R no es unitario.
Un subanillo S es propio cuando no coincide con todo el anillo, es decir, si .
Resulta pues que un subanillo es un anillo dentro de otro anillo (para las mismas
operaciones). En particular, (S, + ) es un subgrupo de (R, + ).
Pero en la Teoría de Anillos hay un tipo de subconjunto más notable aún que el de
subanillo, el de ideal.
Un subconjunto es ideal por la izquierda de un anillo (A,+,·) si (I, + ) es subgrupo
de (R, + ) y dados cualesquiera y se tiene que .
Un subconjunto es ideal por la derecha de un anillo (A,+,·) si (I, + ) es subgrupo
de (R, + ) y dados cualesquiera y se tiene que .
Cuando un subconjunto I es ideal por la derecha e ideal por la izquierda se dice que es un
ideal bilátero (del anillo), o simplemente que es un ideal (del anillo).
La propiedad conmutativa nos asegura que en todo anillo conmutativo todo ideal por la
izquierda es ideal por la derecha, y todo ideal por la derecha es ideal por la izquierda, esto
es, todos los ideales (por la izquierda o por la derecha) de un anillo conmutativo son ideales
biláteros.
Un ideal I (por la izquierda, por la derecha o bilátero) se dice que es propio si es distinto de
todo el anillo, esto es, .
[editar] Unidades
Al conjunto de elementos invertibles de un anillo unitario se le llama
conjunto de unidades (del anillo), y se le denota por U(R).
Si I es ideal (por la izquierda, por la derecha o bilátero) propio de un anillo unitario U(R),
entonces , esto es, ningún ideal propio tiene elementos invertibles. En
particular, ningún ideal (por la izquierda, por la derecha o bilátero) propio tiene por
elemento al 1, lo que impide a los ideales ser subanillos de anillos unitarios.
[editar] Centro
El centro de un anillo (denotado por Z(R)) es el conjunto de elementos que
conmutan para el producto, es decir . El
centro de un anillo viene a ser como "la parte conmutativa del anillo". Nótese que siempre
se tiene que . Los anillos conmutativos son aquellos que coinciden con su
centro, i.e., R = Z(R).
[editar] Véase también
Grupo (matemática)
Grupo abeliano
Anillo conmutativo
Cuerpo (matemática)
