双代数

数学において，体  上の**双代数**（そうだいすう，）とは， 上のベクトル空間であって，単位的結合代数かつ余代数であるようなものである．代数構造と余代数構造はさらなる公理によって整合性を持つ．具体的には，余積と余単位はともに単位的代数の準同型である，あるいは同じことであるが，代数の積と単位射はともに余代数の準同型である．（これらのステートメントは同じ可換図式によって表されるから同値である．）

類似している双代数は双代数準同型によって関連付けられる．双代数の準同型は代数と余代数両方の準同型であるような線型写像である．

可換図式の対称性に反映されているように，双代数の定義は自己双対であり，したがって， の双対を定義できるならば（ が有限次元ならいつでも可能である），自動的に双代数になる．

## 形式的な定義

 が  上の**双代数** (bialgebra) であるとは，以下の性質を満たすことをいう：
*  は  上のベクトル空間である；
* 2つの  線型写像（乗法）（ 双線型写像  と同値である）と（単位射） が存在して， は単位的結合的代数である；
* 2つの  線型写像（余積） と（余単位射） が存在して， は（余単位的余結合的）余代数である；
* 以下の可換図式によって表される協調性条件：

# 乗法  と余乗法  
#::
#: ただし  は  のすべての  と  に対して  で定義される線型写像，
# 乗法  と余単位 
#::
# 余乗法  と単位  
#::
# 単位射  と余単位射 
#::

## 余結合性と余単位
線型写像  が余結合的とは (\mathrm{id}_B \otimes \Delta) \circ \Delta = (\Delta \otimes \mathrm{id}_B) \circ \Delta が成り立つことをいう．

 線型写像  が余単位射であるとは (\mathrm{id}_B \otimes \epsilon) \circ \Delta = \mathrm{id}_B = (\epsilon \otimes \mathrm{id}_B) \circ \Delta が成り立つことをいう．

余結合性と余単位射は次の2つの図式の可換性によって表される（それらは代数の結合性と単位元をあらわす図式の双対である）：

## 協調性の条件
4つの可換図式は「余積と余単位は代数の準同型である」あるいは同じことだが「積と単位射は余代数の準同型である」と読むことができる．

これらの主張は  の他の関係するすべてのベクトル空間における代数と余代数の自然な構造を説明すれば意味が分かる： は明らかな方法で単位的結合代数であり， は単位的結合代数で，単位射と積は

:\eta_2 := (\eta \otimes \eta) : K \otimes K \equiv K \to (B \otimes B) 
:\nabla_2 := (\nabla \otimes \nabla) \circ (id \otimes \tau \otimes id) : (B \otimes B) \otimes (B \otimes B) \to (B \otimes B) ,

したがって \nabla_2 ( (x_1 \otimes x_2) \otimes (y_1 \otimes y_2) ) = \nabla(x_1 \otimes y_1) \otimes \nabla(x_2 \otimes y_2)  あるいは  を省いて積を並置で書いて (x_1 \otimes x_2)(y_1 \otimes y_2) = x_1 y_1 \otimes x_2 y_2 ;

同様に， は明らかな方法で余代数であり， は余代数で余単位と余積は

:\epsilon_2 := (\epsilon \otimes \epsilon) : (B \otimes B) \to K \otimes K \equiv K
:\Delta_2 :=  (id \otimes \tau \otimes id) \circ (\Delta \otimes \Delta)  : (B \otimes B) \to (B \otimes B) \otimes (B \otimes B)

である．

すると，図式 1 と 3 は  は単位的（結合）代数  と  の準同型である

:\Delta \circ \nabla = \nabla_2 \circ (\Delta \otimes \Delta) : (B \otimes B) \to (B \otimes B), あるいは単に Δ(*xy*) = Δ(*x*) Δ(*y*),
:\Delta \circ \eta = \eta_2 : K \to (B \otimes B), あるいは単に Δ(1*B*) = 1*B* ⊗ *B*

と言っている；図式 2 と 4 は  が単位的（結合）代数  と  の準同型であると言っている：

:\epsilon \circ \nabla = \nabla_0 \circ (\epsilon \otimes \epsilon) : (B \otimes B) \to K, あるいは単に ε(*xy*) = ε(*x*) ε(*y*)
:\epsilon \circ \eta = \eta_0 : K \to K, あるいは単に  ε(1*B*) = 1*K*.

同じことだが，図式 1 と 2 は  が（余単位的余結合）余代数  と  の準同型である：

: \nabla \otimes \nabla \circ \Delta_2 = \Delta \circ \nabla : (B \otimes B) \to (B \otimes B),
: \nabla_0 \circ \epsilon_2 = \epsilon \circ \nabla : (B \otimes B) \to K

と言っていて，図式 3 と 4 は  は（余単位的余結合）余代数  と  の準同型である：

:\eta_2 \circ \Delta_0 = \Delta \circ \eta : K \to (B \otimes B),
:\eta_0 \circ \epsilon_0 = \epsilon \circ \eta : K \to K

と言っている．

## 例
### 群環
双代数の1つの例は，群  から  への関数全体の集合であり，各  に対する標準基底ベクトル  の線型結合からなるベクトル空間  として表すことができ，係数がすべて非負で和が 1 のときには  上の確率分布を表している．余単位的余代数を生じる適切な余積と余単位の例は
:\Delta(\mathbf e_g) = \mathbf e_g \otimes \mathbf e_g,\quad \varepsilon(\mathbf e_g) = 1
であり（ 全体には線型性で伸ばす），余積は確率変数のコピーを作ることを表し，余単位は確率変数を「探知する」ことを表す，つまり，（単一のテンソル因子で表される）確率変数の値は忘れて残りの変数上の周辺分布（残りのテンソル因子）を得る．上のような確率変数のことばでの  の解釈が与えられると，双代数の一貫性の条件は以下のような  の制約条件に相当する：

#  はすべてのほかの確率変数とは独立な正規化された確率分布を準備する作用素で，
# 積  は2変数の確率分布を1変数の確率分布に写し，
#  によって与えられる分布における確率変数をコピーすることは分布  における2つの独立な確率変数を持つことと同値で，
# 2つの確率変数の積を取ることと得られる確率変数のコピーを準備することは各確率変数のコピーを互いに独立に準備し対で一緒に掛けるのと同じ分布を持つ．

これらの制約を満たす対  は畳み込み作用素
:\nabla\bigl(\mathbf e_g \otimes \mathbf e_h\bigr) = \mathbf e_{gh} 
である；これは2つの確率変数の分布から正規化された確率分布を生み出し，単位元としてデルタ分布  \eta = \mathbf e_{i}  を持つ，ただし *i*&nbsp;&isin;&nbsp;*G* は群  の単位元を表す．

### 他の例
双代数の他の例にはテンソル代数があり，これは適切な余積と余単位を加えることで双代数にできる．詳細はその記事を参照のこと．

双代数は適切な対合射が見つけられればしばしばホップ代数に拡張できる．したがって，すべてのホップ代数は双代数の例である．積と余積の間に異なる両立性を持つ，あるいは異なるタイプの積と余積を持つ類似の構造には，やフロベニウス代数だある．さらなる例はの記事で与えられる．

## 関連項目
*
*フロベニウス代数
*ホップ代数

## 脚注

## 参考文献
* .