<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

Publié en ligne: 25 mars 2016

Pages: 333 - 349

Reçu: 14 août 2015

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

Mots clés
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

Publié en ligne: 25 mars 2016

Pages: 333 - 349

Reçu: 14 août 2015

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

Mots cléscommutative 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.

Mots clés
commutative algebra, characteristic of rings, prime field