abstract algebra modulo system