If and are fields and , then is said to be a field extension. We sometimes say that is a field extension of .
If is a field extension, then may be thought of as a vector space over . The dimension of this vector space is called the degree of the extension, and is denoted by .
This article is a stub. Help us out by.