Additive group of complex numbers

From Groupprops