Uma estrutura algébrica corpo consiste em um conjunto não vazio F dotado de duas operações binárias, a saber: soma (+) e produto (*), as quais satisfazem propriedades específicas. Uma delas afirma que: Dado ∀ a ∈ F, existe um único b ∈ F, tal que a + (−b) = (−b) + a = 0. Nesse caso, o elemento b recebe o nome de: