Un cuerpo es un anillo con unidad en el que todo elemento distinto de cero es invertible. En otras palabras, es un conjunto con dos operaciones (suma y multiplicación) que tiene las siguientes propiedades:
Surgió como una generalización del concepto de campo (que se puede definir como un cuerpo con multiplicación conmutativa ). Por el teorema de Wedderburn , todo cuerpo finito es un campo. El ejemplo más famoso de un cuerpo que no es también un campo es el cuerpo de los cuaterniones .