模型论方法在高等代数中的一个应用  

An Application of Model-theoretical Method in Advanced Algebra

作　　者：梁娟英[1] 陈国龙[2] 

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

出　　处：《淮北煤炭师范学院学报（自然科学版）》2008年第1期16-17,共2页Journal of Huaibei Coal Industry Teachers College(Natural Science edition)

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

摘　　要：模型论中的紧致性定理在代数中有很广泛的应用.文章用紧致性定理证明向量组的线性无关部分组可扩充为极大线性无关组。The compactness theorem of model theory has an extensive application in algebra. In this paper, the problem that any linearly independent group can be enlarged to the maximum linearly independent group is proved by the compactness theorem.

关 键 词：线性无关 和谐理论 扩充 

分 类 号：O141.4[理学—数学]