雙代數

在數學中，域 ${\displaystyle K}$ 上的雙代數是兼具 ${\displaystyle K}$ 上之結合代數（具單位元）與餘代數的結構，而且這兩種結構彼此相容。最重要的特例之一是霍普夫代數。

定義

相容性意味着餘乘法與餘單位元都是單位結合代數的同態，這也等價於乘法及單位元是餘代數之同態，因為兩者由相同的交換圖刻畫。

由單位圖表的對稱性，也可導出下述事實：如果 ${\displaystyle B}$ 是雙代數，而且 ${\displaystyle B}$ 具有良好的對偶空間 ${\displaystyle B^{\vee }}$（例如當 ${\displaystyle B}$ 維度有限時），則 ${\displaystyle B^{\vee }}$ 也帶有自然的雙代數結構。

圖表

定義中的相容性由以下交換圖給出：

乘法與餘乘法相容：

乘法與餘單位元相容：

餘乘法與單位元相容：

單位元與餘單位元相容：

在此 ${\displaystyle \nabla _{B}:B\otimes _{K}B\to B}$ 是代數乘法，而 ${\displaystyle \eta _{B}:K\to B}$ 是代數之單位元。${\displaystyle \Delta _{B}:B\to B\otimes _{K}B}$ 是餘代數乘法，而 ${\displaystyle \epsilon _{B}:B\to K}$ 是餘代數單位元。${\displaystyle \tau _{B}:B\otimes B\to B\otimes B}$ 定義為 ${\displaystyle \tau (x\otimes y)=y\otimes x}$。

式子

若以算式具體描述，則相容關係有如下之表示（在此採用省略 ${\displaystyle \Sigma }$ 之 Sweedler 記法）：

乘法與餘乘法相容：

${\displaystyle (ab)_{(1)}\otimes (ab)_{(2)}=a_{(1)}b_{(1)}\otimes a_{(2)}b_{(2)}\,}$

乘法與餘單位元相容：

${\displaystyle \varepsilon (ab)=\varepsilon (a)\varepsilon (b)\;}$

餘乘法與單位元相容：

${\displaystyle 1_{(1)}\otimes 1_{(2)}=1\otimes 1\,}$

單位元與餘單位元相容：

${\displaystyle \varepsilon (1)=1.\;}$

在此我們省略代數乘法之映射 ${\displaystyle \nabla }$，而直接以兩項並置表之。同理，單位元 ${\displaystyle \eta }$ 直接以單位元素 ${\displaystyle 1}$ 表示（對應到 ${\displaystyle \eta (1)}$）。

相關文獻

• Eiichi Abe, Hopf Algebras (1980), translated by Hisae Kinoshita and Hiroko Tanaka, Cambridge University Press. ISBN 0-521-22240-0

參見

• 霍普夫代數
• 餘代數
• 結合代數