In operator theory, a branch of mathematics, 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

G0,

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

ΛA = G/G0

is the abstract index group of A. Because G0, 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 from T to the complex numbers is a Banach algebra, with the topology of uniform convergence. A function in C(T) is invertible (meaning that it has a pointwise multiplicative inverse, not that it is an invertible function) if it does not map any element of T to zero. The group G0 consists of elements homotopic, in G, to the identity in G, the constant function 1. One can choose the functions fn(z) = zn as representatives in G of distinct homotopy classes of maps T→T. Thus the index group ΛC(T) is the set of homotopy classes, indexed by the winding number of its members. Thus ΛC(T) is isomorphic to the fundamental group of T. It is a countable discrete group.

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.

## References

* Zhu, Kehe (1993). An Introduction to Operator Algebras, CRC Press, Boca Raton, LA, OCLC 27680761

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

* Banach–Alaoglu
* Banach–Mazur
* Banach–Saks
* Banach–Schauder (open mapping)
* Banach–Steinhaus (Uniform boundedness)
* Bessel's inequality
* Cauchy–Schwarz inequality
* Closed graph
* Closed range
* Eberlein–Šmulian
* Freudenthal spectral
* Gelfand–Mazur
* Gelfand–Naimark
* Goldstine
* Hahn–Banach (hyperplane separation)
* Kakutani fixed-point
* Krein–Milman
* Lomonosov's invariant subspace
* Mackey–Arens
* Mazur's lemma
* M. Riesz extension
* Riesz representation
* Parseval's identity
* Schauder fixed-point

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Index group. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Index_group&oldid=2498974"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template