En álgebra abstracta, la teoría de anillos es el estudio de anillos —estructuras algebraicas en las cuales la adición y la multiplicación están definidas y tienen propiedades similares a aquellas operaciones definidas para los enteros—. La teoría de anillos estudia la estructura de anillos, sus representaciones, o, en lenguaje diferente, módulos, clases especiales de anillos (anillos de grupo, anillos de división, álgebras universales envolventes), así como una variedad de propiedades que resultaron de interés tanto dentro de la propia teoría y para sus aplicaciones, como propiedades homológicas e identidades polinómicas.