Na ist doch prima. Du musst nur zeigen:
(falls C als R-Vektorraum gemeint ist )
z ---> z_querIst ein Homomorphismus, das sind doch die
gängigen Eigenschaften des komplementär Komplexen
(z1+z2)_quer = z1_quer + z2_quer und entsprechend für
reelle Zahl * z , also (x* z)_quer = x* z_quer ist ja klar,
da x_quer = x für reelle.
Jetzt noch Injektiv und surjektiv und alles ist fertig.