Bialgebra
Bialgebra

berührt die Spezialgebiete

ist Spezialfall von

umfasst als Spezialfälle

Eine Bialgebra hat sowohl die Struktur einer unitären, assoziativen Algebra als auch die dazu duale Struktur einer Koalgebra. Der wichtigste Spezialfall von Bialgebren sind Hopf-Algebren, zu denen auch die Quantengruppen gehören.

Definition

Sei k ein Körper und B sowohl unitäre assoziative Algebra über k als auch Koalgebra über k. Dabei bezeichne μB die Multiplikation, ηB die Eins (Einbettung des Körpers in die Algebra), ΔB die Komultiplikation und \epsilon_B die Koeins.

B heißt Bialgebra über k wenn die folgenden äquivalenten Kompatibilitätsbedingungen erfüllt sind.

  • Die Komultiplikation ΔB und die Koeins \epsilon_B sind Algebrahomomorphismen.
  • Die Multiplikation μB und die Eins ηB sind Koalgebrahomomorphismen.
  • Die folgenden Diagramme kommutieren
Bialgebra-eta-Delta.svg
Bialgebra-mu-Delta.svg
Bialgebra-eta-epsilon.svg
Bialgebra-mu-epsilon.svg

Dabei ist \tau_{B,B}:=v\otimes w\mapsto w\otimes v die "Flip"-Abbildung, also der kanonische Isomorphismus der Tensorprodukte V\otimes W und W\otimes V angewandt auf B\otimes B.

Die Bialgebren bilden zusammen mit den Abbildungen, die sowohl Algebra- als auch Koalgebrahomomorphismen sind, eine Kategorie.

Verallgemeinerung

Algebren und Koalgebren können in beliebigen monoidalen Kategorien betrachtet werden. Für Kompatibilitätsbedingungen ist es jedoch notwendig, dass auch das Tensorprodukt einer (Ko)Algebra auf natürliche Weise wieder eine (Ko)Algebra ist, dies bedingt die Existenz einer Zopfung.

Literatur

  • Christian Kassel: Quantum Groups (Graduate Texts in Mathematics). Springer-Verlag, ISBN 0-387-94370-6

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Bialgebra — In mathematics, a bialgebra over a field K is a structure which is both a unital associative algebra and a coalgebra over K , such that these structures are compatible.Compatibility means that the comultiplication and the counit are both unital… …   Wikipedia

  • bialgebra — noun A particular form of vector space which is a compatible form of two algebras …   Wiktionary

  • Quasi-bialgebra — In mathematics, quasi bialgebras are a generalization of bialgebras, which were defined by the Ukrainian mathematician Vladimir Drinfeld in 1990.A quasi bialgebra mathcal{B A} = (mathcal{A}, Delta, varepsilon, Phi) is an algebra mathcal{A} over a …   Wikipedia

  • Lie bialgebra — In mathematics, a Lie bialgebra is the Lie theoretic case of a bialgebra: its a set with a Lie algebra and a Lie coalgebra structure which are compatible. It is a bialgebra where the comultiplication is skew symmetric and satisfies a dual Jacobi… …   Wikipedia

  • Hopfalgebra — berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra Kommutative Algebra ist Spezialfall von Bialgebra Eine Hopf Algebra – benannt nach dem Math …   Deutsch Wikipedia

  • Hopf algebra — In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously a (unital associative) algebra, a coalgebra, and has an antiautomorphism, with these structures compatible.Hopf algebras occur naturally in algebraic… …   Wikipedia

  • Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… …   Wikipedia

  • Hopf-Algebra — Hopfalgebra berührt die Spezialgebiete Mathematik Abstrakte Algebra Lineare Algebra Kommutative Algebra ist Spezialfall von Bialgebra Eine Hopf Algebra – benannt …   Deutsch Wikipedia

  • Convolution — For the usage in formal language theory, see Convolution (computer science). Convolution of two square pulses: the resulting waveform is a triangular pulse. One of the functions (in this case g) is first reflected about τ = 0 and then offset by t …   Wikipedia

  • Quantum group — In mathematics and theoretical physics, quantum groups are certain noncommutative algebras that first appeared in the theory of quantum integrable systems, and which were then formalized by Vladimir Drinfel d and Michio Jimbo. There is no single …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”