Gordan's Theorem, that the complete system of irreducible concomitants of a given form is finite, has been extended by Hilbert to cover wide ranges of systems of variables Gordan and Study have dealt shortly with the problem for double binary forms, approaching the subject through the theory of binary types. The following pages give a proof after the manner of Gordan's proof for ordinary binary forms, which has the advantage of providing a practical method for constructing the complete system. As illustrations, the cases of the (1, 2), (2, 2), and (3, 3) forms are considered.
(Received November 18 1922)
(Accepted February 09 1922)