有限域的紧致性定理及其应用

首先给出定理1,它是模型论中紧致性定理的一个推论,但在代数中有不少应用.定理1 设 F={a_1,…,a_n}(n=p^m)为一有限域。

不可数域的一个紧致性定理

给出关于不可数域上无限个线性方程及多项式不等式所成之集的可解性的一个紧致性定理,把全集的可解性化归其诸有限子集的可解性.并举例说明这一定理在无限维线性代数中的应用.

域的无限性在矩阵观点下的一种刻划

本文主要得到下列结果:设F是域,n为整数且n>2,则F是无限域当且仅当对于任意正整数m以及F上行向量皆非零的m×n矩阵A,存在F上元素皆非零的n×1矩阵X,使得AX的元素皆非零。