The products with and span the field compositum over , so
The tower law gives
Thus the degree is divisible by both and . Since they are coprime, it is divisible by . Combining divisibility with the upper bound gives
Equivalently, finite extensions of coprime degrees are linearly disjoint field extensions.

Articles by others on the same topic (0)

There are currently no matching articles.