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

摘要

模型论中的紧致性定理在代数中有很广泛的应用.文章用紧致性定理证明向量组的线性无关部分组可扩充为极大线性无关组。