Algebraic Numbers

Pole DC	Wartość	Język
dc.contributor.author	Watase, Yasushige	-
dc.date.accessioned	2017-06-02T11:55:30Z	-
dc.date.available	2017-06-02T11:55:30Z	-
dc.date.issued	2016	-
dc.identifier.citation	Formalized Mathematics, Volume 24, Issue 4, pp. 291-300	pl
dc.identifier.issn	1426-2630	pl
dc.identifier.issn	1898-9934	pl
dc.identifier.uri	http://hdl.handle.net/11320/5563	-
dc.description.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.	-
dc.language.iso	en	-
dc.publisher	De Gruyter Open	-
dc.subject	algebraic number	-
dc.subject	integral dependency	-
dc.title	Algebraic Numbers	-
dc.type	Article	-
dc.identifier.doi	10.1515/forma-2016-0025	-
dc.description.Affiliation	Suginami-ku Matsunoki 6, 3-21 Tokyo, Japan	-
dc.description.references	Michael Francis Atiyah and Ian Grant Macdonald. Introduction to Commutative Algebra, volume 2. Addison-Wesley Reading, 1969.	-
dc.description.references	Jonathan Backer, Piotr Rudnicki, and Christoph Schwarzweller. Ring ideals. Formalized Mathematics, 9(3):565–582, 2001.	-
dc.description.references	Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.	-
dc.description.references	Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.	-
dc.description.references	Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.	-
dc.description.references	Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335–342, 1990.	-
dc.description.references	Hideyuki Matsumura. Commutative Ring Theory. Cambridge University Press, 2nd edition, 1989. Cambridge Studies in Advanced Mathematics.	-
dc.description.references	Robert Milewski. The ring of polynomials. Formalized Mathematics, 9(2):339–346, 2001.	-
dc.description.references	Robert Milewski. The evaluation of polynomials. Formalized Mathematics, 9(2):391–395, 2001.	-
dc.description.references	Masayoshi Nagata. Theory of Commutative Fields, volume 125. American Mathematical Society, 1985. Translations of Mathematical Monographs.	-
dc.description.references	Andrzej Trybulec. Binary operations applied to functions. Formalized Mathematics, 1 (2):329–334, 1990.	-
dc.description.references	Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569–573, 1990.	-
dc.description.references	Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291–296, 1990.	-
dc.description.references	Oscar Zariski and Pierre Samuel. Commutative Algebra I. Springer, 2nd edition, 1975.	-
Występuje w kolekcji(ach):	Formalized Mathematics, 2016, Volume 24, Issue 4

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
forma-2016-0025.pdf		259,34 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL