Así se puede estudiar grupos, anillos, campos y otros sistemas abstractos; juntos, tales estudios (para estructuras definidas por operaciones algebraicas) constituyen el dominio del álgebra abstracta.