Stafford 两个定理的算法化证明
环与代数
2007-05-23 v2 代数几何
摘要
Stafford 的两个经典结论说：第 个 Weyl 代数 的每个（左）理想可由两个元素生成，且每个 holonomic -模是循环的，即由一个元素生成。我们修改 Stafford 的原始证明，使这些生成元的算法计算成为可能。
引用
@article{arxiv.math/0204303,
title = {Algorithmic proofs of two theorems of Stafford},
author = {Anton Leykin},
journal= {arXiv preprint arXiv:math/0204303},
year = {2007}
}
备注
12 pages