线性代数笔记(一)群环域的概念
fengxiaot Lv4

本文对群、环、域三种代数结构的基本概念进行了简单梳理,以辅助理解《高等代数》中一元多项式环,更加深入的讨论代数结构要等到以后学群论了。


群 (Group)

群的定义

(G,)(G,\cdot) 是由集合 GG 和二元运算 \cdot 构成的,符合群公理的数学结构。其中,二元运算 \cdot 结合任何两个元素 aabb 而形成另一个元素,记为 aba·b ,符号 \cdot 是具体的运算,比如整数加法。

群公理包含以下四条性质:

  1. 封闭性:对于所有 GGa,ba,b ,运算 aba·b 的结果也在 GG 中;
  2. 结合律:对于所有 GG 中的 a,ba,bcc,等式 (ab)c=a(bc)(a \cdot b) \cdot c=a \cdot (b \cdot c) 成立;
  3. 单位元:存在 GG 中的一个元素 ee ,使得对于所有 GG 中的元素 aa ,总有等式 ea=ae=ae \cdot a=a \cdot e=a 成立,单位元又称幺元
  4. 逆元:对于每个 GG 中的 aa,存在 GG 中的一个元素 bb 使得总有 ab=ba=ea \cdot b=b \cdot a=e,此处 ee 为单位元;aa 的逆元记作 a1a^{-1}

群运算的次序很重要,把元素 aa 与元素 bb 结合,所得到的结果不一定与把元素 bb 与元素 aa 结合相同;亦即交换律 ab=baa \cdot b=b \cdot a 不一定恒成立。满足交换律的群称为交换群或阿贝尔群

群的判别法

考虑一个非空集合 (G,)(G,\cdot),对于所有的 a,bGa,b \in G,若有 ab1Ga \cdot b^{-1} \in G,则 (G,)(G,\cdot) 是一个群。

特殊群

  • 交换群:在群公理的基础上,满足交换律 ab=baa \cdot b=b \cdot a 即为交换群/阿贝尔群。典型的例子是整数加法群 (Z,+)(\mathbb{Z}, +)
  • 半群:在群公理的基础上去除单位元和逆元条件,仅保持封闭性和结合律。即在集合 SS 上定义运算 \circ,且 a,b,cS\forall a,b,c \in S ,有 (ab)c=a(bc)(a \circ b) \circ c = a \circ (b \circ c),则 (S,)(S, \circ) 为半群.典型的例子是 (Z+,+)(\mathbb{Z}^+, +)
  • 幺半群:在半群的基础上存在单位元,即存在 ee,使 aS\forall a \in S,有 ea=ae=ae \cdot a=a \cdot e=a 。典型的例子是 (N,+)(\mathbb{N}, +) ,其单位元为 00
  • 交换半群:在半群的基础上满足交换律。

群的性质

  1. 单位元是唯一的
  2. 任意一个元素的逆元是唯一的
  3. 对于 a,bG\forall a,b \in G,方程 ax=bax=bya=bya=bGG 中都有解
  4. GG 满足消去律,即 a,b,cG\forall a,b,c \in G,若 ab=acab=ac,则有 b=cb=c ;若 ba=caba=ca,也有 b=cb=c 。即同时包含左消去和右消去。

环 (Ring)

环的定义

(R,+,)(R,+,\cdot)是由集合 RR 和定义于其上的两种二元运算 ++\cdot 所构成的,符合如下性质的代数结构。

  1. (R,+)(R, +) 形成一个交换群,其单位元称为零元,记作 0R0_R00,即

    (R,+)(R, +) 封闭

    (a+b)+c=a+(b+c)(a+b)+c=a+(b+c)

    a+b=b+aa+b=b+a

    a+0R=a=0R+aa+0_R=a=0_R+a

    aR\forall a \in R,存在aR-a \in R,使得 a+(a)=(a)+a=0Ra+(-a)=(-a)+a=0_R

  2. (R,)(R, \cdot) 形成一个半群,即:

    (R,)(R, \cdot) 封闭

    (ab)c=a(bc)(a \cdot b) \cdot c=a \cdot (b \cdot c)

  3. ++ 满足分配律,即:

    a(b+c)=ab+aca \cdot (b+c) = a \cdot b + a \cdot c

    (a+b)c=ac+bc(a+b) \cdot c = a \cdot c + b \cdot c

/* 两种二元运算常被称为加法和乘法,但并不代表是一般所说的加法和乘法 */

特殊的环

  • 交换环:若环的乘法 \cdot 满足交换律,则环称为交换环。此时 (R,)(R, \cdot) 形成一个交换半群。
  • 幺环:若环的乘法 \cdot 存在单位元 1R1_R11,则称环为幺环。此时 (R,)(R, \cdot) 形成一个幺半群。
  • 除环:若非零环存在单位元,且环的每个非零元对乘法 \cdot 都可逆,则称环为除环,并将 aa 的乘法逆元记为 a1a^{-1}。此时定义了除法 ÷\div ,即 a÷b=ab1a \div b = ab^{-1}。除环不一定是交换环,其典型例子为四元数环。

环的性质

  1. 零元乘任意元素仍为零元,即 0Ra=a0R=0R0_R a = a 0_R = 0_R

    /* 这就是为什么加法群的单位元反而要命名为零元 */

  2. RR 上可定义减法 ab:=a+(b)a-b:=a + (-b),并称 a-aaa负元

  3. a,b,cR\forall a,b,c \in R,有 (a)b=a(b)=(ab)(-a) \cdot b = a \cdot (-b) = -(a \cdot b)

零因子

定义:一个环的一个非零元素 aa 是一个左零因子 (右零因子),当且仅当存在一个非零元素 bb,使得 ab=0(ba=0)ab=0 \, (ba=0)。左、右零因子统称为零因子

由环的性质1,零元 00 显然是零因子,称 00平凡的零因子

有单位元的交换环 RR,如果没有非平凡的零因子,则称 RR 是一个整环

Z,K,K[x]\mathbb{Z}, K,K[x] 是整环;2Z2\mathbb{Z} 不是整环,因为它没有单位元;Mn(K)M_n(K) 不是整环,因为它不满足交换律,且有非平凡的零因子。


域 (Field)

域的定义

定义1:域是交换性除环。

定义2:域是一种交换环 (F,+,)(F, +, \cdot),当中加法单位元 00 不等于乘法单位元 11 ,且所有非零元素有乘法逆元。

/* 其中加法单位元不等于乘法单位元的要求排除了平凡的只由一个元素组成的域。 */

域的性质

ab=0ab=0,则 a=0a=0b=0b=0

数域

定义1:数域是复数域 C\mathbb{C} 的子域

定义2:设复数域的一个子集 KK 包含 0011 ,并且 KK 中任两个数的和、差、乘积,以及除数非 00 的商都仍在 KK 中,则称 KK 是一个数域。