Fracpairs and fractions over a reduced commutative ring
From MaRDI portal
(Redirected from Publication:297980)
Abstract: In the well-known construction of the field of fractions of an integral domain, division by zero is excluded. We introduce "fracpairs" as pairs subject to laws consistent with the use of the pair as a fraction, but do not exclude denominators to be zero. We investigate fracpairs over a reduced commutative ring (a commutative ring that has no nonzero nilpotent elements) and provide these with natural definitions for addition, multiplication, and additive and multiplicative inverse. We find that modulo a simple congruence these fracpairs constitute a "common meadow", which is a commutative monoid both for addition and multiplication, extended with a weak additive inverse, a multiplicative inverse except for zero, and an additional element "a" that is the image of the multiplicative inverse on zero and that propagates through all operations. Considering "a" as an error-value supports the intuition. The equivalence classes of fracpairs thus obtained are called common cancellation fractions (cc-fractions), and cc-fractions over the integers constitute a homomorphic pre-image of the common meadow Qa, the field Q of rational numbers expanded with an a-totalized inverse. Moreover, the initial common meadow is isomorphic to the initial algebra of cc-fractions over the integer numbers. Next, we define canonical term algebras for cc-fractions over the integers and some meadows that model the rational numbers expanded with a totalized inverse, and provide some negative results concerning their associated term rewriting properties. Then we consider reduced commutative rings in which the sum of two squares plus one cannot be a zero divisor: by extending the equivalence relation on fracpairs we obtain an initial algebra that is isomorphic to Qa. Finally, we express negative conjectures concerning alternative specifications for these (concrete) datatypes.
Recommendations
Cites work
- scientific article; zbMATH DE number 1633834 (Why is no real title available?)
- scientific article; zbMATH DE number 3757085 (Why is no real title available?)
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- Division by zero in common meadows
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
- Inversive meadows and divisive meadows
- Rewrite systems for natural, integral, and rational arithmetic
- Termination orderings for associative-commutative rewriting systems
- The initial meadows
- The rational numbers as an abstract data type
Cited in
(11)- Which arithmetical data types admit fracterm flattening?
- Symmetric transrationals: the data type and the algorithmic degree of its equational theory
- The wheel of rational numbers as an abstract data type
- Datatype defining rewrite systems for naturals and integers
- Partial arithmetical data types of rational numbers and their equational specification
- scientific article; zbMATH DE number 1418057 (Why is no real title available?)
- Eager Equality for Rational Number Arithmetic
- The determination of when the fractions of \({Z_n}\) are fields
- scientific article; zbMATH DE number 4204513 (Why is no real title available?)
- Logical models of mathematical texts: the case of conventions for division by zero.
- Arithmetical datatypes with true fractions
This page was built for publication: Fracpairs and fractions over a reduced commutative ring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q297980)
