On a class of half-factorial domains
Batell · math.AC · 2016-11-13 · 原文
Let R be an integral domain. For elements a,b \in R, let [a,b] denote their greatest common divisor, if it exists. We say that R has the Z-property if whenever a,b,c,d and e are nonzero nonunits of R such that abc=de, then [ab,d] \neq 1 or [ab,e] \neq 1. The purpose of this paper is to study this property. The atomic integral domains that have this property constitute a class of half-factorial domains. Also, it is known that R must have this property in order for the polynomial ring R[x] to be half-factorial. We use it to give a characterization of half-factorial polynomial rings in the case where every v-ideal is v-generated by two elements. We also show that if R is a Krull domain with this property, then R has torsion class group.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Let R be an integral domain.
For elements a,b \in R, let [a,b] denote their greatest common divisor, if it exists.
2. 领域脉络
本文类目：math.AC，属于其所在研究脉络的最新进展。
3. 机制拆解
The purpose of this paper is to study this property.
The atomic integral domains that have this property constitute a class of half-factorial domains.
4. 证据与数字
We say that R has the Z-property if whenever a,b,c,d and e are nonzero nonunits of R such that abc=de, then [ab,d] \neq 1 or [ab,e] \neq 1.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。