Determine whether the binary operation * gives a group structure on the given set. If no group results, give the first axiom in the order G₁, G₂, G₃ from Definition 4.1 that does not hold.

Let* be defined on 2Z = {2n | n E Z} by letting a * b = a + b.