This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of "integral". Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field ℚ induced by substitution of an algebraic number to the polynomial ring of ℚ[x] turns to be a field.
CITATION STYLE
Watase, Y. (2016). Algebraic numbers. Formalized Mathematics, 24(4), 291–299. https://doi.org/10.1515/forma-2016-0025
Mendeley helps you to discover research relevant for your work.