abstract algebra view 2