IQIS Lecture 8.13 - Stabilizer codes

[@eugenehsu4950]

Thanks for nice lecture. You mention the normalizer quotient stabilizer @7:27 is isomorphic to Pauli_k group. Is there any proof or some paper to show this? I do not find it.