Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business Industries Finance Tax

Home > Hopf algebra


First Prev [ 1 2 ] Next Last

In abstract algebra, a Hopf algebra is a bialgebra H over a field K together with a K-linear map such that the following diagram commutes
.

(Here Δ is the comultiplication of the bialgebra, ∇ its multiplication, η its unit and ε its counit.) In the sumless Sweedler notation, this property can also be expressed as

The map S is called the antipode map of the Hopf algebra.

1 Examples

Group algebra. Suppose G is a group. The group algebra KG is a unital associative algebra over K. It turns into a Hopf algebra if we define

Functions on a finite group. Suppose now that G is a finite group. Then the set KG of all functions from G to K with pointwise addition and multiplication is a unital associative algebra over K, and KGKG is naturally isomorphic to KGxG. KG becomes a Hopf algebra if we define

Regular functions on an algebraic group. Generalizing the previous example, we can use the same formulas to show that for a given algebraic group G over K, the set of all regular function s on G forms a Hopf algebra.

Universal enveloping algebra. Suppose g is a Lie algebra over the field K and U is its universal enveloping algebra. U becomes a Hopf algebra if we define

2 Quantum groups and non-commutative geometry

All examples above are either commutative (i.e. the multiplication is commutative) or co-commutative (i.e. Δ = Δ o T where T : HHHH is defined by T(xy) = yx). The most exciting Hopf algebras however are certain "deformations" or " quantizationIn physics, quantization is the formulation of a classical theory in the formalism of quantum physics. Even though classical physics stems from quantum theory, the build up of a quantum theory is often made the other way around, starting from existing clas" of those from example 3 and 4 which are neither commutative nor co-commutative. These Hopf algebras are often called quantum groups, a term that is only loosely defined. They are important in noncommutative geometryIn mathematics, there is a close relationship between spaces which are geometric in nature, and the numerical functions on them. In general such functions will form a commutative ring, say the ring of C ''X of continuous functions on a topological space X, the idea being the following: a standard algebraic group is well described by its standard Hopf algebra of regular functions; we can then think of the deformed version of this Hopf algebra as describing a certain "non-standard" or "quantized" algebraic group (which is not an algebraic group at all). While there does not seem to be a direct way to define or manipulate these non-standard objects, one can still work with their Hopf algebras, and indeed one identifies them with their Hopf algebras. Hence the name "quantum group".





Non User