algebraic extension

algebraic extension (plural algebraic extensions)

1. (algebra, field theory) A field extension L/K which is algebraic over K (i.e., is such that every element of L is a root of some (nonzero) polynomial with coefficients in K).
   • 1964, Shreeram Shankar Abhyankar, Local Analytic Geometry, Academic Press, page 200:

     What we now have to prove is that: if an overring ${\displaystyle R*}$ of ${\displaystyle R}$ is such that ${\displaystyle R*}$ is an integral domain, ${\displaystyle R*}$ is integral over ${\displaystyle R}$ and the quotient field ${\displaystyle {\mathfrak {L}}*}$ of ${\displaystyle R*}$ is a finite algebraic extension of ${\displaystyle {\mathfrak {L}}}$, then ${\displaystyle R*}$ is a local ring and a finite ${\displaystyle R}$-module.

   • 2005, Manuel Bronstein, Symbolic Integration I: Transcendental Functions, 2nd edition, Springer, page 110:

     It turns out that when an irreducible polynomial splits in an algebraic extension, then the order at the new irreducible factors remains the same as before for arguments that are defined over the ground field.

   • 2013, Askold Khovanskii, Galois Theory, Coverings, and Riemann Surfaces, Springer, page 65:

     We describe the correspondence between subfields of the field ${\displaystyle P_{a}(O)}$ that are algebraic extensions of the field ${\displaystyle K(X)}$ and the subgroups of finite index of the fundamental group ${\displaystyle \pi _{1}(X\setminus O)}$.

A field extension that contains elements that are not algebraic is called transcendental.

• associative algebra

• normal extension
• separable extension
• Galois extension

• Integral element on Wikipedia.Wikipedia
• Galois extension on Wikipedia.Wikipedia
• Separable extension on Wikipedia.Wikipedia
• Normal extension on Wikipedia.Wikipedia
• Field extension on Wikipedia.Wikipedia