Furthermore, K is closed under square roots and complex conjugation.
Note that this particular automorphism (negative in abelian groups) agrees with complex conjugation.
The star means complex conjugation of the first term.
We also say that τ is self-conjugate if where the bar denotes complex conjugation.
It has complex conjugation as an outer automorphism and is simply connected.
These combine with mood and aspect to form more complex conjugations, such as the past progressive, or the present perfect.
The real part and the absolute value of a complex number are invariant under complex conjugation.
This is because complex conjugation itself is not a holomorphic function.
Since and where the bar denotes complex conjugation.
In the latter case one of the reflections (generating the others) is complex conjugation.