G = C243 is Cyclic group of order 243
This cohomology ring calculation is complete.
The cohomology ring has 2 generators:
There is one minimal relation:
This minimal generating set constitutes a Gröbner basis for the relations ideal.