高斯整数的客观表示
环与代数
2007-05-23 v2 交换代数
范畴论
摘要
rig 是无负数(Negatives)的 riNg。我们分析带有一个生成元 x 且满足等价关系 x = 1 + x + x^2 的自由 rig,证明其非零次多项式构成一个环。该环可等同于高斯整数,从而使其获得客观意义。
引用
@article{arxiv.math/0211454,
title = {An Objective Representation of the Gaussian Integers},
author = {Marcelo Fiore and Tom Leinster},
journal= {arXiv preprint arXiv:math/0211454},
year = {2007}
}
备注
8 pages. Version 2: application to programming added; journal version