Group

Theorems

定理1

ff是群G1G_1G2G_2的满同态,N=kerfN=\ker f,则:

  1. ff建立了G1G_1中包含NN的子群与G2G_2中子群间的双射;
  2. 上述双射把正规子群对应到正规子群;
  3. HG1,NHH \vartriangleleft G_1, N \subseteq H,则G1/HG2/f(H)G_1/H \simeq G_2/f(H)

对于1.的证明:

Γ\Gamma表示G1G_1中包含NN的子群的全体,Σ\Sigma表示G2G_2的子群的全体,作映射:

ϕ:ΓΣHf(H)\phi:\Gamma \rightarrow \Sigma \\ H \mapsto f(H)

首先证明f(H)f(H)是一个群。设a,bH\forall a,b \in H,

f(a)f(b)1=f(a)f(b1)=f(ab1)f(H)\begin{aligned} f(a)f(b)^{-1} &= f(a)f(b^{-1}) \\ &= f(ab^{-1})\in f(H) \end{aligned}

所以f(H)f(H)是一个群。

由于ff是一个群G1G_1G2G_2的满同态,显然ϕ\phi也是一个满映射,下面证明是一个单射。假设H1H2,f(H1)=f(H2)H_1 \neq H_2, f(H_1)=f(H_2),g故存在bH2,bH1,aH1b \in H_2, b \notin H_1, a \in H_1使得:

f(a)=f(b)f(a)=f(b)

从而

f(ab1)=f(a)f(b1)=f(a)f(b)1=f(a)f(a)1=e2f(ab^{-1})=f(a)f(b^{-1})=f(a)f(b)^{-1}=f(a)f(a)^{-1}=e_2

从而ab1NH1ab^{-1}\in N \subseteq H_1,因为aH1a\in H_1,故a1H1a^{-1}\in H_1,故b1H1a1=H1b^{-1}\in H_1a^{-1}=H_1,故bH1b\in H_1,这与假设不符,所以为单射。

综合便知为双射。

对于2.的证明:

即证明f(a)G2,f(h)f(H),f(a)f(h)f(a)1f(H)\forall f(a)\in G_2, f(h) \in f(H),f(a)f(h)f(a)^{-1} \in f(H),因为:

f(a)f(h)f(a)1=f(a)f(h)f(a1)=f(aha1)f(a)f(h)f(a)^{-1}=f(a)f(h)f(a^{-1})=f(aha^{-1})

aha1Haha^{-1} \in H,故f(aha1)f(H)f(aha^{-1}) \in f(H),故f(H)f(H)仍旧为正规子群。反推回去,当f(H)f(H)为正规子群时,HH也为正规子群,证毕。

对于3.的证明

由上知f(H)G2f(H) \vartriangleleft G_2,作对应关系:

ϕ:G1G2/f(H)af(a)f(H)\phi:G_1 \rightarrow G_2/f(H)\\ a \rightarrow f(a)f(H)

由于

ϕ(ab)=f(ab)f(H)=f(a)f(b)f(H)=f(a)f(H)f(b)f(H)=ϕ(a)ϕ(b)\phi(ab)=f(ab)f(H)=f(a)f(b)f(H)=f(a)f(H)f(b)f(H)=\phi(a)\phi(b)

故为ϕ\phi为从G1G_1G2/f(H)G_2/f(H)的同态。

hH,ϕ(h)=f(h)f(H)=f(H)=e2\forall h \in H, \phi(h)=f(h)f(H)=f(H)=e_2,故H=kerϕH=\ker \phi,根据同态基本定理,G1/kerϕG_1/\ker \phi同构于G2/f(H)G_2/f(H),即:

G1/HG2/f(H)G_1/H \simeq G_2/f(H)

得证。

Ring

Definitions

主理想(Principle Ideal)

所有RR中包含AA的理想之交仍然为RR的理想,称为由AA生成的理想,记为A\langle A \rangle,它是RR中包含集合AA的最小理想。当AA只包含一个元素aa时,记为a\langle a\rangle,称为由aa生成的主理想。

RR为交换幺环时,则A\langle A\rangle可以写成如下:

L={i1nxiainN,xiR,aiA}L=\{ \sum_{i-1}^nx_ia_i | n \in N,x_i \in R, a_i \in A \}

Theorems

定理1

RR是交换幺环,证明RR是一个域当且仅当0{0}RR的极大理想。

证明 \Leftarrow

Let us now suppose that 0{ 0} is a maximal ideal of RR. Let xx be any nonzero element in RR.

Then the ideal x=rxrR\langle x\rangle={rx|r\in R } generated by the element xx properly contains the ideal 0\langle 0 \rangle. Since 0\langle 0\rangle is a maximal ideal, we must have x=R\langle x\rangle=R.

Since 1R1\in R, there exists yRy\in R such that 1=xy1=xy. This implies that the element xx is invertible. Therefore any nonzero element of RR is invertible, and hence RR is a field.

Field