The notation means that is an extension of the field .
is sometimes called an overfield of the field .
Algebraic over [change | change source]
An element of the field is called algebraic over if it satisfies some algebraic equation with coefficients in , and transcendental otherwise.
References[change | change source]
- "Extension of a field - Encyclopedia of Mathematics". encyclopediaofmath.org. Retrieved 2021-09-15.