零化子
数学术语
零化子(annihilator)起源于零因子的概念.设S是环R的子集,R中一切左乘S中每一个元都等于零的元素的集合,称为S的左零化子,R中一切右乘S中每一个元都等于零的元素的集合,称为S的右零化子。
定义
定义一
设S是R的子集,R中一切左乘S中每一个元都等于零的元素的集合,称为S的左零化子,通常记为或,即={对任意}。是R的一个左理想。同样地,S在R中的右零化子=={对任意}是R的右理想,∩称为S在R中的零化子,它是R的理想。
定义二
假定R是环,S是R的非空子集合, ,那么
叫做R中S的左零化子或简称R中左零化子或左零化子,显然 是R的左理想,假如K是由S生成的R的右理想,那么,因此我们也可以假定S是R的右理想,这样 就是R的右理想S的左零化子,如果S是左理想或理想,那么 就是理想。
同样 叫做R中S的右零化子或R中右零化子或右零化子,显然 是R的右理想,我们也可把看成R的左理想S的右零化子,右理想的右零化子或理想的右零化子都是理想。
R的理想如果又是R中左零化子或右零化子,就叫做R的零化理想,显然R自身是R中的零化理想,假如环R有单位元或是半质环,那么O是R的零化理想。
零化子的性质
把 和 分别简记为 和。
1 引理
设 是余生成子,则对于每个 有:
2 定理
若 是内射的,则有
(1)对任意 ,,有
(2)对任意有限生成的 有
3 定理
如果定理2中的条件(1),(2)成立,则任意从R的有限生成右理想到R的同态可由R的某个元素左乘得到。
4 推论
若 是Noether的且定理2中的条件(1),(2)成立,则 是内射的。
证明:因为是Noether的,所以R的每个右理想是有限生成的,于是由定理3和Baer判别定理就得到命题。
参考资料
最新修订时间:2023-01-04 23:07
目录
概述
定义
参考资料