Estabilizador

El estabilizador de un $n$-Estado estabilizador $|\psi ⟩$ es el conjunto

$$\mathcal{S}:=\{M\in {\mathcal{P}}_n|M|\psi ⟩=|\psi ⟩\}.$$

$\mathcal{S}$ es un Subgrupo abeliano del Grupo de Pauli ${\mathcal{P}}_n$.

El estado $|\psi ⟩$ es el único (hasta de fases globales) que es estabilizado por todo el grupo $\mathcal{S}$. MISSING-PROOF

pendiente