These are classic proofs.

i implies ii is correct.

ii implies iii Correct, you can just set .

iii implies i This is annoying, but should be able to be found in any book on algebraic number theory. You basically construct the characteristic polynomial of a matrix from which will annihilate it. See Milne's notes on alg. number theory for a full proof.