抽象代数基础 环论(1)

首先一个环乘法满足半群的性质:
1.封闭
2.满足结合律
其次一个环加法满足阿贝尔群的性质:
若环乘法满足交换律,半群含幺,称其为交换环.
若交换环满足乘法消去律,称其为整环.

$\text{Example } R$是整环,找出两个函数$f,g\in I(R),f\not \equiv 0,g\not \equiv 0$但$fg \equiv 0$.
整环的性质告诉我们,整环无零因子.因此若需找出这样的函数,只有利用$f\equiv 0或g\equiv 0$的性质.因此让其中一个在环上某定义域成立即可.

整环的一个重要性质是具有可比性.可比性如下定义.
公设:
$加法律$ 两个正整数的和是正整数.
$乘法律$ 两个正整数的积是正整数.
$三分律$ 对于某一个整数$a\in 环R$,要么$a=0$,要么$a$或$-a$是正整数.
那么定义关系$a>b,b<a:=[a-b是正整数]$,$a\geqslant b,b\leqslant a:=[a>b\vee a=b]$.
通过恰当地选取整环的正元素,可能使得整环变成有序整环.

$\text{Problem }$证明在任意有序数环中$a^7=b^7\Rightarrow a=b$.
证明:注意到 a7−b7=(a−b)[a6+a4b2+a2b4+b6+ab