The notation means that is the smallest subfield containing both and , namely the simple field extension generated by . Its elements can be expressed as rational functions in with coefficients in and nonzero denominator.
Write . The element is a root of , so its minimal polynomial over has degree at most two. Since , that degree cannot be one. The degree of the simple field extension equals the degree of the minimal polynomial, givingIn particular form an -basis, so every element is uniquely . This argument also works in characteristic two; separability is not needed for this part.
Articles by others on the same topic
There are currently no matching articles.