commutative Noetherian topological ring whose topology is defined by an ideal contained in the Jacobson radical