Directamente de los axiomas, se puede demostrar que ("K", +) y ("K" - { 0 }, ·) son grupos conmutativos y que por lo tanto (véase la teoría de grupos) el opuesto -"a" y el inverso "a" son determinados únicamente por "a".