雙同態

概念

雙同態(bihomomorphism)是一種特殊的同態。指雙模之間的同態。設有(A，B)雙模M和N，若f是加群M到N的映射，並且f是A同態同時又是B同態，則稱f是(A，B)雙模M到N的一個雙同態。

設E與F為兩個群胚，它們的合成法則分別記為⊥與⊤。稱從E到F中的映射f是群胚同態，如果對於E的任一元素偶(x，y)，有：

設E與F為兩個么半群(兩個群)，稱從E到F中的映射。f是么半群(群)的同態，如果f是群胚的同態，且E的中性元素的象是F的中性元素。 (在群的情況下，後一個條件是自然滿足的，但是從加法么半群N到乘法么半群N的映射x↦0是群胚的同態，而並不因此就是么半群的同態)。

設G為乘法群，而a為G的元素。由關係f(n)=an所定義的從加法群Z到G中的映射f是群的同態。

設A與B為兩個環(兩個體)，稱從A到B中的映射f是環(體)的同態，如果f是加法群的同態，且為乘法么半群的同態. 這就是說，對A的任一元素偶(x，y)，有：

並且f將A的單位元變成B的單位元。

例如，設n為非零自然數；使任一有理整數對應其對模n的剩餘類映射是從環Z到環Z/nZ上的同態。設E與F為兩個A-代數(兩個酉A-代數)。稱從E到F中的映射f是A-代數(酉A-代數)的同態，如果它是線性映射，並且是乘法群胚(乘法么半群)的同態。

例如，設E為交換體K上的非零有限n維向量空間，而B為E的基。則從E的全體自同態之酉代數ℒ(E)到K中元素構成的全體n階方陣之酉代數Mn (K)中的映射，如果該映射使E的任一自同態對應它在基B中的矩陣，則這一映射是酉代數的同態。

同態的概念能用抽象的方式加以推廣。

一個重要的代數系統。它是一個帶運算元區A的交換(加)群M。給定集合A與交換群M，若定義了a∈A與x∈M的乘積ax∈M，並且這個積滿足條件：

1.a(x+y)=ax+ay (a∈A，x，y∈M)，

則稱A為M的運算元區，稱M為帶運算元區A的模，又稱為A上的模或A模。這時，由對應(a，x)→ax確定的映射A×M→M，稱為A作用到M上的運算。任意a∈A可誘導出M的自同態a_M：x→ax，而考慮交換群M能否成為A模就是看能否給出映射：μ： A→End(M)，　a→a_M。

特別地，考慮A是結合環，若滿足上述條件1的A模還滿足：

2.(a+b)x=ax+bx;

3.(ab)x=a(bx);

即映射μ：A→End(M)為環同態，則稱M為左A模或左環模。由於A到M上的運算是寫在左側，所以M就稱為左A模，記為_AM。類似地，有右A模M，記為M_A.若A有單位元1，且又滿足條件：

4.1x=x (x∈M);

則稱M為酉模或麼模。