Lie bracket
The structural equations of Cartan imply the following Lie bracket relations: