Does there exist a commutative inverse semigroup with no identity element, or are all commutative inverse semigroups abelian groups? If there does, what would be an example of such a commutative inverse semigroup? If there does not, then how does one prove that all commutative inverse semigroups are abelian groups?