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.