abstract algebra view 1