z4_cyclic_group_of_order_4.json

{"name": "Z4",
 "description": "Cyclic group of order 4",
 "elements": ["e", "a", "a^2", "a^3"],
 "table": [[0, 1, 2, 3],
           [1, 2, 3, 0],
           [2, 3, 0, 1],
           [3, 0, 1, 2]]
}