Elementary abstract algebra