The sum of two odd integers plus one is odd, so the operation is closed. Both associations of a triple give , proving associativity. Its identity element is , and the inverse element of is , also odd, since . Thus it is an abelian group.
More explicitly, shifted addition on odd integers is ordinary integer addition in different coordinates:This bijection is a group isomorphism to .