An Objective Representation of the Gaussian Integers
classification
🧮 math.RA
math.ACmath.CT
keywords
ringgaussianintegersobjectiveacquireanalyseequivalenceform
read the original 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^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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.