Resolutions of 2 and 3 dimensional rings of invariants for cyclic groups
Let be the cyclic group of order and suppose is a field containing a primitive root of unity. We consider the ring of invariants of a three dimensional representation of where . We describe minimal generators and relations for this ring and prove that the lead terms of the relations are quadratic. These minimal generators for the relations form a Gröbner basis with a surprisingly simple combinatorial structure. We describe the graded Betti numbers for a minimal free resolution of . The case where is any two dimensional representation of is also handled.