Residual finiteness and the Hopf property in rings
Residual finiteness and the Hopf property in rings
复制标题
DOI:
10.1016/0021-8693(70)90087-6
复制
发表时间:
1970-05
影响因子:
0.9
通讯作者:
M. Orzech;L. Ribes
中科院分区:
文献类型:
--
作者:
M. Orzech;L. Ribes
An associative ring (respectively, a group) is said to be residually finite if for each nonzero (respectively, nonidentity) element x there is a two-sided ideal (respectively, normal subgroup) not containing x and such that, the residue class ring (respectively, group) is finite. Residually finite groups and rings seem to have analogous properties. For example, it is known that free groups are residually finite ([5], p. 414) an correspondingly, that free rings d arc residually finite.(This result, communicated to us by J. Lewin, appears to be unpublished, and we have included a proof of it in Section 3.) In Section 2 we prove that if A is a suitable ring (eg, Z), then a finitely generated A-algebra is residually finite; the corresponding fact for groups is a consequence of the Fundamental Theorem for Abelian groups. In Section 4 we prove a sharpened version of J. Lewin’s theorem that a finitely generated residually finite ring is Hopfian (ie, it admits no proper onto endomorphisms). It is shown that a finitely generated commutative A-algebra is Hopfian with respect to A-algebra maps, and using a similar technique, a new proof is constructed for a theorem of Vasconcelos. In Section 5 some criteria are noted which imply that a group algebra is Hopfian or co-Hopfian.2. r3-ALGEBRAS