REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/5563
Tytuł: Algebraic Numbers
Autorzy: Watase, Yasushige
Słowa kluczowe: algebraic number
integral dependency
Data wydania: 2016
Data dodania: 2-cze-2017
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 24, Issue 4, pp. 291-300
Abstrakt: 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.
Afiliacja: Suginami-ku Matsunoki 6, 3-21 Tokyo, Japan
URI: http://hdl.handle.net/11320/5563
DOI: 10.1515/forma-2016-0025
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2016, Volume 24, Issue 4

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2016-0025.pdf259,34 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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