近世代数-群论基础一
近世代數-群論基礎一
半群與群
半群:在集合,任意x,yx,yx,y經過一元運算x°yx\circ yx°y 得到的結果依然是在該集合內的,且滿足結合律
幺半群:在半群的基礎上引入幺元(單位元)
定理2.1:括號的添加方式(位置)與結果無關
群:每個元素都可逆的幺半群
定義:非空集GGG按它的二元運算°\circ°,形成群當且僅當
- GGG對運算°\circ°封閉,即a,b∈G?a°b∈Ga,b\in G\Rightarrow a\circ b\in Ga,b∈G?a°b∈G
- 運算°\circ° 滿足結合律
- 有單位元
- 每個元都可逆,即a∈Ga\in Ga∈G時有b∈Gb\in Gb∈G使得a°b=e=b°aa\circ b=e=b\circ aa°b=e=b°a
另外,一般把集合XXX的基數記為∣X∣|X|∣X∣,對于有限集合中基數∣X∣|X|∣X∣就是XXX中的元素總個數
若群GGG中元素有限,則稱為有限群,其元素總個數∣G∣|G|∣G∣稱為GGG的階,當∣G∣=n|G|=n∣G∣=n時稱GGG為n階群
在群的基礎上若滿足交換律,則稱GGG為Abel群或交換群
定理2.3:當半群滿足可除性條件,對任何a,b∈Ga,b\in Ga,b∈G,方程ax=bax=bax=b與ya=bya=bya=b在GGG中都有解,半群形成群
定理2.4:設GGG為群,則GGG中有消去律
當有限半群GGG中具有消去律,則GGG必為消去律(特殊地,自然數數集NNN按加法形成具有消去律的半群不是群)
群的例子
數論的例子
- Pell方程
Gd={x+yd:x,y∈Z且x2?dy2=1}G_d=\{x+y\sqrt d:x,y\in \mathbb Z且x^2-dy^2=1\}Gd?={x+yd?:x,y∈Z且x2?dy2=1},按數的乘法形成Abel群
線性代數的例子
- 矩陣
GLn(R)={n階實方陣A:detA≠0}GL_n(\mathbb R)=\{n階實方陣A:det~A\neq 0\}GLn?(R)={n階實方陣A:det?A?=0}以及SLn(R)={n階實方陣A:detA=1}SL_n(\mathbb R)=\{n階實方陣A:det~A=1\}SLn?(R)={n階實方陣A:det?A=1}
按矩陣的乘法形成群;前者稱為一般線性群,后者稱為特殊線性群
其他
- 函數
實數區間III上全體連續的實函數按函數加法(f+gf+gf+g在x∈Ix\in Ix∈I處值定義為f(x)+g(x)f(x)+g(x)f(x)+g(x))形成Abel群;此時區間III上零函數O(x)=0O(x)=0O(x)=0為連續函數,它是Abel群的加法單位元(零元)
- 整數加群
任給正整數mmm,
mZ={mx:x∈Z}={?,?2m,?m,0,m,2m,?}m\mathbb Z=\{mx:x\in \mathbb Z\}=\{\cdots,-2m,-m,0,m,2m,\cdots\}mZ={mx:x∈Z}={?,?2m,?m,0,m,2m,?},按整數的加法形成Abel群,整數000為其加法單位元;且該群通常叫做整數加群
PS:mmm的倍數可以表示作mZm\mathbb{Z}mZ
- 模mmm同余關系
a≡b(modm)a\equiv b\pmod ma≡b(modm)
- 集合上的等價關系
設非空集合XXX上的等價關系寫作~\sim~,則該關系滿足
自反性:x~xx\sim xx~x;對稱性:x~y?y~xx\sim y \Rightarrow y\sim xx~y?y~x;傳遞性:x~y~z?x~zx\sim y\sim z\Rightarrow x\sim zx~y~z?x~z
等價類:x∈Xx\in Xx∈X所在的等價類指{y∈X:x~y}\{y\in X:x\sim y\}{y∈X:x~y};不同等價類并集為空
- Z/mZ\mathbb{Z}/m\mathbb{Z}Z/mZ上的加乘法
模mmm同余關系是整數集Z\mathbb{Z}Z上的等價關系,a∈Za\in \mathbb{Z}a∈Z所在的等價類為
aˉ=a+mZ={x∈Z:x≡a(modm)}\bar a = a + m\mathbb{Z} = \{x\in \mathbb{Z}:x\equiv a\pmod m\} aˉ=a+mZ={x∈Z:x≡a(modm)}
稱aaa所在的模mmm剩余類在集合
Z/mZ={aˉ=a+mZ:a∈Z}={0ˉ,1ˉ,?,m?1 ̄}\mathbb{Z}/m\mathbb{Z}=\{\bar{a} = a + m\mathbb{Z}:a\in \mathbb{Z}\} = \{\bar 0 ,\bar 1,\cdots,\overline{m-1}\} Z/mZ={aˉ=a+mZ:a∈Z}={0ˉ,1ˉ,?,m?1?}
上,定義其加法與乘法為:
aˉ+bˉ=a+b ̄,aˉbˉ=ab ̄\bar a + \bar b = \overline{a+b},~\bar{a}\bar b=\overline{ab} aˉ+bˉ=a+b?,?aˉbˉ=ab
證明定義的合理性
若a,ca,ca,c為aˉ\bar aaˉ剩余類中的元素,而b,db,db,d為bˉ\bar bbˉ剩余類中的元素;則
a≡c(modm)且b≡d(modm)?a+b≡c+d(modm)且ab≡cd(modm)a\equiv c\pmod m且b\equiv d\pmod m\\ \Rightarrow a+b\equiv c+d\pmod m且ab\equiv cd \pmod m\\ a≡c(modm)且b≡d(modm)?a+b≡c+d(modm)且ab≡cd(modm)
以此類推,分別遍歷aˉ\bar aaˉ與bˉ\bar bbˉ中剩余類的所有元素得到以上類似同余式,所以
a+b ̄=c+d ̄且ab ̄=cd ̄\overline{a+b}=\overline{c+d}且\overline{ab}=\overline{cd} a+b?=c+d?且ab=cd
以上加乘法滿足結合律與交換律
故Z/mZ\mathbb{Z}/m\mathbb{Z}Z/mZ按剩余類的加法形成mmm階Abel群,加法單元為0ˉ=mZ\bar 0=m\mathbb{Z}0ˉ=mZ
- 單射與滿射(數學表達)
設fff是集合XXX到集合YYY的映射,若
f(x1)=f(x2)?x1=x2f(x_1)=f(x_2)\Rightarrow x_1=x_2 f(x1?)=f(x2?)?x1?=x2?
則稱映射f:X→Yf:X\rightarrow Yf:X→Y是單射
若{f(x):x∈X}=Y\{f(x):x\in X\}=Y{f(x):x∈X}=Y,則稱f:X→Yf:X\rightarrow Yf:X→Y是滿射
當f:X→Yf:X\rightarrow Yf:X→Y既是單射又是雙射時,稱fff為XXX到YYY的雙射
對稱群
設非空集XXX到ta自身的雙射叫XXX上的置換,所有XXX上的置換按照映射的復合構成群,其單位元是XXX上的單位元為恒等映射Ix:x?xI_x:x\mapsto xIx?:x?x;該群稱為XXX上的對稱群,記為S(X)S(X)S(X)
對稱群中的置換
nnn元集X={x1,?,xn}X=\{x_1,\cdots,x_n\}X={x1?,?,xn?}上的一個置換相應于x1,?,xnx_1,\cdots,x_nx1?,?,xn?的一個全排列;
∣X∣=n|X|=n∣X∣=n時∣S(X)∣=n!|S(X)|=n!∣S(X)∣=n!;對于正整數nnn,對稱群S({1,?,n})S(\{1,\cdots,n\})S({1,?,n})簡記成SnS_nSn?
一般表示作
σ=(123231)\sigma = \begin{pmatrix} 1&2&3\\ 2&3&1 \end{pmatrix} σ=(12?23?31?)
代表著σ(1)=4,σ(3)=6,?\sigma(1)=4,\sigma(3)=6,\cdotsσ(1)=4,σ(3)=6,?
PS:∣X∣|X|∣X∣表示XXX的階;恒等映射?\iff? 單位元
對稱群 Groupe symétrique - 知乎 (zhihu.com)
復數的幾何形式
Hamilton四元數(四維超復數)
z=a+bi+cj+dk,其中a,b,c,d為實數z=a+bi+cj+dk,其中a,b,c,d為實數 z=a+bi+cj+dk,其中a,b,c,d為實數
其乘法的特殊之處
要求i2=j2=k2=ijk=?1i^2=j^2=k^2=ijk=-1i2=j2=k2=ijk=?1,則
ij=k,jk=i,ki=jji=?k,kj=?i,ik=?jij=k,jk=i,ki=j\\ ji=-k,kj=-i,ik=-j ij=k,jk=i,ki=jji=?k,kj=?i,ik=?j
(很顯然不滿足交換律)
故D={±1,±i,±j,±k}D=\{\pm 1,\pm i,\pm j,\pm k\}D={±1,±i,±j,±k}按乘法形成888階非交換群
Reference
近世代數_中國大學MOOC(慕課) (icourse163.org)
總結
以上是生活随笔為你收集整理的近世代数-群论基础一的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 修改hosts权限
- 下一篇: DDR3 Vivado 仿真测试成功