Computing an invariant subring of k[X,Y]

Abstract

We are interested in computing the invariant subring (also referred to as fixed ring) which is obtained as a result of the action of a certain finite group of k-linear automorphisms on the polynomial ring in two variables with coefficients in a field of characteristic p.