【A-1】 域(field)的概念.
域(field) 是一个集合 F (至少含有2个元素) 连同其上两个运算: 加法(addition)+ 和乘法(multiplication)· 满足:
(1) 对于任意 a, b ∈ F, 都有 a+b ∈ F,
对于任意 a, b ∈ F, 都有 a·b ∈ F.
(2) 加法交換律(commutativity of addition): 对于任意 a, b ∈ F, 都有 a+b = b+a,
乘法交換律(commutativity of multiplication): 对于任意 a, b ∈ F, a·b=b·a.
(3) 对于任意 a, b, c ∈ F, 都有 a+(b+c) = (a+b)+c ,
对于任意 a, b, c ∈ F, 都有 a·(b·c)=(a·b)·c.
(4) 对于任意 a, b, c ∈ F, 都有 a·(b+c) = (a·b)+(a·c).
(5) 存在加法单位元(additive identity element) 0 使得 对于任意 a ∈ F, 都有 a+0=a.
存在乘法单位元(multiplicative identity element) 1 使得对于任意 a ∈ F 都有 a·1=a.
(6) 对于任意 a ∈ F, 都有 -a ∈ F, 使得 a+(-a)=0. -a称为a的加法逆元(additive inverse).
对于任意 a ∈ F, a ≠ 0, 都有 a^(-1) ∈ F, 使得 a·a^(-1)=1. a^(-1)称为a的乘法逆元(multiplicative inverse).
在域F中, 由于对于任意 a ∈ F, 都有 -a ∈ F, 所以不需要另行定义减法. 在域F中, 由于对于任意 a ∈ F, a ≠ 0, 都有 a^(-1) ∈ F, 所以不需要另行定义除法.
设 F 是上述定义中的域, K 是 F的一个子集. 如果 K 也符合上述定义, 则称 K 为 F 的子域(subfield).
设 F 是一个域. 如果 F 的子域(subfield)只能是 F 本身, 称 F 为 素域(prime field).
(待续)
域(field) 是一个集合 F (至少含有2个元素) 连同其上两个运算: 加法(addition)+ 和乘法(multiplication)· 满足:
(1) 对于任意 a, b ∈ F, 都有 a+b ∈ F,
对于任意 a, b ∈ F, 都有 a·b ∈ F.
(2) 加法交換律(commutativity of addition): 对于任意 a, b ∈ F, 都有 a+b = b+a,
乘法交換律(commutativity of multiplication): 对于任意 a, b ∈ F, a·b=b·a.
(3) 对于任意 a, b, c ∈ F, 都有 a+(b+c) = (a+b)+c ,
对于任意 a, b, c ∈ F, 都有 a·(b·c)=(a·b)·c.
(4) 对于任意 a, b, c ∈ F, 都有 a·(b+c) = (a·b)+(a·c).
(5) 存在加法单位元(additive identity element) 0 使得 对于任意 a ∈ F, 都有 a+0=a.
存在乘法单位元(multiplicative identity element) 1 使得对于任意 a ∈ F 都有 a·1=a.
(6) 对于任意 a ∈ F, 都有 -a ∈ F, 使得 a+(-a)=0. -a称为a的加法逆元(additive inverse).
对于任意 a ∈ F, a ≠ 0, 都有 a^(-1) ∈ F, 使得 a·a^(-1)=1. a^(-1)称为a的乘法逆元(multiplicative inverse).
在域F中, 由于对于任意 a ∈ F, 都有 -a ∈ F, 所以不需要另行定义减法. 在域F中, 由于对于任意 a ∈ F, a ≠ 0, 都有 a^(-1) ∈ F, 所以不需要另行定义除法.
设 F 是上述定义中的域, K 是 F的一个子集. 如果 K 也符合上述定义, 则称 K 为 F 的子域(subfield).
设 F 是一个域. 如果 F 的子域(subfield)只能是 F 本身, 称 F 为 素域(prime field).
(待续)