Cartan's first structural equation
(@lee2006riemannian exercise 4-5 page 64)
Let
We know that there is a uniquely determined matrix of 1-forms
for all
Theorem (Cartan’s first structure equation)
where
Proof
We take
The
But also
and this is true, since
Comment: I think that Cartan's first structural equation is used sometimes to recover a connection expressed in a particular frame/coframe if we know the torsion. Mainly with the Levi-Civita connection of a Riemannian metric and orthonormal frames
In general, you need to know more information about the "relation" of the chosen frame with the connection. But in the particular case in which the frame is orthonormal, now this is enough data to recover the metric using the torsion (null torsion, for example). But anyway, if you assume orthornormality you can compute the metric, compute Christoffel symbols and then change to the desired frame, not needing Cartan's first structure equations... I guess they are used as a shortcut, but they are not indeed needed...
Related: Cartan's second structural equation