more abstract algebra