[URL='https://www.physicsforums.com/insights/author/john-baez/' said:
John Baez[/URL]]You can think of mathematicians as physicists who only do trivial
observations. So the C*-algebra of observables for a mathematician
consists only of scalar multiples of the identity. These are the
observables that don't depend on anything about the state of the
universe! This little C*-algebra forms a copy of the complex numbers
sitting in the center of the larger C*-algebra of observables used by
the physicist. The only laws of physics the mathematician can express
are trivial ones like 1 + 1 = 2, which involve observables living in the
mathematician's C*-algebra.
When the physicist's C*-algebra has a nontrivial center, things get a
little more interesting: we have the C*-algebra of the mathematician,
the C*-algebra of the physicist, and the center of the latter algebra,
which we could call "the C*-algebra of the classical physicist". The
classical physicist can ignore noncommutativity, but is restricted to
talking about very special things - observables that commute with all
others. Such quantities must be conserved and Lorentz-invariant, for
starters! Famous examples include the total electric charge of the
universe, or the total lepton number, or the total baryon number - in
models where these quantities are conserved.