En
álgebra abstracta, un
cuerpo o
campo es una
estructura algebraica en la cual las operaciones llamadas adición y multiplicación se pueden realizar y cumplen las propiedades:
asociativa,
conmutativa y
distributiva de la multiplicación respecto de la adición, además de la existencia de inverso aditivo, de inverso multiplicativo y de un elemento neutro para la adición y otro para la multiplicación, los cuales permiten efectuar las operaciones de
sustracción y
división (excepto la división por cero); estas propiedades ya son familiares de la aritmética de números ordinarios.