Field extension

A field extension  is a field containing a given field  as a subfield. 

The notation  means that  is an extension of the field .

 is sometimes called an overfield of the field .

 Algebraic over  
An element of the field  is called algebraic over  if it satisfies some algebraic equation with coefficients in , and transcendental otherwise.

 References 

Category:Algebraic number theory