1.有限域
1.1群
群G,有时记为{G,·},是定义了一个二元运算的集合,这个二元运算可表示为·,G中的每一个序偶(a,b)通过运算生成G中的元素(a·b),并满足以下公理:
(A1)封闭性 如果a和b都属于G,则a·b也属于G。
(A2)结合律 对于G中任意元素a、b、c,都有a·(b·c)=(a·b)·c成立。
(A3)单位元 G中存在一个元素e,对于G中任意元素a,都有a·e=e·a=a成立。
(A4)逆元 对于G中任意元素a,Guuuuuuuu中都存在一个元素a',使得下式成立a·a'=a'·a=e
1.1.1交换群
一个群如果满足以下条件,则成为交换群:
(A5)交换律: 对于G中任意的元素a、b,都有a·b=b·a成立。
1.1.2循环群
如果群中的每一个元素都是一个固定元素a(aG)的幂
(k为整数),则称群G是一个循环群。
1.2环
环R,有时记为{R,+,×},是一个有两个二元运算的集合,这两个二元运算分别成为加法和乘法,且对于R中的任意元素a、b、c满足以下公理:
(A1-A5) R关于加法是一个交换群;也就是说R满足从A1到A5的所有规则。对于此种情况下的加法群,我们用0表示其单位元,-a表示a的逆元。
(M1)乘法的封闭性 如果a和b都属于R,则ab也属于R。
(M2)乘法的结合律 对于R中的任意元素a、b、c,有a(bc)=(ab)c成立。
(M3)分配律 对于R中的任意元素a、b、c,下面两个式子总成立:
a(b+c)=ab+ac (a+b)c=ac+bc
1.2.1交换环
环如果还满足以下条件,则被称为交换环
(M4)乘法的交换律 对于R中任意的元素a、b,有ab=bc成立
1.2.2整环
满足以下公理的交换环:
(M5)乘法单位元 在R中存在元素1,使得对于R中的任意元素a,有a1=1a=a成立。
(M6)无零因子 如果有R中元素a、b,且ab=0,则必有a=0或b=0.
1.3域
域F,有时记为{F,+,×},是有两个二元运算的集合,这两个二元运算分别称为加法和乘法,且对于F中的任意元素a、b、c满足以下公理:
(A1-M6)F是一个整环:也就是说F满足A1到A5以及M1到M6的所有原则。
(M7)乘法逆元 对于F中的任意元素a(除0以外),F中都存在一个元素使得
=
成立。