Stabilizer-projector formula (source code)

= 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}.
$$