把有限域学透彻

说到域，其实应该先从群和环说起

---

在这里记一下我一直搞混的数集和表示符号：

1. 自然数集—N
2. 整数集 —Z     正整数集—（就是不包含0的自然数集）
3. 有理数集—Q
4. 实数集—R
5. 复数集—C

---

---

那就先聊聊群

群的概念：假设G是一个非空集合，它里边的所有元素应该满足某种结合法（或者称满足某种运算），当结合法满足三个条件的时候，我们就可以称 G为一个群：

这三个条件是：（1）结合律，即对于任意的,都有；

                             （2）单位元，即存在一个元素，使得对任意的,都有；

                                 （3）可逆性，即对任意的,都存在，使得；

群的性质：群G的元素个数叫做群G的阶，记做，当为有限数时，G叫做有限群。

                 如果群G的结合法还满足交换律，即对于任意的，都有，那么G成为交换群或阿贝尔（Abel）群。

---

接下来再说环

环的定义：设R是具有两种结合法（加法和乘法）的非空集合，如果满足以下条件，可以称为环：

              条件（1）R对于加法构成一个交换群；

                           （2）结合律：对于任意的,有;

                                   (3)分配律：对于任意的，有和；

        满足以上三个条件，就称R为环。

也就是说，环在群的基础上加了一个运算，加上了加法和乘法之间的分配律。

---

最后再说回域

  先讲一下域的定义，如下：

最后我的理解：

如果是存在一个环R，环R是一个交换环，就是满足乘法交换律，并且R中有单位元，并且每一个非零元都是可逆元。

也就是说：：：：R对于加法构成交换群，R中的非零元对于乘法构成一个交换群。

---

推荐一个北大丘维声教授讲的课，B站链接：https://www.bilibili.com/video/BV14t411875i/

感觉讲的不错，值得一听。