SMS: Basic abstract algebra