离散数学-10 群与环

定义10.1

(1) V=<S, >是代数系统,为二元运算,如果运算是可结合的,则称V半群.

(2) V=<S,>是半群,若eS是关于运算的单位元,则称V含幺半群,也叫做独异点. 有时也将独异点V 记作 V=<S,,e>.

(3) V=<S,>是独异点,eS关于运算的单位元,若 aSa1S,则称V. 通常将群记作G.

定义10.2 (1) 若群G是有穷集,则称G有限群,否则称为无限群. G 的基数称为群 G ,有限群G的阶记作|G|.

(2) 只含单位元的群称为平凡群. 

(3) 若群G中的二元运算是可交换的,则称G交换群阿贝尔 (Abel) .

定义10.3 G是群,aGnZ,则a n次幂.

离散数学-10 群与环_第1张图片

定义10.4 G是群,aG,使得等式 ak=e 成立的最小正整数k 称为a 的阶,记作|a|=k,称 a k 阶元. 若不存在这样的正整数 k,则称 a 无限阶元.

定理10.1G 为群,则G中的幂运算满足:

(1) aG(a1)1=a

(2) a,bG(ab)1=b1a1

(3) aGanam = an+mn, mZ

(4) aG(an)m = anmn, mZ

(5) G为交换群,则 (ab)n = anbn.

定理10.2 G为群,a,bG,方程ax=bya=bG中有解且仅有惟一解.

定理10.3 G为群,则G中适合消去律,即对任意a,b,cG

(1) ab = ac,则 b = c.

(2) ba = ca,则 b = c.

定理10.4 G为群,aG|a| = r. k是整数,则

(1) ak = e当且仅当r | k

(2 )|a1| = |a|

定义10.5G是群,HG的非空子集,

(1) 如果H关于G中的运算构成群,则称HG子群, 记作HG.

(2) HG的子群,且HG,则称HG真子群,记作H<G.

对任何群G都存在子群. G{e}都是G的子群,称为G平凡子群

定义10.6G为群,aG,令H={ak| kZ},则HG的子群,称为由 a 生成的子群,记作<a>.

定义10.8G为群,

L(G) = {H | HG的子群}

则偏序集< L(G), >称为G子群格

定义10.10 G是群,若存在aG使得

 G={ak| kZ}

则称G循环群,记作G=<a>,称 a G 生成元

循环群的分类:n 阶循环群无限循环群

G=<a>是循环群,若an 阶元,则

G = { a0=e, a1, a2, … , an1 }

那么|G| = n,称 G n 阶循环群.

a 是无限阶元,则

G = { a0=e, a±1, a±2, … }

G 为无限循环群

定理10.13 G=<a>是循环群

(1) G是无限循环群,则G只有两个生成元,即aa1

(2) G n 阶循环群,则G含有(n)个生成元. 对于任何

n且与 n 互质的数r{0,1,…,n-1}, arG的生成元.

定理10.14 G=<a>是循环群

(1) G=<a>是循环群,则G的子群仍是循环群.

(2) G=<a>是无限循环群,则G的子群除{e}以外都是无限循环群.

(3) G=<a>n循环群,则对n的每个正因子d,G恰好含有一个d 阶子群.

定理10.5(判定定理一)

G为群,HG的非空子集,则HG的子群当且仅当

(1) a,bHabH

(2) aHa1H.

定理10.6 (判定定理二)

G为群,HG的非空子集. HG的子群当且仅当a,bH

ab1H

定理10.7 (判定定理三)

G为群,HG的非空有穷子集,则HG的子群当且仅当

a,bHabH.

定义10.7G为群,

C={a| aGxG(ax=xa)}

CG的子群,称为G中心.

定义10.9 HG的子群,aG.

Ha={ha | hH}

Ha是子群HG中的右陪集. aHa代表元素

定理10.8H是群G的子群,则

(1) He = H

(2) aG aHa

定理10.9H是群G的子群,则a,bG

  aHb ab1H Ha=Hb

定理10.10H是群G的子群,在G上定义二元关系R

a,bG, <a,b>R ab1H

RG上的等价关系,且[a]R = Ha.

推论

H是群G的子群,

(1) a,bGHa = Hb HaHb = 

(2) {Ha | aG} = G

定理10.11 H是群G的子群,则aGH Ha

通过以上定理和推论可以知道:给定群G的一个子群H,H的所有右陪集的集合{Ha|a G}恰好构成G的一个划分,而且可以进一步证明这个划分的所有划分块都与H等势。

定义10.12 <R,+,·>是代数系统,+和·是二元运算. 如果满足

以下条件:

(1) <R,+>构成交换群

(2) <R,·>构成半群

(3) · 运算关于+运算适合分配律

则称<R,+,·>是一个.

通常称+运算为环中的加法,·运算为环中的乘法.

环中加法单位元记作 0,乘法单位元(如果存在)记作1.

对任何元素 x,称 x 的加法逆元为负元,记作x.

x 存在乘法逆元的话,则称之为逆元,记作x1.

定理10.16 <R,+,·>是环,则

(1) aRa0 = 0a = 0

(2) a,bR(a)b = a(b) = ab

(3) a,b,cRa(bc) = abac(bc)a = baca

(4) a1,a2,...,an,b1,b2,...,bmR (n,m2)

定义10.13<R,+,·>是环

(1) 若环中乘法 · 适合交换律,则称R交换环

(2) 若环中乘法 · 存在单位元,则称R含幺环

(3) a,bRab=0 a=0b=0,则称R无零因子环

(4) R既是交换环、含幺环、无零因子环,则称R整环

(5) R是整环,且R中至少含有两个元素. aR*,其中

R*=R{0},都有a1R,则称R.

离散数学-10 群与环_第2张图片

  

离散数学-10 群与环_第3张图片

  

离散数学-10 群与环_第4张图片

  

离散数学-10 群与环_第5张图片

离散数学-10 群与环_第6张图片

  

离散数学-10 群与环_第7张图片

  

离散数学-10 群与环_第8张图片

  

离散数学-10 群与环_第9张图片

1.1:r,自于二么少二e高t/r

。七二心)上似"二e》rlt

  

G与〈。">:日akcG,G"二们一片

G三(0-'>{G口。。的一

•2个:假设G:

→::a=b本

刁的b=am」

G=Gmt

消去:Gm山二e

无限阶必有mt=1

从而治""二,

•同三七二一/

  

  

互质是公约数只有1的两个整数,叫做互质整数。

  

你可能感兴趣的:(离散数学-10 群与环)