*Warning: This is written by a non-expert (I know only about finite quantum groups and am beginning to learn my compact quantum groups), and there is no attempt at rigour, or even consistency. Actually the post shows a wanton disregard for reason, and attempts to understand the incomprehensible and intuit the non-intuitive. Speculation would be too weak an adjective.*

## Groups

A group is a well-established object in the study of mathematics, and for the purposes of this post we can think of a group as the set of symmetries on some kind of space, given by a set together with some additional structure . The elements of *act *on as bijections:

,

such that , that is the structure of the space is invariant under .

For example, consider the space , where the set is , and the structure is the cardinality. Then the set of all of the bijections is a group called .

A set of symmetries , a group, comes with some structure of its own. The identity map , is a symmetry. By transitivity, symmetries can be composed to form a new symmetry . Finally, as bijections, symmetries have inverses , .

Note that:

.

A group can carry additional structure, for example, compact groups carry a topology in which the composition and inverse are continuous.

## Algebra of Functions

Given a group together with its structure, one can define an algebra of complex valued functions on , such that the multiplication is given by a commutative pointwise multiplication, for :

.

Depending on the class of group (e.g. finite, matrix, compact, locally compact, etc.), there may be various choices and considerations for what algebra of functions to consider, but on the whole it is nice if given an algebra of functions we can reconstruct .

Usually the following *transpose *maps will be considered in the structure of , for some tensor product such that , and , is the group multiplication:

See Section 2.2 to learn more about these maps and the relations between them for the case of the complex valued functions on *finite *groups.

## Quantum Groups

Quantum groups, famously, do not have a single definition in the same way that groups do. All definitions I know about include a coassociative (see Section 2.2) comultiplication for some tensor product (or perhaps only into a multiplier algebra ), but in general that structure alone can only give a quantum *semi*group.

Here is a non-working (quickly broken?), meta-definition, inspired in the usual way by the famous Gelfand Theorem:

A quantum group is given by an algebra of functions satisfying a set of axioms such that:

- whenever is noncommutative, is a
virtualobject,every commutative algebra of functions satisfying is an algebra of functions on aset-of-pointsgroup, andwhenever commutative algebras of functions , asset-of-pointsgroups.

## Recent Comments