Definition 87.29.1. Let A \to B be a continuous map of topological rings (More on Algebra, Definition 15.36.1). We say B is topologically of finite type over A if there exists an A-algebra map A[x_1, \ldots , x_ n] \to B whose image is dense in B.
Definition 87.29.1. Let A \to B be a continuous map of topological rings (More on Algebra, Definition 15.36.1). We say B is topologically of finite type over A if there exists an A-algebra map A[x_1, \ldots , x_ n] \to B whose image is dense in B.
Comments (0)