Show that the powers of sqrt(2) + 1 are all distinct, and so (unlike Gaussian integers) there are infinitely many invertible elements in Z[sqrt(2)].
Are you looking for this to be done group theoretically (as your language and notation seem to suggest) or number theoretically (as the section you posted in seems to suggest)?