Algebraic Primitive Spectra
Since a C*-algebra A is a ring, we can also consider the set of primitive ideals of A, where A is regarded algebraically. For a ring an ideal is primitive if and only if it is the annihilator of a simple module. It turns out that for a C*-algebra A, an ideal is algebraically primitive if and only if it is primitive in the sense defined above.
Theorem. Let A be a C*-algebra. Any algebraically irreducible representation of A on a complex vector space is algebraically equivalent to a topologically irreducible *-representation on a Hilbert space. Topologically irreducible *-representations on a Hilbert space are algebraically isomorphic if and only if they are unitarily equivalent.
This is the Corollary of Theorem 2.9.5 of the Dixmier reference.
If G is a locally compact group, the topology on dual space of the group C*-algebra C*(G) of G is called the Fell topology, named after J. M. G. Fell.
Read more about this topic: Spectrum Of A C*-algebra
Famous quotes containing the words algebraic and/or primitive:
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“Deep down, the US, with its space, its technological refinement, its bluff good conscience, even in those spaces which it opens up for simulation, is the only remaining primitive society.”
—Jean Baudrillard (b. 1929)