\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\gcd}{\operatorname{mcd}} \renewcommand{\lcm}{\operatorname{mcm}} \renewcommand{\deg}{\operatorname{gr}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Capítulo16Anillos

¶

Hasta ahora hemos estudiado conjuntos con una sola operación binaria que satisface ciertos axiomas, pero muchas veces estamos más interesados en trabajar con conjuntos que tienen dos operaciones binarias. Por ejemplo, una de las estructuras algebraicas más naturales de estudiar es la de los enteros con las operaciones de adición y multiplicación. Estas operaciones están relacionadas por la propiedad distributiva. Al considerar un conjunto con dos operaciones binarias relacionadas así, que satisfacen ciertos axiomas, tenemos una estructura algebraica llamada anillo. En un anillo sumamos y multiplicamos elementos tales como los números reales, los números complejos, matrices y funciones.