Se numeşte corp un inel K cu 1≠0 astfel încât ∀ x∈K , x≠0 este inversabil. Dacă, în plus, în corpul K are loc ∀ x , y∈K xy=yx , atunci corpul K se numeşte comutativ.