- #1

- 33

- 0

## Main Question or Discussion Point

How would I show that every unit in Z[sqrt(2)] is of the form +/- (1 +/- sqrt(2) )^n ?

I can show these are all units, but I can't show every unit is one of these. From some research, I'm aware this is a special case of Dirichlet's Unit Theorem, but that is far above the level I'm working at.

Any help would be appreciated :)

Thanks

I can show these are all units, but I can't show every unit is one of these. From some research, I'm aware this is a special case of Dirichlet's Unit Theorem, but that is far above the level I'm working at.

Any help would be appreciated :)

Thanks