Cartan involution