對同態保持(preserved under homomorphisms )理論的一種模型論性質。
基本介紹
- 中文名：對同態保持
- 外文名：preserved under homomorphisms
對同態保持，理論的一種模型論性質.如果丫中的理論T的任一模型的任一同態象仍是T的模型.則稱理論T為對同態保持.丫中協調理論T對同態保持的充分必要條件是:T有一集正語句公理.
對同態保持(preserved under homomorphisms )理論的一種模型論性質。
的群同態是指映射 ，使得對於所有 中的元素 和 ，有下述等式成立：即群同態為保持群乘法結構的映射。例子 群映射到自身的群同態是自同態。同時為滿射的群同態是滿同態，同時為單射的群同態是單同態，同時為雙射的群同態是群同構。
同態加密是基於數學難題的計算複雜性理論的密碼學技術。對經過同態加密的數據進行處理得到一個輸出，將這一輸出進行解密，其結果與用同一方法處理未加密的原始數據得到的輸出結果是一樣的。概念 隨著網際網路的發展和雲計算概念的誕生，以及...
完備同態(complete homomorphism)保持最小上界的一種布爾同態。定義介紹 完備同態(complete homomorphism)保持最小上界的一種布爾同態.設f是布爾代數A到布爾代數B內的一個同態.如果對A的每一個子集M,只要最小上界}M存在，就有.f(}M)=...
同態的概念能用抽象的方式加以推廣。群的同態 一類重要的映射。群之間的保持運算的一類映射。設f是群G到群G′(不必異於G)的映射，若f保持運算，即對所有的x，y∈G，總有f(xy)=f(x)f(y)(或(xy)=x·y)，則稱f是群G到群...
同態的概念能用抽象的方式加以推廣。模同態 模同態是模論的重要概念之一。指兩個模之間的一類映射。設M，N是兩個A模，f是加群M到N的群同態，若f還保持A到M，N上的運算，即對任意a∈A，f(ax)=af(x)，x∈M，則稱f是模同態...
保留結構的集合之間的映射在許多數學領域是特別感興趣的。比如保持代數結構的同態；保持拓撲結構的同胚；和差異結構保留差異結構。例子 實數集有幾個標準結構：序：任意兩個數都可以比較大小，即全序。代數結構：乘法和加法使其成為一個域...