<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

Publicado en línea: 25 mar 2016

Páginas: 333 - 349

Recibido: 14 ago 2015

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

Palabras clave
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

Publicado en línea: 25 mar 2016

Páginas: 333 - 349

Recibido: 14 ago 2015

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

Palabras clavecommutative 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.

Palabras clave
commutative algebra, characteristic of rings, prime field