An objective representation of the Gaussian integers

DOI10.1016/J.JSC.2003.10.002zbMATH Open1137.68629arXivmath/0211454OpenAlexW2120113841MaRDI QIDQ2643534FDOQ2643534

Authors: Marcelo P. Fiore, Tom Leinster 

Publication date: 24 August 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/math/0211454

Recommendations

• Gaussian integers
• Finding Factors of Factor Rings over the Gaussian Integers
• Objects of categories as complex numbers
• Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category
• Arithmetic functions on Gaussian integers

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Functional programming and lambda calculus (68N18)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Objects of categories as complex numbers
• Seven trees in one
• On the generic solution to \(P(X)\cong X\) in distributive categories
• Isomorphisms of generic recursive polynomial types

Cited In (6)

• Objects of categories as complex numbers
• Computing with semirings and weak rig groupoids
• Gaussian integers
• Gröbner-Shirshov bases for semirings.
• Twisted arrow categories, operads and Segal conditions
• GRÖBNER-SHIRSHOV BASIS FOR MONOMIALS SEMIRING OVER D-A RINGS

This page was built for publication: An objective representation of the Gaussian integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2643534)