Since and the extension is finite, the element is algebraic. Its minimal polynomial is irreducible, and evaluation gives an isomorphism . If its degree is , the powers form a basis. Comparing with gives .
Articles by others on the same topic
There are currently no matching articles.