In mathematics, Naimark's problem is a question in functional analysis. It asks whether every C*-algebra that has only one irreducible representation up to unitary equivalence is isomorphic to the algebra of compact operators on some Hilbert space.
The problem was solved in the affirmative for special cases (separable and type I C*-algebras).
In 2003 Charles Akemann and Nik Weaver showed that the statement "there exists a counterexample to Naimark's problem which is generated by ℵ1 elements" is independent of the axioms of Zermelo-Fraenkel set theory and the axiom of choice (ZFC).
See also
External link