We construct a functor from a certain category of quantum semigroups to a Ž Ž .. category of quantum groups, which, for example, assigns Fun Mat N to q Ž Ž .. Ž . Fun GL N . Combining with a generalization of the Faddeev᎐ q Reshetikhin᎐Takhtadzhyan construction, we obtain quantum groups with univers
Discrete Quantum Groups
✍ Scribed by A. Van Daele
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 162 KB
- Volume
- 180
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
Let G be any discrete group. Consider the algebra A of all complex functions with finite support on G with pointwise operations. The multiplication on G Ž .Ž . Ž . induces a comultiplication ⌬ on A by ⌬ f p, q sf pq whenever f g A and p, q g G. If G is finite, one can identify the algebra of complex functions on
A for all f and g. In Ž . this case A, ⌬ is a multiplier Hopf algebra. In fact, it is a multiplier Hopf U U Ž .
-algebra when A is given the natural involution defined by f p s f p for all Ž .
U
Ž
. fgA and p g G. In this paper we call a multiplier Hopf -algebra A, ⌬ a discrete quantum group if the underlying U -algebra A is a direct sum of full matrix algebras. We study these discrete quantum groups and we give a simple proof of the existence and uniqueness of a left and a right invariant Haar measure.
📜 SIMILAR VOLUMES
## Abstract In this paper, we study a special class of compact quantum groups, namely, the profinite quantum groups.
The construction of the Drinfeld double D H of a finite dimensional Hopf algebra H was one of the first examples of a quasitriangular Hopf algebra whose category of modules M M is braided. The braided category of Yetter᎐Drinfeld DŽ H . modules Y Y D D H is the analogue for infinite dimensional Hopf
We show for a cosemisimple bialgebra that a standard \*-operation making it into a discrete quantum semigroup must be unique. It may not exist: we prove such an Ž Ž .. operation on a cosemisimple O O SL ރ exists if and only if the parameter q is q 2 real. We also conclude that discrete quantum gro