A subgroup of the Pauli group such that . The stabilizer must be commutative, i.e. .