Über diesen Artikel
Online veröffentlicht: 25. März 2016
Seitenbereich: 333 - 349
Eingereicht: 14. Aug. 2015
DOI: https://doi.org/10.1515/forma-2015-0027
Schlüsselwörter
© 2015 Christoph Schwarzweller et al., published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
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 ℤ