C(a) is a subgroup