Centralizer of a stabilizer group
= Centralizer of a stabilizer group
The Pauli centralizer $C(S)$ consists of <Pauli operators> commuting with every stabilizer. Elements of $C(S)\setminus S$, modulo stabilizers and phases, are the nontrivial logical <Pauli operators>.