Division by zero in common meadows
Rings and Algebras
2021-03-23 v4
Abstract
Common meadows are fields expanded with a total inverse function. Division by zero produces an additional value denoted with "a" that propagates through all operations of the meadow signature (this additional value can be interpreted as an error element). We provide a basis theorem for so-called common cancellation meadows of characteristic zero, that is, common meadows of characteristic zero that admit a certain cancellation law.
Keywords
Cite
@article{arxiv.1406.6878,
title = {Division by zero in common meadows},
author = {Jan A. Bergstra and Alban Ponse},
journal= {arXiv preprint arXiv:1406.6878},
year = {2021}
}
Comments
17 pages, 4 tables; differences with v3: axiom (14) of Mda (Table 2) has been replaced by the stronger axiom (12), this appears to be necessary for the proof of Theorem 3.2.1