An Objective Representation of the Gaussian Integers
Fiore, Marcelo · Leinster, Tom
Original · EN
A rig is a riNg without Negatives. We analyse the free rig on a generator x subject to the equivalence x = 1 + x + x², 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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.