Fiore, M. and Leinster, T. (2004) An objective representation of the Gaussian integers. Journal of Symbolic Computation, 37(6), pp. 707-716. (doi: 10.1016/j.jsc.2003.10.002)
![[img]](https://eprints.gla.ac.uk/style/images/fileicons/text.png) |
Text
arxiv.html 3kB |
Abstract
A rig is a riNg without Negatives. We analyse the free rig on a generator x subject to the equivalence x = 1 + x + x<sup>2</sup>, showing that in it the non-constant polynomials form a ring. This ring can be identified with the Gaussian integers, which thus acquire objective meaning.
| Item Type: | Articles |
|---|---|
| Status: | Published |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Leinster, Dr Tom |
| Authors: | Fiore, M., and Leinster, T. |
| Subjects: | Q Science > QA Mathematics |
| College/School: | College of Science and Engineering > School of Mathematics and Statistics > Mathematics |
| Journal Name: | Journal of Symbolic Computation |
| ISSN: | 0747-7171 |
| ISSN (Online): | 1095-855X |
| Published Online: | 01 April 2004 |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details