In mathematics, a nonabelian group, sometimes called a noncommutative group, is a group ( G, ∗ ) in which there exists at least one pair of elements a and b of G, such that a ∗ b ≠ b ∗ a. This class of groups contrasts with the abelian groups. (In an abelian group, all pairs of group elements commute).