第一同構定理

設A和B是兩個代數結構，f是A到B的態射，則A等價關係Φ：a~b當且僅當f(a)=f(b) 是A上的一個同餘類，並且A/Φ同構於f的像（B的子代數）。

第二同構定理

設B是A的子代數，Φ是A上的同餘類。令[B]Φ是所有包含B種元素的同餘類的集合，它是A/Φ的一個子集；ΦB是Φ限制在 B x B上的部分。那麼[B]Φ是A/Φ的子代數結構，ΦB是B上的同餘類，並且[B]Φ同構於B/ΦB。

第三同構定理

設A是一個代數結構，Φ和Ψ是A上的兩個同餘關係，Ψ包含於Φ。則Φ定義了A/Ψ上的一個同餘類Θ：[a]~[b]當且僅當a與b關於 Φ同餘（[a]表示a所在的Ψ-等價類），並且A/Φ同構於(A/Ψ)/Θ。

“異質同構”是“格式塔”心理學的理論核心，這個學派的代表人物是美國現代心理學家魯道夫·阿恩海姆。

重新建構藝術本體，用形式而不是用社會文化關係解釋藝術，這是西方現代美學的一個重要傾向，但各個學派所用的方法又不相同，蘇珊·朗格用的是生理學（生命科學），阿恩海姆用的是心理學。格式塔心理學派認為在外部事物的存在形式、人的視知覺組織活動和人情感以及視覺藝術形式之間，有一種對應關係，一旦這幾種不同領域的“力”的作用模式達到結構上的一致時，就有可能激起審美經驗，這就是“異質同構”。正是在這種“異質同構”的作用下，人們才在外部事物和美術品的形式中直接感受到“活力”、“生命”、“運動”、“平衡”等性質。