Theory and problem of abstract algebra