बाईलगेब्रा

गणित में, एक फील्ड (गणित) K पर द्विबीजगणित K के ऊपर सदिश स्थान है | जो इकाई बीजगणित एसोसिएटिव बीजगणित और कोलजेब्रा दोनों है। बीजगणितीय और कोलजेब्रिक संरचनाओं को कुछ और अभिगृहीतों के अनुकूल बनाया गया है। विशेष रूप से, सहगुणन और गण दोनों एकात्मक बीजगणित समाकारिता हैं, या समतुल्य रूप से, गुणन और बीजगणित की इकाई दोनों ही कोलजेब्रा आगे की अवधारणाएँ और तथ्य हैं। (ये कथन समतुल्य हैं क्योंकि वे समान क्रमविनिमेय आरेख द्वारा व्यक्त किए जाते हैं।)

इसी तरह K बायलजेब्रा, बायलजेब्रा होमोमोर्फिज्म से संबंधित हैं। बायल्जेब्रा समरूपता रेखीय ग्राफ है | जो बीजगणित और कोलजेब्रा समरूपता दोनों है।

जैसा कि क्रमविनिमेय आरेखों की समरूपता में परिलक्षित होता है | बायलजेब्रा की परिभाषा दोहरी है (श्रेणी सिद्धांत) | इसलिए यदि कोई B K दोहरे स्थान को परिभाषित कर सकता है |(जो सदैव संभव है यदि B परिमित-आयामी है), तो यह स्वचालित रूप से द्विबीजगणित है।

औपचारिक परिभाषा
(B, ∇, η, Δ, ε) K के ऊपर बायल्जेब्रा है, यदि इसमें निम्नलिखित गुण हैं |
 * B K के ऊपर सदिश स्थान है |
 * K-रैखिक मानचित्र (गुणन) ∇: B ⊗ B → B (K के समतुल्य - बहुरेखीय मानचित्र ∇: B'× B → B हैं ' ) और (इकाई) η: K → B, जैसे कि (B, ∇, η) इकाई एसोसिएटिव बीजगणित है |
 * वहाँ K-रेखीय मानचित्र हैं (सहगुणन) Δ: B → B ⊗ B और (काउंटी) ε: B → K, जैसे कि (B, Δ, ε) (कोयनिटल कोएसोसिएटिव) कोलजेब्रा है |
 * अनुकूलता की स्थिति निम्नलिखित क्रमविनिमेय आरेखों द्वारा व्यक्त की गई है |


 * 1) गुणन ∇ और सहगुणन Δ
 * Bialgebra2.svg
 * जहां τ: B ⊗ B → B ⊗ B, τ(x ⊗ y) = y ⊗ x द्वारा परिभाषित रैखिक मानचित्र है | जो B में सभी x और y के लिए है |
 * 1) गुणा ∇ और गिनती ε
 * Bialgebra3.svg
 * सहगुणन Δ और इकाई η
 * Bialgebra4a.svg
 * इकाई η और काउंट ε
 * Bialgebra1.svg
 * Bialgebra4a.svg
 * इकाई η और काउंट ε
 * Bialgebra1.svg
 * Bialgebra1.svg
 * Bialgebra1.svg

सहयोगिता और कोउनित
बहुरेखीय ग्राफ K-रैखिक ग्राफ Δ: B → B ⊗ B कोलजेब्रा है | यदि $$(\mathrm{id}_B \otimes \Delta) \circ \Delta = (\Delta \otimes \mathrm{id}_B) \circ \Delta$$. है |

K-रैखिक ग्राफ ε: B → K काउंट है यदि $$(\mathrm{id}_B \otimes \epsilon) \circ \Delta = \mathrm{id}_B = (\epsilon \otimes \mathrm{id}_B) \circ \Delta$$. है |

निम्नलिखित दो आरेखों की क्रमविनिमेयता द्वारा सहसंयोजकता और कौनिट को व्यक्त किया जाता है |(वे सहचारिता और बीजगणित की इकाई को व्यक्त करने वाले आरेखों K दोहरे हैं) |



अनुकूलता की स्थिति
चार क्रमविनिमेय आरेखों को या तो सहगुणन के रूप में पढ़ा जा सकता है और काउंट बीजगणित के समरूप हैं या, समतुल्य, गुणन और इकाई कोलजेब्रस के समरूपता हैं।

एक बार जब हम B K अतिरिक्त सम्मिलित सभी सदिश स्थानों में बीजगणित और कोलजेब्रा की प्राकृतिक संरचनाओं की व्याख्या करते हैं, तो ये कथन सार्थक होते हैं | (K, ∇0, η0) स्पष्ट रूप से इकाई एसोसिएटिव बीजगणित है और (B ⊗ B, ∇2, η2) इकाई और गुणा के साथ इकाई एसोसिएटिव बीजगणित है |


 * $$\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 $$;

इसी तरह, (K, Δ0, ε0) स्पष्ट रूप से कोलजेब्रा है और B ⊗ B कोलजेब्रा है जिसमें गिनती और सहगुणन है |


 * $$\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 कहते हैं कि Δ: B → B ⊗ B एकात्मक (सहयोगी) बीजगणित (B, ∇, η) और (B ⊗ B, ∇2, η2) का समाकारिता है)


 * $$\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)$$, या बस Δ(1B) = 1B ⊗ B;

आरेख 2 और 4 कहते हैं कि ε: B → K एकात्मक (सहयोगी) बीजगणित (B, ∇, η) और (K, ∇0, η0) का समरूपता है):


 * $$\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$$, या बस ε(1B) = 1K.

समतुल्य रूप से, चित्र 1 और 2 कहते हैं कि ∇: B ⊗ B → B, कोलजेब्रस (B ⊗ B, Δ2, ε2) का समाकारिता है) और (B, Δ, ε) |


 * $$ \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 कहते हैं कि η: K → B कोलजेब्रस (K, Δ0, ε0) का समरूपता है) और (B, Δ, ε)


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

जहाँ
 * $$\epsilon_0 =\epsilon \circ \eta $$.

समूह बायलजेब्रा
बायलजेब्रा का उदाहरण समूह (गणित) G (या अधिक सामान्यतः, किसी भी मोनोइड) से कार्यों का $$\mathbb R$$ समूह है | जिसे हम सदिश समष्टि $$\mathbb R^G$$ के रूप में निरूपित कर सकते हैं | मानक आधार सदिश के रैखिक संयोजनों से मिलकर eg प्रत्येक g ∈ G के लिए, जो सदिशों के स्थिति में G पर प्रायिकता वितरण का प्रतिनिधित्व कर सकता है, जिनके गुणांक सभी गैर-ऋणात्मक हैं और 1 के योग हैं। उपयुक्त सहगुणन संचालकों और काउन्ट्स का उदाहरण जो कौंसिटल कोलजेब्रा उत्पन्न करते हैं |
 * $$\Delta(\mathbf e_g) = \mathbf e_g \otimes \mathbf e_g \,,$$

जो यादृच्छिक चर की प्रतिलिपि बनाने का प्रतिनिधित्व करता है (जिसे हम सभी तक विस्तारित करते हैं $$\mathbb R^G$$ रैखिकता द्वारा), और
 * $$\varepsilon(\mathbf e_g) = 1 \,,$$

(फिर से सभी के लिए रैखिक रूप से विस्तारित $$ \mathbb R^G$$) जो यादृच्छिक चर का पता लगाने का प्रतिनिधित्व करता है | अर्थात, शेष चर (शेष टेंसर कारक) पर सीमांत वितरण प्राप्त करने के लिए यादृच्छिक चर (एकल टेन्सर कारक द्वारा दर्शाया गया) के मान है ।

ऊपर के रूप में संभाव्यता वितरण के संदर्भ में (Δ, ε) की व्याख्या को देखते हुए, बायलजेब्रा स्थिरता की स्थिति (∇, η) पर बाधाओं की मात्रा इस प्रकार है |


 * 1) η सामान्यीकृत संभाव्यता वितरण तैयार करने वाला संचालन है | जो अन्य सभी यादृच्छिक चर से स्वतंत्र है |
 * 2) उत्पाद ∇ चर पर संभाव्यता वितरण के लिए दो चर पर संभाव्यता वितरण को मैप करता है |
 * 3) η द्वारा दिए गए वितरण में यादृच्छिक चर की प्रतिलिपि बनाना वितरण η में दो स्वतंत्र यादृच्छिक चर होने के समान है |
 * 4) दो यादृच्छिक चर का उत्पाद लेना, और परिणामी यादृच्छिक चर की प्रति तैयार करना, समान वितरण है | जो प्रत्येक यादृच्छिक चर की प्रतियां एक दूसरे से स्वतंत्र रूप से तैयार करने और उन्हें जोड़े में एक साथ गुणा करने के रूप में है।

एक जोड़ी (∇, η) जो इन बाधाओं को संतुष्ट करती है, कनवल्शन संचालन है |
 * $$\nabla\bigl(\mathbf e_g \otimes \mathbf e_h\bigr) = \mathbf e_{gh} \,,$$

फिर से सभी $$\mathbb R^G \otimes \mathbb R^G$$ के लिए बढ़ाया रैखिकता से यह दो यादृच्छिक चर पर वितरण से सामान्यीकृत संभाव्यता वितरण उत्पन्न करता है, और इकाई के रूप में डेल्टा-वितरण $$ \eta = \mathbf e_{i} \;,$$ है | जहां i ∈ G समूह G के पहचान तत्व को दर्शाता है।

अन्य उदाहरण
बायलजेब्रा के अन्य उदाहरणों में टेन्सर बीजगणित सम्मिलित है | जिसे उपयुक्त सहगुणन और काउंट जोड़कर बायलजेब्रा में बनाया जा सकता है | इन पर उस लेख में विस्तार से काम किया गया है।

यदि उपयुक्त एंटीपोड पाया जा सकता है, तो बायलगेब्रस को अधिकांशतः हॉफ बीजगणित तक बढ़ाया जा सकता है। इस प्रकार, सभी हॉफ अल्जेब्रा बायलजेब्रा के उदाहरण हैं। उत्पाद और सहगुणन, या विभिन्न प्रकार के गुणन और सहगुणन के बीच विभिन्न संगतता वाली समान संरचनाओं में लाइ बायलजेब्रस और फ्रोबेनियस बीजगणित सम्मिलित हैं। कोलजेब्रस पर लेख में अतिरिक्त उदाहरण दिए गए हैं।

यह भी देखें

 * क्वैसी-बायलजेब्रा