An Objective Representation of the Gaussian Integers

Simple item page
dc.creatorFiore, Marcelo
dc.creatorLeinster, Tom
dc.date2002-11-28
dc.date2004-05-13
dc.date.accessioned2026-07-07T04:53:24Z
dc.date.available2026-07-07T04:53:24Z
dc.descriptionA rig is a riNg without Negatives. We analyse the free rig on a generator x subject to the equivalence x = 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.
dc.description8 pages. Version 2: application to programming added; journal version
dc.identifierhttps://arxiv.org/abs/math/0211454
dc.identifierhttp://arxiv.org/abs/math/0211454
dc.identifierJournal of Symbolic Computation 37 (2004), no. 6, 707-716
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/65831
dc.subjectRings and Algebras
dc.subjectCommutative Algebra
dc.subjectCategory Theory
dc.titleAn Objective Representation of the Gaussian Integers
dc.typetext

Files

Collections

arXiv