Universal C*-algebra

In mathematics, a universal C*-algebra is a C*-algebra described in terms of generators and relations. In contrast to rings or algebras, where one can consider quotients by free rings to construct universal objects, C*-algebras must be realizable as algebras of bounded operators on a Hilbert space by the Gelfand-Naimark-Segal construction and the relations must prescribe a uniform bound on the norm of each generator. This means that depending on the generators and relations, a universal C*-algebra may not exist. In particular, free C*-algebras do not exist.

Definitions

A relation is a pair consisting of a *-polynomial p in n non-commuting variables and a non-negative number ε. This definition can be generalized to include continuous functions using continuous functional calculus. A representation on a set of relations R in a C*-algebra A is a *-homomorphism φ from the free algebra (not a C*-algebra) generated by n elements: x1, x2, ..., xn such that ||(φ(p(x1, ..., xn))|| ≤ ε for each relation (p,ε) in R.

A set of relations R is called bounded if a representation on R exists for some C*-algebra and ||ρ(xi)|| is uniformly bounded for all i and all representations ρ.

Examples

References

This article is issued from Wikipedia - version of the Saturday, January 09, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.