Multiplicative group of non-zero complex numbers

From Groupprops