MATEMATICAS.NET

Estructuras algebraicas (Anillos)

Anuncios

Consideremos un conjunto no vacío A, dotado de dos operaciones que convenimos en llamar suma y producto y en simbolizarlas como tales, aunque su naturaleza no sea la de las operaciones aritméticas usuales. Decimos que A es un anillo si respecto a la suma es un grupo conmutativo, respecto al producto es un semigrupo y el producto es distributivo respecto a la suma por ambos lados. Es decir, si para cualesquiera es

,

, y también

;

existe un elemento tal que

para todo ;

dado siempre es posible hallar tal que

,

y finalmente se cumple que

y .

En cualquier anillo se precisa de la existencia de un cero (neutro aditivo). Por tanto, si tomamos un conjunto unitario y definimos en él dos operaciones como y , tendremos trivialmente un anillo donde el único elemento ( ) hace el papel del cero. Un ejemplo más interesante de anillo es el de los números enteros con la suma y el producto aritméticos. Dentro de los anillos podemos aplicar las reglas de cálculo habituales. Por ejemplo, si A es un anillo y  son elementos de dicho anillo, tenemos

Entendiendo que representa al opuesto de . La demostración de esta última desigualdad resulta clarificadora pues nos muestra los procesos sutiles con los que hemos de trabajar en álgebra abstracta. En efecto, tomamos y aplicamos la propiedad distributiva del producto respecto a la suma, la propiedad asociativa de la suma y la existencia de neutro aditivo, para obtener

Ahora sólo restaría sumar a ambos miembros el opuesto de para llegar a la igualdad pedida

El lector observará el especial cuidado con el que se han de usar las propiedades establecidas en el anillo y, sobre todo, cómo ha de evitarse la tentación de “abreviar” inspirándose en la familiaridad de los símbolos.

Si un anillo A tiene elemento neutro para el producto se llama anillo unitario. Dicho neutro multiplicativo se suele notar como , o simplemente 1 si no hay confusión. Para evitar trivialidades supondremos que en un anillo unitario hay al menos dos elementos diferentes: el uno y el cero.  Cuando el producto es conmutativo decimos que el anillo es conmutativo. La teoría de anillos es una rama del álgebra de profundas y extensas implicaciones. En próximas entradas intentaremos mostrar algunas ideas más sobre esta estructura.

Referencias:

Wikipedia (castellano)

Anillos y Cuerpos Conmutativos, José M. Gamboa, Jesús M. Ruíz, Cuadernos de la Uned

Wikipedia (inglés)

Álgebra, Roger Godement, Ed. Tecnos

Anuncios