Anillos

Los Anillos son estructuras algebraicas con dos operaciones.

=== Definicin === Un anillo es una estructura algebraica consistente de un triple <A,+,*>

donde A es un conjunto y son operaciones en A tales que

1. + (suma) es una operacin asociativa, conmutativa, con neutro 0 y cada elemento

a tiene un opuesto aditivo -a tal que a + (-a) = 0.
2. * (multiplicacin) es una operacin asociativa tal que

(distributividad) a*(b+c) = a*b + a*c y (b+c)* a =

b*a + c*a

Es decir que <A,+> es un grupo abeliano (grupo aditivo del anillo) y <A,*> es un
semigrupo.
Observaciones.

Usualmente la multiplicacin se denota por concatenacin, ab en lugar de a*b.

Definicin de resta. a-b := a + (-b).
Tipos de Anillos
Un anillo con identidad es un anillo donde hay un neutro respecto a la multiplicacin,
simbolizado por 1 o I. Para evitar trivialidades, siempre supondremos que 1 no es igual
a 0.

Un anillo conmutativo es un anillo donde la multiplicacin es conmutativa.

Un anillo integro o dominio de integridad es un anillo conmutativo con identidad

donde el producto de dos de sus elementos es cero, solamente cuando uno de los
factores es cero, o equivalentemente el producto de elementos no nulos es un
elemento no nulo.

Un anillo con divisin es un anillo con identidad tal que cada elemento no nulo tiene
un inverso respecto a la multiplicacin. Es decir cuando el semigrupo multiplicativo sea
un grupo.

Un cuerpo es un anillo con divisin conmutativa.

Subanillo
Sea A un anillo. Diremos que un subconjunto B de A determina o es un subanillo de A ,
ssi, B con las operaciones de A restringidas a B es un anillo. En tal caso, tambin, diremos

que A es un superanillo de B. Notacin: .

Cuando A tenga una identidad, B ser un subanillo con identidad, cuando la identidad sea
un elemento de $B$.
Sigue de la definicin que un subanillo B de un anillo A determina con la suma un
subgrupo del grupo aditivo de $A$ y que con la multiplicacin determina un subsemigrupo
de <A,*>.
Proposicin [Criterio de Subanillo]
Sea A un anillo. Un subconjunto no vaco B es un subanillo de A, ssi,

1. Para todo X, y en B, x-y es un elemento de B, y;;

2. Para todo x, y en B, xy es un elemento de B.

Al igual que con las estructuras con una operacin, tenemos subestructuras asociadas a
cada tipo de anillo, que se denotarn colocando sub delante del nombre. Como siempre,
una subestructura de una estructura de cierto tipo se refiere a un subconjunto que posee
una estructura del mismo tipo con respecto a las operaciones restringidas al subconjunto.

Ejemplos de Anillos y Subanillos

El listado de anillos y subanillos es bastante extenso, por lo que nos limitaremos a dar
algunos de los ejemplos ms relevantes para nuestros propsitos.

Para todo anillo A, A mismo es un subanilo de A as como el subconjunto que

solamente contiene al neutro aditivo.

Los Enteros ( ) con la suma y multiplicacin usual, determinan un anillo

conmutativo con identidad donde el producto de elementos no nulos siempre es un
elemento no nulo, por lo que se trata de un dominio de integridad.

Los Racionales, los Reales y los Complejos son cuerpos respecto a la suma y
multiplicacin usual, ya que la multiplicacin es conmutativa y cada elemento no nulo
tiene un recproco.

Los enteros mdulo m, forman un anillo conmutativo con identidad.

Cuando m es primo tales anillos son cuerpos.

Los Enteros son un subanillo (con identidad) de los Racionales que, a su vez, es un
subcuerpo de los Reales y de los Complejos. Los Reales son un subcuerpo de los
Complejos.

Las matrices 2 x 2 con entradas reales con la suma y multiplicacin usual determinan
un anillo no conmutativo con identidad.

Anillo Trivial. Este es un anillo excepcional que sirve a veces para enunciados
generales, ya que su conjunto base contiene un solo elemnto e tal que e+e=e y e*e =
e.