1. Let be a multiplicative valuation of a field . Then the following holds:

  • (i) is a Cauchy sequence .
  • (ii) If , then for a sufficiently large .

\begin{proof} i) If is a Cauchy sequence, then for any there is such that for any . Then as .

Conversely, if , then for any , there exists such that for all . Then for any , we have

Therefore, is a Cauchy sequence.

ii) If , then . Since

for big enough and

for big enough , we have for a sufficiently large . \end{proof}

2. Let be a multiplicative valuation of a field . Let be a finite dimensional -space with basis . For , define by

Then this is a norm on . Moreover, the following holds concerning the metric induced by this norm.

  • (i) Let be given for . Then the sequence is a Cauchy sequence if and only if the sequence in is so for all . Also if and only if for all .
  • (ii) If is complete, then so is .

\begin{proof} i) If is a Cauchy sequence, then for any , there exists such that for all . Note that

for any , and it deduces that the sequence in is Cauchy.

Conversely, if the sequence in is Cauchy, then for any , there exists such that for . Then we define and there is for any . Therefore, is Cauchy.

Furthermore, yields that as . Since

we have for all . On the other hand, if for all , then by we can prove that .

ii) For any Cauchy sequence in , the corresponding in is Cauchy and so has limit for all . Thus by i) has limit . Therefore, is complete. \end{proof}

3. Let be a ring and be an -module. Let be an ideal of . Suppose that is defined on and on . Then

  • (i) Addition is continuous from to .
  • (ii) Multiplication is continuous from to .
  • (iii) If is defined on the -module and , then is continuous.

\begin{proof} i) It suffices to show if and , then for any . Since , we have as . For any , there exists such that for all , that is, with for all . Similarly, there exists such that with for all . Then define and we have and so for all . Hence and so addition is continuous.

ii) If suffices to show for any and , we have . Since and , for any there exists large enough such that and with . It deduces that and so . Therefore, and so multiplication is continuous.

iii) It suffices to show for any , one have . Note that . For any , there exists such that with . Then for all and so . Therefore, and so is continuous. \end{proof}