加群
环
交换律 单位元 零因子 整环
无零因子和消去律
+++++++++++
除环
//重要性质
重要性质


费马小定理

环的同态跟群大致一致



++++++++++
重要的多项式环
系数属于子环,未定元属于环,表示的R[a]也是子环上的多项式噢
未定元
多项式的未定元存在
证明思路,首先构造一个环p p包含子环R 证明P中有未定元
+++++++++++++++++
重点是有单位的交换环
+++++++++++++++++++++
理想(类比不变子群)
主理想(类比循环子群)
生成理想
++++++
最大理想======这个证明用到了bezout等式,利用整环整除性(辗转相除)可以证明
重要引理=域的生成
++++++
商域
太长懒得看版本
总结