可分草甸中分数向简单分数的转换
环与代数
2016-06-08 v3 计算机科学中的逻辑
摘要
草甸是具有纯等式公理化的场之替代结构。草甸的基础在于通过强制零的乘法逆为雾，使乘法逆运算成为全函数。可分草甸是用除法运算替代乘法逆运算的草甸。将分数视为签名在可分草甸上形如 p / q 的项，我们研究哪些可分草甸允许将分数转换为简单分数，即没有作为分数的真子项的分数。
引用
@article{arxiv.1510.06233,
title = {Transformation of fractions into simple fractions in divisive meadows},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:1510.06233},
year = {2016}
}
备注
23 pages; one theorem and two corollaries of it added at end of Sect. 5; some minor errors corrected