구성 가능한 위상

Constructible topology

In commutative algebra, the constructible topology on the spectrum of a commutative ring is a topology where each closed set is the image of in A에 대한 일부 대수 B 경우 (이 구성의 중요한 특징은 구성 가능한 토폴로지와 관련하여 맵 ) () 이(가) 닫힌 맵이라는 점이다.

이 토폴로지와 관련하여 ( ) 컴팩트하고 [1]Hausdorff이며 완전히 분리위상 공간이다.In general the constructible topology is a finer topology than the Zariski topology, but the two topologies will coincide if and only if is a von Neumann regular ring, where is the nilradical of A.

용어가 유사함에도 불구하고, 구성 가능한 위상은 모든 구성 가능한 집합의 집합과 같지 않다.[2]

참고 항목

참조

  1. ^ 어떤 작가들은 여기서 퀘이콤팩트라는 용어를 선호한다.
  2. ^ "Reconciling two different definitions of constructible sets". math.stackexchange.com. Retrieved 2016-10-13.