| 模型论方法在高等代数学中的一个应用 |
| |
| 引用本文： | 路凌峰,陈国龙,王振山.模型论方法在高等代数学中的一个应用[J].洛阳师范学院学报,2013,32(2):40-42. |
| |
| 作者姓名： | 路凌峰 陈国龙 王振山 |
| |
| 作者单位： | 淮北师范大学数学科学学院,安徽淮北,235000 |
| |
| 摘 要： | 模型论中的完全理论在代数学中有很广泛的应用,文章用完全理论证明域F上任意n维线性空间V均同构于F上n维数组行向量空间Fn,特别知,域F上两个有限维线性空间同构当且只当二者维数相等.
|
| 关 键 词： | 同构 初等等价 完全理论 模型完全理 |
An Application of Model-Theoretical Method in Advanced Algebra |
| |
| LU Ling-feng
,
CHEN Guo-long
,
WANG Zhen-shan.An Application of Model-Theoretical Method in Advanced Algebra[J].Journal of Luoyang Teachers College,2013,32(2):40-42. |
| |
| Authors: | LU Ling-feng CHEN Guo-long WANG Zhen-shan |
| |
| Institution: | (School of Mathematics Sciences,Huaibei Normal University,Huaibei 235000,China) |
| |
| Abstract: | Completeness theorems of model theory in algebra has a widest application, article with complete- ness theorems proved any n dimension linear space V on domain F are isomorphic to n dimension array line vector space Fn. Especially known, in domain F two finite dimensional linear spaces are isomorphic when and only two dimensions are equal. |
| |
| Keywords: | isomorphism elementary equivalent completeness theorems model complete theory |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
