<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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 ℤ<italic>/p</italic>) are presented. To facilitate reasonings within the field of rational numbers, values of numerators and denominators of basic operations over rationals are computed.</p></abstract>

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.

Characteristic of Rings. Prime Fields

Institute of Computer Science, University of Gdańsk, Poland

Institute of Informatics, University of Białystok, Poland

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

{"article-title":"Characteristic of Rings. Prime Fields"}

The notion of the characteristic of rings and its basic properties are formalized [14], [39], [20]. Classification of prime fields in terms of isomorphisms...

Characteristic of Rings. Prime Fields

Published Online: Mar 25, 2016

Page range: 333 - 349

Received: Aug 14, 2015

DOI: https://doi.org/10.1515/forma-2015-0027

Keywords
commutative algebra, characteristic of rings, prime field

© 2015 Christoph Schwarzweller et al., published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Characteristic of Rings. Prime Fields

Published Online: Mar 25, 2016

Page range: 333 - 349

Received: Aug 14, 2015

DOI: https://doi.org/10.1515/forma-2015-0027

Keywordscommutative algebra, characteristic of rings, prime field

© 2015 Christoph Schwarzweller et al., published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Keywords
commutative algebra, characteristic of rings, prime field