Abstract index group

Abstract index group

In operator theory, every Banach algebra can be associated with a group called its abstract index group.

Definition

Let "A" be a Banach algebra and "G" the group of invertible elements in "A". The set "G" is open and a topological group. Consider the identity component

:"G"0,

or in other words the connected component containing the identity 1 of "A"; "G"0 is a normal subgroup of "G". The quotient group

"A" = "G"/"G"0

is the abstract index group of "A". Because "G"0, being the component of an open set, is both open and closed in "G", the index group is a discrete group.

Examples

Let "L"("H") be the Banach algebra of bounded operators on a Hilbert space. The set of invertible elements in "L"("H") is path connected. Therefore Λ"L"("H") is the trivial group.

Let T denote the unit circle in the complex plane. The algebra "C"(T) of continuous functions on T is a Banach algebra, with the topology of uniform convergence. An element of "C"(T) is invertible if its image does not contain 0. The group "G"0 consists of elements homotopic, in "G", to the identity function "f"1("z") = "z". Thus the index group Λ"C"(T) is the set of homotopy classes, indexed by the winding number of its members. It is a countable discrete group. One can choose the functions "fn"("z") = "zn" as representatives of distinct homotopy classes. Thus Λ"C"(T) is isomorphic to the fundamental group of T.

The Calkin algebra "K" is the quotient C*-algebra of "L"("H") with respect to the compact operators. Suppose π is the quotient map. By Atkinson's theorem, an invertible elements in "K" is of the form π("T") where "T" is a Fredholm operators. The index group Λ"K" is again a countable discrete group. In fact, Λ"K" is isomorphic to the additive group of integers Z, via the Fredholm index. In other words, for Fredholm operators, the two notions of index coincide.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Abstract index notation — is a mathematical notation for tensors and spinors that uses indices to indicate their types, rather than their components in a particular basis. The indices are mere placeholders, not related to any fixed basis, and in particular are non… …   Wikipedia

  • Index of industrial production — (IIP) in simplest terms is index which details out the growth of various sectors in an economy. E.g. Indian IIP will focus on sectors like mining, electricity, Manufacturing General.Also base year needs to be decided on the basis of which all the …   Wikipedia

  • Group psychotherapy — is a form of psychotherapy in which one or more therapists treat a small group of clients together as a group. The term can legitimately refer to any form of psychotherapy when delivered in a group format, including Cognitive behavioural therapy… …   Wikipedia

  • Abstract Rude — Infobox musical artist | Name = Abstract Rude Img capt = abby Img size = Background = solo singer Birth name = Aaron Pointer Alias = Ab Rude, Abbey Rude The Scorpion Born = Died = Origin = Los Angeles, California Instrument = Genre = Hip Hop… …   Wikipedia

  • Group of Lie type — In mathematics, a group of Lie type G(k) is a (not necessarily finite) group of rational points of a reductive linear algebraic group G with values in the field k. Finite groups of Lie type form the bulk of nonabelian finite simple groups.… …   Wikipedia

  • Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia

  • Index (search engine) — Search engine indexing collects, parses, and stores data to facilitate fast and accurate information retrieval. Index design incorporates interdisciplinary concepts from linguistics, cognitive psychology, mathematics, informatics, physics, and… …   Wikipedia

  • Index of chess articles — Contents 1 Books 2 General articles 2.1 0–9 2.2 A …   Wikipedia

  • Triangle group — In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle.… …   Wikipedia

  • Cyclic group — Group theory Group theory …   Wikipedia

Share the article and excerpts

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