#algebra #group theory #non-commutative #operation order #abstract algebra