In mathematics and physics CCR algebras (after canonical commutation relations) and CAR algebras (after canonical anticommutation relations) arise from the quantum mechanical study of bosons and fermions respectively. They play a prominent role in quantum statistical mechanics and quantum field theory.
Let be a real vector space equipped with a nonsingular real antisymmetric bilinear form (i.e. a symplectic vector space). The unital *-algebra generated by elements of subject to the relations