Laxton introduced a group structure on the set of equivalence classes of linear recurrence sequences of degree 2. This result yields much information on the divisibilities of such sequences. In this ...