Algebraic numbers

2Citations
Citations of this article
48Readers
Mendeley users who have this article in their library.

Abstract

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.

Author supplied keywords

Cite

CITATION STYLE

APA

Watase, Y. (2016). Algebraic numbers. Formalized Mathematics, 24(4), 291–299. https://doi.org/10.1515/forma-2016-0025

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free