Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
章 I(*)
平模
除非另有说明,假设此章中考虑的所有环都具有单位元;所有环同态均假定为映射单位元至单位元。 环中的子环意味着中的子环包含单位元。
如果是环,是左模,(分别是)是(分别是)的加法子群,请记住或是用于表示乘积生成的的加法子群,其中(代数,章VIII, § 6, no. 1)。如果是的理想,我们写成。对于任何集合 、(如果不引起混淆则为 1)用于表示 的恒等映射本身。
回想一下,公理对于模意味着如果是环的左(或右)模并且表示的单位元,那么 (分别为)对于所有(代数、章II, §1, no. 1)。如果 和 是两个左(或右) 模块,请回想一下 (或简称 )用于表示 到 的同态中的加法群(如前所述, § 1, no. 2)。由于滥用记号,经常被用来表示模减少到单位元素。