Stabilizer-projector formula
= Stabilizer-projector formula
For a <stabilizer group> $G=\langle g_1,\ldots,g_l\rangle$, the <orthogonal projector> onto its <stabilizer subspace> is
$$
\Pi_G=\frac1{|G|}\sum_{g\in G}g
=\prod_{i=1}^l\frac{I+g_i}{2}.
$$