模型论在群论中的应用  

Application of Model Theory to Group Theory

作　　者：杨年西[1] 陈国龙[2] 

机构地区：[1]淮北煤炭师范学院数学系,安徽淮北235000 [2]淮北煤炭师范学院计算机系,安徽淮北235000

出　　处：《西安文理学院学报（自然科学版）》2007年第3期45-47,共3页Journal of Xi’an University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(10101008);安徽省优秀青年基金资助项目(06046099)

摘　　要：在一阶形式语言L={+,0}中,用模型理论对交换群进行研究,证明了整数环上的任意基数无扭模,都存在基数非自由模的无扭模,不存在有限交换单群公理,而素数P阶交换单群理论是范畴理论.In first order form language L = { ＋ , 0 }, We disscuss exchange group in the model theory in order to testify that the integer ring arbitrarily base number э torsion-free module gains all existence of no free module which is base number э torsion-free module, and nonexistence of Axiom of Finite exchange simple group, but that prime number P order exchanges simple group theory is category theory.

关 键 词：模型论 完全理论 交换群 无扭模 

分 类 号：O141.4[理学—数学] O152.2[理学—基础数学]