Lemma 9.20.5. Let M/L/K be a tower of finite extensions of fields. Then
\text{Trace}_{M/K} = \text{Trace}_{L/K} \circ \text{Trace}_{M/L} \quad \text{and}\quad \text{Norm}_{M/K} = \text{Norm}_{L/K} \circ \text{Norm}_{M/L}
Lemma 9.20.5. Let M/L/K be a tower of finite extensions of fields. Then
Proof. Think of M as a vector space over L and apply Lemma 9.20.4. \square
Comments (0)
There are also: