亨森引理

亨森引理（Henson lemma）是關於模型同構的一個引理，其可判定初等價結構是否同構。

基本介紹

• 中文名：亨森引理
• 外文名：Henson lemma
• 適用範圍：數理科學

簡介

亨森引理是關於模型同構的一個引理。

該引理斷言：對於每個其常量及關係個數少於card(X)（card(X)是card(X)的後繼基數）的一階語言L，若A與B是L的初等價結構，它的定義域與關係是多擴大*X的內實體，並且card(A)=card(B)，則A與B是同構的。

後繼基數

(successor cardinal number)

後繼基數是基數的一種，設α為一個序數，令α表示大於α的最小基數，設K為一個基數，若存在序數α，使K=α，則稱K為後繼基數，所有非0有限基數均為後繼基數。

0和ω不是後繼基數。

同構

(isomorphism)

在抽象代數（abstract algebra）中，同構指的是一個保持結構的雙射(bijection)。在更一般的範疇論語言中，同構指的是一個態射，且存在另一個態射，使得兩者的複合是一個恆等態射。

常見的同構有：自同構，群同構，環同構，域同構，向量空間同構。