非对合草地中的零除法
环与代数
2014-11-04 v1 计算机科学中的逻辑
摘要
草地（meadows）被提出作为具有纯等式公理化体系的域的替代方案。草地的基础在于决定使乘法逆运算成为全函数，即规定零的乘法逆为零。因此，草地的乘法逆运算是一个对合。在本文中，我们研究“非对合草地”，即零的乘法逆不为零的草地变体，并特别关注零的乘法逆为一的非对合草地。
引用
@article{arxiv.1406.2092,
title = {Division by zero in non-involutive meadows},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:1406.2092},
year = {2014}
}
备注
14 pages