Cartier Equality

Let K/k be a finitely generated field extension. Then ΩK/k and H1(LK/k) are finite dimensional and trdegk(K) = dimK ΩK/k – dimK H1(LK/k). See Tag 07E1.