# Chapter 7 Stabilisers

About the structure of the

Pauli group, which is the group generated by tensor products of the Pauli matrices, including the identity. It has nice algebraic properties which are useful in many areas of quantum information science, in particular quantum error correction and classical simulations of some types of quantum computation. We will discuss how certain subgroups of the Pauli group, and in particularstabilisersandnormalisersof these subgroups, slice the Pauli group into interestingcosetsthat have a group structure of their own. We will also look at theClifford group, which is a set of unitary operators that preserve the Pauli group under conjugation and describes the “easy” part of quantum computation.

N.B. *This section is sort of an odd-one-out, since we won’t need any of this formalism until Sections 13 and 14.*
*However, if you’re reading this book in order, then you might find this a nice detour halfway through, and it gives a taste of things to come.*

We have already seen the (single-qubit) Pauli matrices, along with a brief look into their algebraic structure, in Section 3.3.

Recall that these matrices span the entire space of *and* unitary evolutions.
Any two given Pauli matrices either commute or anticommute.

As one final reminder, we often refer to the Pauli matrices as “matrices”, but they are defined as operators by the commutations relations, without reference to any particular basis.
That is, the Pauli operators