Stabilizer subspace

The stabilizer subspace of a commuting family $S$ of Hermitian Pauli operators isIf there are $r$ independent generators on $n$ qubits, its dimension is $2^{n-r}$.

For a stabilizer group $G=⟨g_1,\dots ,g_l⟩$, the orthogonal projector onto its stabilizer subspace is