段彥峰，陳國(guó)龍，武成偉(淮北師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，安徽 淮北 235000)

緊致性定理在近世代數(shù)中的應(yīng)用

段彥峰，陳國(guó)龍，武成偉(淮北師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，安徽 淮北 235000)

模型論中緊致性定理在代數(shù)中有很廣泛的應(yīng)用。用緊致性定理證明了若L中的理論Τ有任意大特征的整環(huán)或除環(huán)模型，則Τ有特征為0的整環(huán)或除環(huán)模型；若一個(gè)語句φ在任意一個(gè)特征為零的整環(huán)或除環(huán)中為真，則對(duì)任意的自然數(shù)n，存在素?cái)?shù)pgt;n，使φ在特征為p的整環(huán)或除環(huán)中真。

模型論；緊致性定理；整環(huán)；除環(huán)

1 一階形式語言及理論

定義1[1]設(shè)Τ是L中的一個(gè)語句集，則也稱Τ是L的一個(gè)理論。

定義2[1]設(shè)Τ是L中的一個(gè)理論，μ是L一個(gè)模型，如果對(duì)每個(gè)σ∈Τ都有μ滿足σ，則稱μ是Τ的一個(gè)模型。

定義3[1]形式系統(tǒng)L的一個(gè)理論Σ稱為不和諧，如果對(duì)L中的每一個(gè)公式都能由Σ推出；否則稱Σ是和諧的。

2 基本概念

定義4設(shè)L={+,·,0,1}，+,·是二元函數(shù)符號(hào)，0,1是常量符號(hào)，μ是L的一個(gè)模型，Γ是由下列語句組成的理論：

1)(x+y)+z≡x+(y+z) (加法結(jié)合律) ;

2)(x·y)·z≡x·(y·z)(乘法結(jié)合律);

3) ?x，?y，使y+x≡0∧x+y≡0(有逆元);

4)x+y≡y+x(加法交換律);

5)x+0≡x∧0+x≡x(0是加法單位元)；

6)1·x≡x·1(1是乘法單位元)；

7)x·(y+z)≡x·y+x·z;(y+z)·x≡y·x+z·x(分配律)；

8)x·y≡0→x≡0∨y≡0；

9)x·y≡y·x(乘法交換律)；

10)1≠0；

11)x≠0，?y，使x·y≡1。

若μ滿足1)～9)，則稱μ是整環(huán)；若1)～11)中，除9)外，μ都滿足，則稱μ是除環(huán)；若μ滿足1)～11)，則稱μ是域。

注：由文獻(xiàn)[2-3]知整環(huán)、除環(huán)、域都是無零因子幺環(huán)，因此，整環(huán)、除環(huán)、域模型都滿足定義5。

引理1[1]設(shè)Τ是語言L中的理論，則Τ為和諧的充分必要條件是Τ有模型。

引理2[1](緊致性定理)L中的一個(gè)理論Τ有模型的充分必要條件是的Τ每一個(gè)有限子集都有模型。

3 主要結(jié)論

定理1設(shè)L={+,·,0,1}，L中的理論Τ有任意大特征的整環(huán)模型，則Τ有特征為0的整環(huán)模型。

證明令Σ=Τ∪Γ∪{p·1≠0,p是任意素?cái)?shù)}，其中Γ是整環(huán)公理，令Σ′是Σ的任意一個(gè)有限子集，則Σ′中至多含有有限多個(gè)p·1≠0(p為素?cái)?shù))，取一個(gè)素?cái)?shù)q大于所有上述的p，由題設(shè)可知Τ有一個(gè)特征為q的整環(huán)模型，由環(huán)論知識(shí)可知，這個(gè)模型也是Σ′的模型，由Σ′的任意性可知Σ的每個(gè)有限子集都有模型，由緊致性定理Σ有模型μ，由Σ的設(shè)法和定義5可知這個(gè)模型μ是Τ的特征為零的整環(huán)模型。

推論1設(shè)L={+,·,0,1}，L中的理論Τ有任意大特征的除環(huán)模型，則Τ有特征為0的除環(huán)模型。

證明令Σ=Τ∪?！葅p·1≠0,p是任意素?cái)?shù)}，其中Γ是除環(huán)公理，令Σ′是Σ的任意一個(gè)有限子集，則Σ′中至多含有有限多個(gè)p·1≠0(p為素?cái)?shù))，取一個(gè)素?cái)?shù)q大于所有上述的p，由題設(shè)可知Τ有一個(gè)特征為q的除環(huán)模型，由環(huán)論知識(shí)可知，這個(gè)模型也是Σ′的模型，由Σ′的任意性可知Σ的每個(gè)有限子集都有模型，由緊致性定理Σ有模型μ，由Σ的設(shè)法和定義5可知這個(gè)模型μ是Τ的特征為零的除環(huán)模型。

推論2設(shè)L={+,·,0,1}，L中的理論Τ有任意大特征的域模型，則Τ有特征為0的域模型。

推論2的證明與定理1和推論1的證明類似。

定理2一個(gè)語句φ在任意一個(gè)特征為零的整環(huán)中為真，則對(duì)任意大的自然數(shù)n，都存在素?cái)?shù)pgt;n，使φ在特征為p的整環(huán)中真。

證明 用反證法證明。假設(shè)存在自然數(shù)n，對(duì)任意的素?cái)?shù)pgt;n，φ在特征為p的整環(huán)中都假。設(shè)Σ={φ}∪?！葅p·1≠0，p為任意素?cái)?shù)}，其中Γ是整環(huán)公理，令Σ′是Σ的有限子集，則Σ′中至多含有有限多個(gè)p·1≠0(p為素?cái)?shù))，取一個(gè)素?cái)?shù)q大于所有上述的p，則存在一個(gè)特征為q的整環(huán)是Σ′的模型，由Σ′的任意性可知Σ的每一個(gè)有限子集都有模型，由緊致性定理Σ有模型μ，即μ滿足Σ，由μ滿足Γ∪{p·1≠0,p為任意素?cái)?shù)}知μ是一個(gè)整環(huán)模型，由μ滿足{φ}知φ在μ中假，這與φ在任意一個(gè)特征為0的整環(huán)中真相矛盾。

推論3一個(gè)語句φ在任意一個(gè)特征為零的除環(huán)中為真，則對(duì)任意大的自然數(shù)n，都存在素?cái)?shù)pgt;n，使φ在特征為p的除環(huán)中真。

證明用反證法證明。假設(shè)存在自然數(shù)n，對(duì)任意的素?cái)?shù)pgt;n，φ在特征為p的除環(huán)中都假。設(shè)Σ={φ}∪?！葅p·1≠0，p為任意素?cái)?shù)}，其中Γ是除環(huán)公理，令Σ′是Σ的有限子集，則Σ′中至多含有有限多個(gè)p·1≠0(p為素?cái)?shù))，取一個(gè)素?cái)?shù)q大于所有上述的p，則存在一個(gè)特征為q的除環(huán)是Σ′的模型，由Σ′的任意性可知Σ的每一個(gè)有限子集都有模型，由緊致性定理Σ有模型μ，即μ滿足Σ，由μ滿足?！葅p·1≠0,p為任意素?cái)?shù)}知μ是一個(gè)除環(huán)模型，由μ滿足{φ}知φ在μ中假，這與φ在任意一個(gè)特征為0的除環(huán)中真相矛盾。

推論4一個(gè)語句φ在任意一個(gè)特征為零的域中為真，則對(duì)任意大的自然數(shù)n，都存在素?cái)?shù)pgt;n，使φ在特征為p的域中真。

推論4的證明與定理2和推論3的證明類似。

[1]王世強(qiáng).模型論基礎(chǔ)[M].北京：科學(xué)出版社，1987.

[2]張禾瑞.近世代數(shù)基礎(chǔ)[M].北京:高等教育出版社，2005.

[3]聶靈沼，丁石孫.代數(shù)學(xué)引論[M].北京:高等教育出版社，2005.

[編輯] 洪云飛

O152

A

1673-1409(2012)05-0009-02

10.3969/j.issn.1673-1409(N).2012.05.004

2012-02-20

安徽省高校自然科學(xué)研究重點(diǎn)項(xiàng)目(2005KJ032ZD)。

段彥峰(1978-)，男，2002年大學(xué)畢業(yè)，碩士生，中教二級(jí)，現(xiàn)主要從事數(shù)理邏輯及應(yīng)用方面的教學(xué)與研究工作。