Loading [MathJax]/jax/output/HTML-CSS/jax.js

离散数学笔记(10)——环和域

离散数学笔记(10)——环和域

代数结构(代数系统)

代数系统的同态与同构

同态核

f 是从 X,Y, 的同态映射,ee 分别为其单位元,定义其同态核kerf={xX|f(x)=e}

定理:设 f 是从群 X, 到群 Y, 的同态映射,则 f 的同态核 KX 的子群。

92

同态性质的保持

代数系统 X,Y,XYf:XY 是同态映射,如果 X, 满足交换、结合、有单位元、有零、每个元素可逆,则 f(X), 也满足上述性质。

注意,同态性质的保持只是单向的。

环与域

给定代数系统 R,+,,若 R 上二元运算 + 满足:

  1. R,+ 是交换群。
  2. R, 是半群。
  3. + 可分配。

则称 R,+, 是个

环的运算法则

R,+, 是环,a,b,cR,符号的约定:

  1. +:单位元由 0 表示(称为零元),a 的逆元用 a 表示(称为负元)。

  2. :单位元由 1 表示(若单位元存在),a 的逆元用 a1 表示(若 a 的逆元存在)。

  3. a+(b)=ab

运算法则

  1. a+(a)=(a)+a=0
  2. 0+a=a+0=a
  3. (a)=a
  4. a+b=ca=c+(b)=cb
  5. (a+b)=ab,(ab)=a+b
  6. a0=0a=0。(0=a0a0=a(0+0)a0=a0+0=a0
  7. (a)b=a(b)=(ab)。(ab+(a)b=(aa)b=0
  8. (a)(b)=ab
  9. a(bc)=abac,(ab)c=acbc

零因子

R,+, 是环,a,bR,且 a0,b0,但有 ab=0,则称 aR 的一个左零因子bR 的一个右零因子。若 a 既是左零因子,又是右零因子,则称 aR 的一个零因子

定理R,+, 中无左(右)零因子,当且仅当对运算 满足可消去性。

93

环的分类

定义:设 R,+, 是环:

  1. R, 是幺群(独异点),则称它是含幺环
  2. R, 是交换半群,则称它是可交换环
  3. R{0},若 R 是交换含幺环,且无零因子,则称它是整环,即满足:
    1. R,+ 是交换群。
    2. R, 是可交换幺群。
    3. + 可分配。
    4. 无零因子。
  4. R 至少有两个元素,令 R=R{0},若 R, 是群,则称它是除环

94

环的同态与同构

RR 是环,fRR 的映射,若对 a,bR,有:
f(a+b)=f(a)+f(b)f(ab)=f(a)f(b)
f 称为由 RR 的一个同态(映射)

f 是单射,则称 f 是一个单同态

f 是满射,则称 f 是一个满同态,并记 RR

f 是双射,则称 f 是一个同构,并记 R=R

定义:设 f 是环 RR 的一个同态,则集合:
kerf=f1(0)={xR|f(x)=0}
称为 f同态核

定理95

F,+,是个代数系统,F 至少有两个元素,如果 F 上二元运算 + 满足:

  1. F,+ 是交换群。
  2. F{0}, 是交换群。
  3. ·+ 可分配。

F,+, 是个

定理 1:设 F,+,是域,则 F 中无零因子。

96

定理 2:域必是整环。

证明:因为域是可交换含幺环,又无零因子,所以也是整环。

整环与域的区别:只差可逆性。

定理 3:一个有单位元 1 的有限整环必是域。

97

格的定义

A, 是偏序集,如果任何 a,bA,使得 {a,b} 都有下确界和上确界,则称 A,

平凡格

所有全序都是格,称为平凡格。

由格诱导的代数系统

A, 是格,在 A 上定义二元运算 为:

a,bAab={a,b} 的上确界ab={a,b} 的下确界

A,,由格 A, 诱导的代数系统

子格

A, 是格,A,, 是由格 A, 诱导的代数系统。

BA 的非空子集,如果 B 上封闭,则称 B,A,子格

格的对偶原理

P 是对任何格都为真的命题,如果将 P 中的 换成 互换,就得到命题 P,称 PP 的对偶命题,则 P 对任何格也是为真的命题。

 

点赞 0

No Comments

Add your comment

或许此刻需要“推力”来成长。