CAJ | 학술논문

模型论中紧致性定理在代数中有很广泛的应用.文章用紧致性定理证明了,若L中的理论T有任意大特征的无零因子幺环模型,则T有特征为0的无零因子幺环模型;若一个语句φ在任意一个特征为0的无零因子幺环中为真,则对任意的自然数n,存在素数p〉n,使φ在特征为p的无零因子环中真.
모형론중긴치성정리재대수중유흔엄범적응용.문장용긴치성정리증명료,약L중적이론T유임의대특정적무령인자요배모형,칙T유특정위0적무령인자요배모형;약일개어구φ재임의일개특정위0적무령인자요배중위진,칙대임의적자연수n,존재소수p〉n,사φ재특정위p적무령인자배중진.
Compactness theorem of model theory in algebra has a very wide range of applications. Article with the compact theorem proved that if the theory T of L has any large unitary nonzero factor ring model, T has characteristic 0 without zero factor model of unitary ring; if a statement is true in any non-zero factor unitary ring, then for any natural number n, there is a prime number n〉p, so that it is true in the non - zero factor ring of characteristics p.