双代数

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

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

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

形式的な定義

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

乗法と余乗法

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

余乗法と単位

単位射と余単位射

余結合性と余単位線型写像が余結合的とはが成り立つことをいう．

線型写像が余単位射であるとはが成り立つことをいう．

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

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

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

したがってあるいはを省いて積を並置で書いて ;

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

である．

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

, あるいは単に Δ(xy) = Δ(x) Δ(y), , あるいは単に Δ(1B) = 1B ⊗ B

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

, あるいは単に ε(xy) = ε(x) ε(y) , あるいは単に ε(1B) = 1K.

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

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

と言っている．

例群環双代数の1つの例は，群からへの関数全体の集合であり，各に対する標準基底ベクトルの線型結合からなるベクトル空間として表すことができ，係数がすべて非負で和が 1 のときには上の確率分布を表している．余単位的余代数を生じる適切な余積と余単位の例は

であり（全体には線型性で伸ばす），余積は確率変数のコピーを作ることを表し，余単位は確率変数を「探知する」ことを表す，つまり，（単一のテンソル因子で表される）確率変数の値は忘れて残りの変数上の周辺分布（残りのテンソル因子）を得る．上のような確率変数のことばでのの解釈が与えられると，双代数の一貫性の条件は以下のようなの制約条件に相当する：

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

これらの制約を満たす対は畳み込み作用素

である；これは2つの確率変数の分布から正規化された確率分布を生み出し，単位元としてデルタ分布を持つ，ただし i ∈ G は群の単位元を表す．

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

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

Źródło i licencja