双代数
数学において,体 K 上の双代数(そうだいすう,英: bialgebra)とは,K 上のベクトル空間であって,単位的結合代数かつ余代数であるようなものである.代数構造と余代数構造はさらなる公理によって整合性を持つ.具体的には,余積と余単位はともに単位的代数の準同型である,あるいは同じことであるが,代数の積と単位射はともに余代数の準同型である.(これらのステートメントは同じ可換図式によって表されるから同値である.)
類似している双代数は双代数準同型によって関連付けられる.双代数の準同型は代数と余代数両方の準同型であるような線型写像である.
可換図式の対称性に反映されているように,双代数の定義は自己双対であり,したがって,B の双対を定義できるならば(B が有限次元ならいつでも可能である),自動的に双代数になる.
4つの可換図式は「余積と余単位は代数の準同型である」あるいは同じことだが「積と単位射は余代数の準同型である」と読むことができる.
これらの主張は B の他の関係するすべてのベクトル空間における代数と余代数の自然な構造を説明すれば意味が分かる:(K, ∇0, η0) は明らかな方法で単位的結合代数であり,(B ⊗ B, ∇2, η2) は単位的結合代数で,単位射と積は
η 2 := ( η ⊗ η ) : K ⊗ K ≡ K → ( B ⊗ B ) {\displaystyle \eta _{2}:=(\eta \otimes \eta ):K\otimes K\equiv K\to (B\otimes B)}
∇ 2 := ( ∇ ⊗ ∇ ) ∘ ( i d ⊗ τ ⊗ i d ) : ( B ⊗ B ) ⊗ ( B ⊗ B ) → ( B ⊗ B ) {\displaystyle \nabla _{2}:=(\nabla \otimes \nabla )\circ (id\otimes \tau \otimes id):(B\otimes B)\otimes (B\otimes B)\to (B\otimes B)} ,
(B, ∇, η, Δ, ε) が K 上の双代数 (bialgebra) であるとは,以下の性質を満たすことをいう:
B は K 上のベクトル空間である;
2つの K 線型写像(乗法)∇: B ⊗ B → B(K 双線型写像 ∇: B × B → B と同値である)と(単位射)η: K → B が存在して,(B, ∇, η) は単位的結合的代数である;
2つの K 線型写像(余積)Δ: B → B ⊗ B と(余単位射)ε: B → K が存在して,(B, Δ, ε) は(余単位的余結合的)余代数である;
以下の可換図式によって表される協調性条件:
乗法 ∇ と余乗法 Δ ただし τ: B ⊗ B → B ⊗ B は B のすべての x と y に対して τ(x ⊗ y) = y ⊗ x で定義される線型写像,
乗法 ∇ と余単位 ε
余乗法 Δ と単位 η
単位射 η と余単位射 ε