The structure of the invariant ring of two matrices of degree 3 (Q5956874)

The author finds generators and relations of \(\mathbf Z[\text{Mat}_3\times \text{Mat}_3]^{\text{PGL}_3}\), the invariant ring over \(\mathbf Z\) of two matrices of degree 3 (the action of \(\text{PGL}_3\) is given by simultaneous conjugation). There are 11 generators and 1 relation (given explicitly, by complicated formulas). Over a field of characteristic zero the answer has been known.