双代数

数学において，体 上の双代数（そうだいすう，）とは， 上のベクトル空間であって，単位的結合代数かつ余代数であるようなものである．代数構造と余代数構造はさらなる公理によって整合性を持つ．具体的には，余積と余単位はともに単位的代数の準同型である，あるいは同じことであるが，代数の積と単位射はともに余代数の準同型である．（これらのステートメントは同じ可換図式によって表されるから同値である．）
類似している双代数は双代数準同型によって関連付けられる．双代数の準同型は代数と余代数両方の準同型であるような線型写像である．
可換図式の対称性に反映されているように，双代数の定義は自己双対であり，したがって， の双対を定義できるならば（ が有限次元ならいつでも可能である），自動的に双代数になる．
形式的な定義.
 が 上の双代数 (bialgebra) であるとは，以下の性質を満たすことをいう：
余結合性と余単位.
線型写像 が余結合的とは formula_1 が成り立つことをいう．
 線型写像 が余単位射であるとは formula_2 が成り立つことをいう．
余結合性と余単位射は次の2つの図式の可換性によって表される（それらは代数の結合性と単位元をあらわす図式の双対である）：
協調性の条件.
4つの可換図式は「余積と余単位は代数の準同型である」あるいは同じことだが「積と単位射は余代数の準同型である」と読むことができる．
これらの主張は の他の関係するすべてのベクトル空間における代数と余代数の自然な構造を説明すれば意味が分かる： は明らかな方法で単位的結合代数であり， は単位的結合代数で，単位射と積は
したがって formula_5 あるいは を省いて積を並置で書いて formula_6;
同様に， は明らかな方法で余代数であり， は余代数で余単位と余積は
である．
すると，図式 1 と 3 は は単位的（結合）代数 と の準同型である
と言っている；図式 2 と 4 は が単位的（結合）代数 と の準同型であると言っている：
同じことだが，図式 1 と 2 は が（余単位的余結合）余代数 と の準同型である：
と言っていて，図式 3 と 4 は は（余単位的余結合）余代数 と の準同型である：
と言っている．
例.
群環.
双代数の1つの例は，群 から への関数全体の集合であり，各 に対する標準基底ベクトル の線型結合からなるベクトル空間 として表すことができ，係数がすべて非負で和が 1 のときには 上の確率分布を表している．余単位的余代数を生じる適切な余積と余単位の例は
であり（ 全体には線型性で伸ばす），余積は確率変数のコピーを作ることを表し，余単位は確率変数を「探知する」ことを表す，つまり，（単一のテンソル因子で表される）確率変数の値は忘れて残りの変数上の周辺分布（残りのテンソル因子）を得る．上のような確率変数のことばでの の解釈が与えられると，双代数の一貫性の条件は以下のような の制約条件に相当する：
これらの制約を満たす対 は畳み込み作用素
である；これは2つの確率変数の分布から正規化された確率分布を生み出し，単位元としてデルタ分布 formula_19 を持つ，ただし "i" ∈ "G" は群 の単位元を表す．
他の例.
双代数の他の例にはテンソル代数があり，これは適切な余積と余単位を加えることで双代数にできる．詳細はその記事を参照のこと．
双代数は適切な対合射が見つけられればしばしばホップ代数に拡張できる．したがって，すべてのホップ代数は双代数の例である．積と余積の間に異なる両立性を持つ，あるいは異なるタイプの積と余積を持つ類似の構造には，やフロベニウス代数だある．さらなる例はの記事で与えられる．