Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-324/2/iv/solution

At each qubit, two matrices from either commute or anticommute. Moving every past the corresponding therefore gives
where is the number of positions containing distinct nonidentity Pauli matrices. Thus two Pauli strings always commute or anticommute. If they anticommute and a vector were stabilized by both, then and , contradicting . Their common stabilizer subspace is consequently the zero subspace .

New to topics? Read the docs here!