| 模型论方法在高等代数中的一个应用 |
| |
| 引用本文： | 梁娟英,陈国龙.模型论方法在高等代数中的一个应用[J].淮北煤炭师范学院学报(自然科学版),2008,29(1):16-17. |
| |
| 作者姓名： | 梁娟英 陈国龙 |
| |
| 作者单位： | 1. 淮北煤炭师范学院数学系,安徽,淮北,235000
2. 淮北煤炭师范学院计算机科学与技术系,安徽,淮北,235000 |
| |
| 基金项目： | 国家自然科学基金
,
安徽省优秀青年科技基金 |
| |
| 摘 要： | 模型论中的紧致性定理在代数中有很广泛的应用.文章用紧致性定理证明向量组的线性无关部分组可扩充为极大线性无关组。
|
| 关 键 词： | 线性无关 和谐理论 扩充 |
| 文章编号： | 1672-7177(2008)01-0016-02 |
| 修稿时间： | 2007年11月22 |
An Application of Model-theoretical Method in Advanced Algebra |
| |
| LIANG Juan-ying,CHEN Guo-long.An Application of Model-theoretical Method in Advanced Algebra[J].Journal of Huaibei Coal Industry Teachers College(Natural Science edition),2008,29(1):16-17. |
| |
| Authors: | LIANG Juan-ying CHEN Guo-long |
| |
| Abstract: | 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. |
| |
| Keywords: | linear independence consistent theory enlargement |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
