An objective representation of the Gaussian integers

DOI10.1016/J.JSC.2003.10.002MaRDI QIDQ2643534zbMATH OpenOpenAlexFDO

Authors Marcelo P. Fiore, Tom Leinster

Publication date 24 August 2007

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

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

Mathematics Subject Classification ID

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

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.

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

Cites work

• scientific article; zbMATH DE number 19477 (Why is no real title available?)
• scientific article; zbMATH DE number 19501 (Why is no real title available?)
• scientific article; zbMATH DE number 1350005 (Why is no real title available?)
• Isomorphisms of generic recursive polynomial types
• Objects of categories as complex numbers
• On the generic solution to \(P(X)\cong X\) in distributive categories
• Seven trees in one

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)