Many of the properties of the adjoint construction follow immediately from the contravariant functoriality of the duality we used in its construction. But they can also be determined from the adjoint relation
For example, if we have transformations and , then the adjoint of their composite is the composite of their adjoints in the opposite order: . To check this, we write
It’s pretty straightforward to see that . Then, since and , we find that and , which shows that .
Similarly, it’s easy to show that . But the process isn’t quite linear. When we work over the complex numbers, we find that :
Now if we restrict our focus to endomorphisms of a single vector space , we see that the adjoint construction gives us an involutory (since ), semilinear (since it applies the complex conjugate to scalar multiples) antiautomorphism of the algebra of endomorphisms of . That is, it’s like an automorphism, except it reverses the order of multiplication.
In a way, then, the adjoint behaves sort of like the complex conjugate itself does for the algebra of complex numbers (over the complex numbers we don’t notice the order of multiplication, but work with me here, people). This analogy goes pretty far, as we’ll see.