加群
环
交换律 单位元 零因子 整环
无零因子和消去律
+++++++++++
除环
//重要性质
重要性质
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/8eea38718a4342b7d0182a0637f48276.png)
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/181990db99b09c6857670e5b13069aa3.png)
费马小定理
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/a3f95c2b57222797dfe60b0f6749eed8.png)
环的同态跟群大致一致
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/a7ca97a7aa3107b2751229b734bdcccc.png)
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/c34ba797a982753717b156ca63f0aa0a.png)
![在这里插入图片描述](https://i-blog.csdnimg.cn/blog_migrate/77691908377ccf7062bd272de96d105e.png)
++++++++++
重要的多项式环
系数属于子环,未定元属于环,表示的R[a]也是子环上的多项式噢
未定元
多项式的未定元存在
证明思路,首先构造一个环p p包含子环R 证明P中有未定元
+++++++++++++++++
重点是有单位的交换环
+++++++++++++++++++++
理想(类比不变子群)
主理想(类比循环子群)
生成理想
++++++
最大理想======这个证明用到了bezout等式,利用整环整除性(辗转相除)可以证明
重要引理=域的生成
++++++
商域
太长懒得看版本
总结