整除的性质：(6)任一个元α可以被单位整除.(7）任一个元α可以被单位整除εa事实上,α=ε(ε-a)=ε-(εa)这就是说，一个任意元α可以被每一个单位8和α的每一个相伴元ca整除
整除的性质: (6) 任一个元 a 可以被单位整除 . (7) 任一个元 a 可以被单位整除 a 事实上, ( ) ( ) 1 1 a a a − − = = 这就是说，一个任意元 可以被每一个单位 和 的每一个相伴元 整除。 a a a
定义3元b叫做元α的相伴元，假如b是α个个单位ε的乘积：b=εa注1.相伴关系是等价关系注2.相伴元有另外的描述：a和b是一对相伴元台α和b相互整除.(留作练习)
定义3 元b叫做元 的相伴元，假如b是 个 一个单位 的乘积： a a b a = 注1. 相伴关系是等价关系. 注2. 相伴元有另外的描述: 和 是一对相伴元 和 相互整除. (留作练习) a b a b
例2．发现一些整环的单位及一个元a的相伴元例3.在整环中，(1) (a) ≤(b) ←bla(2)(a)=(b)a,b是相伴元
例2．发现一些整环的单位及一个元a的相伴元。 例3. 在整环中, (1) ( ) ( ) a b b a (2) ( ) ( ) , a b a b = 是相伴元