群环上的幂自由模.pdfVIP

第17卷第3期 数 学 研 究 与 评 论 . 17 . 3 V o l N o 1 9 9 7 年 8 月 JOU RNAL O F M A TH EM A T ICAL R ESEA RCH AND EXPO S IT ION A ug . 1 9 9 7 群 环 上 的 幂 自 由 模 陈　焕　艮 (湖南师范大学数学系, 长沙410006) 摘　要　本文证明了: 设 为 ≠0, 为有限生成的 群, 则: ∈ ( ) 当 R charR G A bel P F R G = 且仅当 0, 使得 s ∈ ( ). s P F R G = 关键词　 环, 群, 特征. A rtin K 0 分类号　 ( 1991) 20 154 AM S K CCL O 众所周知, 群环上的投射模是刻画群环的一个有力工具, 它不仅可以推广多项式环的性 质, 而且在群的表示理论中有着极其广泛的应用. 本文研究群环上投射模的幂自由与自由性的 等价关系. 所有环都是带单位元交换环. 命题 1　 如果 P ∈P (R ) , P ∈F (R ) 当且仅当 s 0, 使得P s ∈F (R ) , 则下列两款 = = = 等价: ( ) ∈P F. 1 　R (2) 　K 0R 为挠群. 证明　( 1) (2) 显然. - ( ) ( ) ∈P ( ) R 为挠群, 故 s 0, 使得s [P ] = 0 , 即 t 0, 使得 2 1 　 P = R , 因为K 0 s [P ] = t [R ], 从而[P s ] = [R t ], 故 m 0, 使得P sm R tm , 由条件知P ∈F (R ) , 因此R ∈ = P F.