加群为循环群的环

整数环及其子环,整数环的剩余类环,它们的加片群都是循环群。我们把加群是循环群的环叫做园环,先列举Q园环的几条简单性质备用。证明从略。 (1)园环的子环和同态象都是园环。 (2)园环必为交换环。 (3)园环的任一子加群必为环的主理想。 下面再介绍园环的两个基本概念。