a : a subgroup consisting of those elements of a group for which the group operation with regard to a given element is commutative
b : the set of elements of a group for which the group operation with regard to every element of a given subgroup is commutative