| Title | An objective representation of the Gaussian integers |
| Author(s) | Marcelo Fiore, Tom Leinster |
| Type | Article in Journal |
| Abstract | A rig is a ring without negatives. We analyse the free rig on a generator x subject to the equivalence x similar 1+x+x^2, 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. |
| Length | 10 |
| Copyright | Elsevier Science Ltd. |
| File |
|
| URL |
doi:10.1016/j.jsc.2003.10.002 |
| Language | English |
| Journal | Journal of Symbolic Computation |
| Volume | 37 |
| Number | 6 |
| Pages | 707 - 716 |
| Year | 2004 |
| Month | June |
| Translation |
No |
| Refereed |
No |
