Let . The intermediate field is an -linear linear subspace of , so the finite-dimensional linear subspace theorem gives . To handle the other field extension, take an -basis of . Every is a sum with , so the same list spans as a -vector space. It need not remain linearly independent, but spanning suffices to give . Hence both intermediate extensions are finite.
Articles by others on the same topic
There are currently no matching articles.