I'd like to form the group G := Z/nZ x Z/nZ. Of course I can just do
G := DirectProduct(CyclicGroup(n), CyclicGroup(n)).
I would like Elements(G) to give me a list of ordered pairs of cosets of
nZ in Z. How do I do this?