Skip to main content
1 of 2
the L
  • 1.2k
  • 1
  • 14
  • 23

As explained in the other answers, in general there is a problem of seperatedness. If $\bigcap_{n=1}^{\infty} \mathfrak{a}^n \ne 0$ then the topology is not Hausdorff.

On the positive side however, you have for example Krull's intersection theorem which says that if $A$ is a noetherian integral domain, then for any proper ideal $\mathfrak{a}$, the $\mathfrak{a}$-adic topology is seperated, and hence, metrizable.

the L
  • 1.2k
  • 1
  • 14
  • 23