Integer Solutions of Linear Diophantine Equations Form a Group

Abstract

It is shown that the set of integer solutions of a single Diophantine equation, or of several simultaneous linear Diophantine equations, in an arbitrary number of variables, say $n$, is a group with respect to a suitably defined binary operation. Further, the aforesaid group is the direct sum of $n$ cyclic groups.