Dalam matematika, sebuah **bialjabar** atas medan *K* adalah ruang vektor atas *K* yang merupakan unital aljabar asosiatif dan koasosiatif kounital koaljabar. Struktur aljabar dan koaljabar dibuat secara kompatibel dengan beberapa aksioma. Secara khusus, koperkalian dan kounit keduanya merupakan aljabar unital homomorfisme, atau ekuivalen, perkalian dan unital aljabar keduanya adalah morfisme coaljabar (pernyataan ini ekuivalen karena dinyatakan dengan diagram komutatif yang sama).

Bialjabar serupa dihubungkan oleh homomorfisme bialjabar. Homomorfisme bialjabar adalah peta linear yang merupakan aljabar dan homomorfisme koaljabar.

Sebagaimana tercermin dalam simetri diagram komutatif, definisi bialjabar adalah dual-diri, apabila mendefinisikan dual dari *B* (yang selalu dimungkinkan jika *B* adalah dimensi-hingga), maka secara otomatis merupakan bialjabar.

| Struktur aljabar |
| --- |
| Sejenis grup
* Grup
* Semigrup / Monoid
* Rak dan ganjal
* Grup semu dan gelung

* Grup abelian
* Magma
* Grup Lie


*Teori grup* |
| Sejenis gelanggang
* Gelanggang
* Semigelanggang
* Gelanggang dekat
* Gelanggang komutatif
* Ranah integral
* Medan
* Gelanggang pembagian

*Teori gelanggang* |
| Sejenis kekisi
* Kekisi
* Semikekisi
* Kekisi dikomplemenkan
* Urutan total
* Aljabar Heyting
* Aljabar boolean

* Peta kekisi
* *Teori kekisi*
 |
| Sejenis modul
* Modul
* Grup dengan operator
* Ruang vektor

* *Aljabar linear*
 |
| Sejenis aljabar
* Aljabar

* Asosiatif
* Non-asosiatif
* Aljabar komposisi

* Aljabar Lie
* Bertingkat
* Bialjabar

 |
| * l
* b
* s
 |

Definisi formal
---------------

**(*B*, ∇, η, Δ, ε)** adalah **bialjabar** atas *K* jika memiliki sifat-sifat berikut:

* *B* adalah ruang vektor atas *K*;
* peta linear-*K* (perkalian) ∇: *B* ⊗ *B* → *B* (dengan ekuivalen peta multilinear-*K* dari ∇: *B* × *B* → *B*) dan (satuan) η: *K* → *B*, sehingga (*B*, ∇, η) adalah asosiatif satuan aljabar;
* peta linear-*K* (komultiplikasi) Δ: *B* → *B* ⊗ *B* dan (kosatuan) ε: *B* → *K*, sehingga (*B*, Δ, ε) adalah (koasosiatif kounital) koaljabar;
* kondisi kompatibilitas yang dinyatakan oleh diagram komutatif sebagai berikut:

1. Perkalian ∇ dan perkalian Δ
Diagram komutatif bialjabar
dimana τ: *B* ⊗ *B* → *B* ⊗ *B* adalah peta linear didefinisikan oleh τ(*x* ⊗ *y*) = *y* ⊗ *x* untuk semua *x* dan *y* di *B*,
2. Perkalian ∇ dan kosatuan ε
Diagram komutatif bialjabar1
3. Koperkalian Δ and satuan η
Diagram komutatif bialjabar
4. Satuan η and kosatuan ε
Diagram komutatif bialjabar

Koasosiatif dan kosatuan
------------------------

Peta linear-*K* dari Δ: *B* → *B* ⊗ *B* adalah koasosiatif jika {\displaystyle (\mathrm {id} \_{B}\otimes \Delta )\circ \Delta =(\Delta \otimes \mathrm {id} \_{B})\circ \Delta }.

Peta linear-*K* dari ε: *B* → *K* adalah satuan jika {\displaystyle (\mathrm {id} \_{B}\otimes \epsilon )\circ \Delta =\mathrm {id} \_{B}=(\epsilon \otimes \mathrm {id} \_{B})\circ \Delta }.

Koasosiatifitas dan kosatuan dinyatakan dengan komutatifitas dari dua diagram berikut (kedua diagram tersebut merupakan kelipatan dari diagram yang menyatakan asosiasi dan unit aljabar):

Kondisi kompatibilitas
----------------------

Empat diagram komutatif apabila dibaca dengan baik sebagai "perkalian dan satuan adalah homomorfisme aljabar" atau, secara ekuivalen, "perkalian dan satuan adalah homomorfisme bilangan bulat".

Pernyataan ini memiliki makna setelah menjelaskan struktur alami aljabar dan koaljabar untuk semua ruang vektor yang terlibat selain *B*: (*K*, ∇0, η0) adalah aljabar asosiatif unital dengan cara jelas dan (*B* ⊗ *B*, ∇2, η2) adalah aljabar asosiatif satuan dengan satuan dan perkalian multi

{\displaystyle \eta \_{2}:=(\eta \otimes \eta ):K\otimes K\equiv K\to (B\otimes B)}
{\displaystyle \nabla \_{2}:=(\nabla \otimes \nabla )\circ (id\otimes \tau \otimes id):(B\otimes B)\otimes (B\otimes B)\to (B\otimes B)},
sehingga {\displaystyle \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})} atau, menghilangkan ∇ dan menulis perkalian sebagai penjajaran, {\displaystyle (x\_{1}\otimes x\_{2})(y\_{1}\otimes y\_{2})=x\_{1}y\_{1}\otimes x\_{2}y\_{2}};

demikian pula, (*K*, Δ0, ε0) adalah jabar dengan cara yang jelas dan *B* ⊗ *B* adalah jabar dengan kosatuan dan koperkalian

{\displaystyle \epsilon \_{2}:=(\epsilon \otimes \epsilon ):(B\otimes B)\to K\otimes K\equiv K}
{\displaystyle \Delta \_{2}:=(id\otimes \tau \otimes id)\circ (\Delta \otimes \Delta ):(B\otimes B)\to (B\otimes B)\otimes (B\otimes B)}.
Maka, diagram 1 dan 3 mengatakan bahwa Δ: *B* → *B* ⊗ *B* adalah homomorfisme aljabar unital (asosiatif) (*B*, ∇, η) dan (*B* ⊗ *B*, ∇2, η2)

{\displaystyle \Delta \circ \nabla =\nabla \_{2}\circ (\Delta \otimes \Delta ):(B\otimes B)\to (B\otimes B)}, atau hanya Δ(*xy*) = Δ(*x*) Δ(*y*),
{\displaystyle \Delta \circ \eta =\eta \_{2}:K\to (B\otimes B)}, atau hanya Δ(1*B*) = 1*B* ⊗ *B*;
diagram 2 dan 4 mengatakan bahwa ε: *B* → *K* is a homomorfisme aljabar unital (asosiatif) (*B*, ∇, η) dan (*K*, ∇0, η0):

{\displaystyle \epsilon \circ \nabla =\nabla \_{0}\circ (\epsilon \otimes \epsilon ):(B\otimes B)\to K}, atau hanya ε(*xy*) = ε(*x*) ε(*y*)
{\displaystyle \epsilon \circ \eta =\eta \_{0}:K\to K}, atau hanya ε(1*B*) = 1*K*.
Secara ekuivalen, diagram 1 dan 2 mengatakan bahwa ∇: *B* ⊗ *B* → *B* adalah homomorfisme dari (kounital koasosiatif) koaljabar (*B* ⊗ *B*, Δ2, ε2) dan (*B*, Δ, ε):

{\displaystyle \nabla \otimes \nabla \circ \Delta \_{2}=\Delta \circ \nabla :(B\otimes B)\to (B\otimes B),}
{\displaystyle \nabla \_{0}\circ \epsilon \_{2}=\epsilon \circ \nabla :(B\otimes B)\to K};
diagram 3 dan 4 mengatakan bahwa η: *K* → *B* adalah homomorfisme dari (kounital koasosiatif) koaljabar (*K*, Δ0, ε0) dan (*B*, Δ, ε):

{\displaystyle \eta \_{2}\circ \Delta \_{0}=\Delta \circ \eta :K\to (B\otimes B),}
{\displaystyle \eta \_{0}\circ \epsilon \_{0}=\epsilon \circ \eta :K\to K},
dimana 

{\displaystyle \epsilon \_{0}=\epsilon \circ \eta }.

Contoh
------

### Grup bialjabar

Contoh bialjabar adalah himpunan fungsi dari grup *G* (atau lebih umum, sembarang monoid) ke {\displaystyle \mathbb {R} }, yang dapat kita nyatakan sebagai ruang vektor {\displaystyle \mathbb {R} ^{G}} yang terdiri dari kombinasi linear dari vektor basis standar **e***g* untuk setiap *g* ∈ *G*, apabila mewakili distribusi probabilitas atas *G* dalam kasus vektor semua koefisien non-negatif dan berjumlah 1. Contoh dari operator perkalian sesuai dan satuan yang menghasilkan kounital koaljabar adalah:

{\displaystyle \Delta (\mathbf {e} \_{g})=\mathbf {e} \_{g}\otimes \mathbf {e} \_{g}\,,}
yang mewakili salinan variabel acak (apabila panjang ke semua {\displaystyle \mathbb {R} ^{G}} dengan linearitas), dan

{\displaystyle \varepsilon (\mathbf {e} \_{g})=1\,,}
(perluasan secara linear ke semua {\displaystyle \mathbb {R} ^{G}}) yang mewakili "menelusuri" variabel acak — *yaitu,* melupakan nilai variabel acak (diwakili oleh faktor tensor tunggal) untuk distribusi marjinal pada variabel yang tersisa (faktor tensor yang tersisa). 
Mengingat interpretasi (Δ,ε) dalam hal distribusi probabilitas seperti di atas, syarat konsistensi bialjabar sebesar kendala pada (∇,η) sebagai berikut:

1. η adalah operator distribusi probabilitas ternormalisasi yang independen dari semua variabel acak lainnya;
2. Produk ∇ memetakan distribusi probabilitas pada dua variabel ke distribusi probabilitas pada satu variabel;
3. Menyalin variabel acak dalam distribusi yang diberikan oleh η sama dengan memiliki dua variabel acak independen dalam distribusi η;
4. Mengambil produk dari dua variabel acak, dan salinan dari variabel acak yang dihasilkan, memiliki distribusi yang sama dengan menyiapkan salinan dari setiap variabel acak secara independen satu sama lain, dan mengalikannya secara berpasangan.

Sepasang (∇,η) yang memenuhi batasan ini adalah operator konvolusi

{\displaystyle \nabla {\bigl (}\mathbf {e} \_{g}\otimes \mathbf {e} \_{h}{\bigr )}=\mathbf {e} \_{gh}\,,}
perluasan ke semua {\displaystyle \mathbb {R} ^{G}\otimes \mathbb {R} ^{G}} dengan linearitas; ini menghasilkan distribusi probabilitas yang dinormalisasi dari distribusi pada dua variabel acak, dan memiliki distribusi delta {\displaystyle \eta =\mathbf {e} \_{i}\;,} dimana *i* ∈ *G* menunjukkan elemen identitas grup *G*.

### Contoh lain

Contoh bialjabar lain termasuk aljabar tensor, apabila dibuat sebagai bialjabar dengan menambahkan perkalian dan satuan yang sesuai; ini bekerja secara rinci dalam artikel itu.

Bialjabar apabila diperluas ke aljabar Hopf, jika antipode yang sesuai dapat ditemukan. Jadi, semua aljabar Hopf adalah contoh bialjabar. Struktur serupa dengan kompatibilitas yang berbeda antara produk dan komultiplikasi, atau jenis perkalian dan perkalian yang berbeda, termasuk bialjabar Lie dan aljabar Frobenius. Contoh tambahan diberikan dalam artikel tentang koaljabar.

Lihat pula
----------

* Kuasi-bialjabar

Catatan
-------

1. ↑  Dăscălescu, Năstăsescu & Raianu (2001). *Hopf Algebras: An introduction*. hlm. 147 & 148.
2. ↑  Dăscălescu, Năstăsescu & Raianu (2001). *Hopf Algebras: An introduction*. hlm. 148.
3. ↑  Dăscălescu, Năstăsescu & Raianu (2001). *Hopf Algebras: An introduction*. hlm. 151.

Referensi
---------

* Dăscălescu, Sorin; Năstăsescu, Constantin; Raianu, Șerban (2001), *Hopf Algebras: An introduction*, Pure and Applied Mathematics, **235** (edisi ke-1st), Marcel Dekker, ISBN 0-8247-0481-9 .

| Pengawasan otoritas Sunting ini di Wikidata |
| --- |
| Umum | 
* Integrated Authority File (Jerman)

 |
| Lain-lain | 
* Microsoft Academic

 |