Si, un grupo es un conjunto, $G$, junto con una operación de adición, donde una operación es una correspondencia que asocia un elemento del conjunto a cada par de sus elementos, de satisfacer algunos de los requisitos conocido como el grupo de axiomas.
Si, un campo es un conjunto $F$ junto con dos operaciones llamadas suma y multiplicación, donde estas operaciones son necesarias para satisfacer el campo axiomas.
¿Cuál sería el siguiente después de campo? ¿cuáles son las estructuras de álgebra que define 3 o incluso más operaciones?