Invariant states and conditional expectations of the anticommutation relations

The groupG of unitary elements of a maximal abelian von Neumann algebra on a separable, complex Hilbert spaceH acts as a group of automorphisms on the CAR algebraA(H) overH. It is shown that the set ofG-invariant states is a simplex, isomorphic to the set of regular probability measures on aw*-compact setS ofG-invariant generalized free states. The GNS Hilbert space induced by an arbitraryG-invariant state onA(H) supports a *-representation ofC(S); the canonical map ofA(H) intoC(S) can then be locally implemented by a normal,G-invariant conditional expectation.