The extension is a vector space over . Since is finite, a maximal linearly independent subset is finite and spans it; let its size be . Relative to this basis, every element of has a unique list of coefficients in . There are choices for each coefficient, soThe inclusion makes .
Articles by others on the same topic
There are currently no matching articles.