1: \begin{abstract}

2:     Linear system games are a generalization of Mermin's magic square game

3:     introduced by Cleve and Mittal. They show that perfect strategies for

4:     linear system games in the tensor-product model of entanglement correspond

5:     to finite-dimensional operator solutions of a certain set of

6:     non-commutative equations. We investigate linear system games in the

7:     \emph{commuting-operator} model of entanglement, where Alice and Bob's

8:     measurement operators act on a joint Hilbert space, and Alice's operators

9:     must commute with Bob's operators.  We show that perfect strategies in this

10:     model correspond to possibly-infinite-dimensional operator solutions of the

11:     non-commutative equations. The proof is based around a

12:     finitely-presented group associated to the linear system which arises from the non-commutative equations.

13: \end{abstract}

14: