Pauli group

$P_1$ is the Group generated by $\{iI,X,Z\}$. For $n$ Qubits we define $P_n:=P_1^{\otimes n}$.