abstract algebra view 3