中文

高斯整数的客观表示

环与代数 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