REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/4907
Tytuł: Characteristic of Rings. Prime Fields
Autorzy: Schwarzweller, Christoph
Korniłowicz, Artur
Słowa kluczowe: commutative algebra
characteristic of rings
prime field
Data wydania: 2015
Data dodania: 16-gru-2016
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 23, Issue 4, 333–349
Abstrakt: The notion of the characteristic of rings and its basic properties are formalized [14], [39], [20]. Classification of prime fields in terms of isomorphisms with appropriate fields (ℚ or ℤ/p) are presented. To facilitate reasonings within the field of rational numbers, values of numerators and denominators of basic operations over rationals are computed.
Afiliacja: Christoph Schwarzweller - Institute of Computer Science, University of Gdańsk, Poland
Artur Korniłowicz - Institute of Informatics, University of Białystok, Poland
URI: http://hdl.handle.net/11320/4907
DOI: 10.1515/forma-2015-0027
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Artykuły naukowe (WInf)
Formalized Mathematics, 2015, Volume 23, Issue 4

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2015-0027.pdf315,35 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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