什么是交换环R的谱？

1. 字幕依据
   观察依据

   屏幕手写文字显示：“R 是一个含单位元的交换环。”

2. 声音
   观察依据

   主讲人说：“考虑我们有一个含单位元的交换环 R。”

R

一个含单位元的交换环。

交换代数

1. 字幕依据
   观察依据

   屏幕公式在集合构造记号中使用符号 I：Spec R = { I | I 是 R 的素理想 }。

2. 声音
   观察依据

   主讲人将谱定义为所有素理想的集合。

I

环 R 的一个素理想。

R 的理想

1. 字幕依据
   观察依据

   屏幕文字先显示“Spec R”，随后给出完整定义：“Spec R = { I | I 是 R 的素理想 }”。

2. 声音
   观察依据

   主讲人说：“交换环 R 的谱，就是 R 的所有素理想的集合。”

$\operatorname{Spec} R$

交换环 R 的谱，定义为 R 的所有素理想的集合。

R 的理想的集合

1. 字幕依据
   观察依据

   屏幕文字显示：“例：Z”

2. 声音
   观察依据

   说话人说：“整数的谱是什么”，并指出整数构成一个含单位元1的交换环。

$\mathbb{Z}$

整数环

整数

1. 字幕依据
   观察依据

   屏幕文字显示：“素理想：(0)、(p)”，其下方标注“p 是素数”

2. 声音
   观察依据

   说话人指出，整数环中的素理想由素数及零理想给出。

p

一个素数；用于在ℤ中生成主素理想(p)。

素数

1. 字幕依据
   观察依据

   屏幕文字在素理想列表中列出了“(0)”

2. 声音
   观察依据

   说话人明确将“零理想”包含在内，并解释它为何是素理想。

(0)

ℤ中的零理想，被列为素理想，因为ℤ是一个整环。

ℤ的理想

1. 字幕依据
   观察依据

   屏幕上的公式显示为“Spec Z = {(0), (2), (3), ...}”。

2. 声音
   观察依据

   主讲人总结该集合包含由素数生成的理想以及零理想。

$\operatorname{Spec} \mathbb{Z}$

整数环的谱，记作整数环 ℤ 的所有素理想的集合。

ℤ 的理想集合

1. 声音
   观察依据

   讲解谱图时，主讲人反复提到“Spec R”

$\operatorname{Spec} R$

交换环 R 的谱，本片段中将其描述为由素理想导出的离散点集。

交换代数；此处以 R = ℤ 为例加以说明。

1. 公式
   观察依据

   屏幕上文字显示：“Spec ℤ = {(0), (2), (3), ...}”。

$\operatorname{Spec} \mathbb{Z}$

整数环的谱，写作素理想集合 \{(0),(2),(3),$\ldots$\}。

ℤ 的素理想集合。

1. 声音
   观察依据

   主讲人提问：“但零理想又该如何理解呢？”

2. 公式
   观察依据

   黑板上将“(0)”写在其他各点上方，并随后将其纳入 Spec ℤ 中。

(0)

ℤ 的零理想；本片段中它被特别标示为一个泛点，而非闭点。

ℤ 的理想。

1. 公式
   观察依据

   黑板上列出“(2)”、“(3)”、“(5)”、“(7)”，其后附有省略号。

2. 声音
   观察依据

   主讲人指出：若仅取素数，则可得到 2、3、5 等。

(p)

由素数 p 生成的主理想；这些是本文所讨论的 ℤ 中的非零素理想。

ℤ 中对应于素数 p 的理想。

1. 声音
   观察依据

   说话人说：“如果你取任意一个素数并对 ℤ 取商环，例如对 3Z 取商，你将得到一个域。”

1. 口语中使用的记号是非正式的；实际所指的商环是 ℤ/3ℤ，而非字面上单独的“3Z”。

$\mathbb{Z}/p\mathbb{Z}$

整数环 ℤ 对素理想的商环；用于说明此类理想为何是极大理想。

ℤ 的商环。

1. 字幕依据
   观察依据

   字幕依次显示：“R 是含单位元的交换环”，接着是“理想 ⇒ 素理想”，最后是公式“Spec R = { I | I 是 R 的素理想 }”。

2. 声音
   观察依据

   主讲人将本主题引入为交换环的谱，并将其定义为该环所有素理想的集合。

对含单位元的交换环 R，R 的谱是指 R 的所有素理想的全体。视频将此作为需要绘制或理解的核心对象呈现。

1. R 是一个交换环

2. R 含单位元

3. I 取遍 R 的所有素理想

1. 字幕依据
   观察依据

   屏幕文字显示“例：Z”。

2. 声音
   观察依据

   主讲人指出整数构成一个环，该环是交换环，且包含单位元1。

示例环是整数环 $\mathbb{Z}$。主讲人通过指出 $\mathbb{Z}$ 是交换环且具有单位元1，明确验证了前述定义所需的前提条件。

1. 在谱（spectrum）的定义中，将 $\mathbb{Z}$ 用作环 R

1. 交换环的谱的定义

1. 字幕依据
   观察依据

   屏幕文字显示“素理想：(0), (p)”，其下方标注“p 是素数”。

2. 声音
   观察依据

   主讲人指出，整数环中的素理想由素数生成的主理想以及零理想给出。

在 $\mathbb{Z}$ 中，片段中提到的素理想是零理想(0)以及由素数 p 生成的主理想(p)。本条提供了写出 Spec Z 所需的具体成分。

1. 在整数环 $\mathbb{Z}$ 中进行运算

2. p 是一个素数

1. 作为含单位元的交换环的整数

1. 字幕依据
   观察依据

   屏幕公式显示“Spec Z = {(0), (2), (3), ...}”。

2. 声音
   观察依据

   主讲人将所得集合总结为：由素数生成的理想的全体，再加上零理想。

将一般定义应用于 R = ℤ，得到屏幕上所列的素理想集合。省略号表示该集合继续包含更多由素数生成的理想，超出图中已列出者。

1. 使用紧邻此公式之前所列出的 ℤ 的素理想

1. 交换环的谱的定义
2. 整数环的素理想

1. 声音
   观察依据

   “因此我们勾勒那个对象的方式，实际上将表现为一系列离散的点。但这些点彼此并不相同。”

2. 图示
   观察依据

   屏幕上出现一排彼此分离的橙色圆点，分别标有（2）、（3）、（5）、（7）、……

本片段中，主讲人将谱（spectrum）草绘为一组互不相同的点。对于ℤ，可见的点对应于素理想，最初展示的是由素数生成的非零素理想。

1. 该解释以视觉化、非正式的方式呈现，而非给出完整的严格定义。

1. 声音
   观察依据

   “因此在这种情况下，这样的素理想被称为极大理想。所以，每当你从Spec R中选取一个由极大理想给出的点时，该点就被称为闭点。”

2. 图示
   观察依据

   红色箭头将(2)、(3)、(5)……标记为“闭点”。

与极大理想相对应的Spec R中的点称为闭点。在Spec ℤ这个例子中，理想(2)、(3)、(5)、(7)……被视为闭点，因为它们都是极大理想。

1. 该环是交换环。

2. 该点必须对应一个极大理想。

1. Spec R 的示意图，以离散点形式呈现

1. 声音
   观察依据

   “但零理想呢？若你将ℤ对零理想取商，得到的仍是ℤ本身。而ℤ是一个整环，却不是一个域。因此，点O被称为一般点。”

2. 图示
   观察依据

   红色箭头将(0)标记为“一般点”。

1. 语音转录稿中说的是“点O”，但黑板上明确写的是(0)；此处意指零理想。

对应于零理想的点与闭点相区别。因为 ℤ/(0) ≅ ℤ 是一个整环但不是域，所以 (0) 不是极大理想，主讲人称其对应的点为“泛点”。

1. 此处用于 R = ℤ。

2. 该理想的商环不是域，因此该理想不是极大理想。

1. 闭点来自极大理想。

1. 公式
   观察依据

   黑板上写着“Spec ℤ = {(0), (2), (3), ...}”。

2. 图示
   观察依据

   最终合成图像将 (0) 置于素理想点所在行的上方，并将 (0) 标注为“泛点”，其余点标注为“闭点”。

对整数而言，其谱被写成素理想集合 \{(0),(2),(3),$\ldots$\}。图示将泛点 (0) 与来自素数的闭点分离开来。

1. 这是具体例子 R = ℤ。

1. Spec R 的示意图，以离散点形式呈现
2. 闭点来自极大理想。
3. 来自零理想的一般点

1. 声音
   观察依据

   “之所以如此，是因为若考虑零的闭包，则该闭包将是整个空间。因此在某种意义上，零与你空间中所有其他点都‘极其接近’。”

主讲人解释为何 (0) 特殊：它的闭包是整个 Spec ℤ。这正是称其为‘泛点’并将其置于其他点‘上方’的直观原因。

1. 此处作为例子 Spec ℤ 的一个解释性性质被提出。

1. 来自零理想的一般点
2. Spec ℤ 的显式描述

1. 声音
   观察依据

   说话人说：“零理想是素理想，原因是整数构成整环。”

2. 字幕依据
   观察依据

   屏幕上的列表将（0）列为 ℤ 的素理想之一。

零理想（0）是 ℤ 的素理想，因为 ℤ 是一个整环。

1. 在环 ℤ 中进行运算

2. ℤ 是一个整环

针对整数这一特定环。

1. 声音
   观察依据

   主讲人指出，整数构成一个环，该环是交换环，且包含单位元，即一。

整数构成一个具有单位元1的交换环，因此谱的定义适用于ℤ。

1. 考虑环ℤ

针对整数环。

1. 声音
   观察依据

   如果你取任意一个素数，并考虑其对应的整数环商环，例如3Z，那么你将得到一个域。此时，该素理想被称为极大理想。

1. 讲话者非正式地陈述了判据，并举了一个例子3；一般性结论从上下文中清晰可见，但屏幕上未给出形式化证明。

对任一素数p，商环ℤ/pℤ是一个域，因此理想(p)是极大理想。

1. p是一个素数。

2. 所讨论的环是ℤ。

针对例子中提到的每一个素数p。

1. 声音
   观察依据

   如果你用整数环Z对零理想作商，你将得到Z自身。而Z是一个整环，但Z不是一个域。

ℤ/(0) ≅ ℤ是一个整环但不是域，因此(0)不是ℤ的极大理想。

1. 该环是ℤ。

2. 此处是对零理想(0)作商。

关于整数环 ℤ 中单个理想（0）的具体陈述。

1. 声音
   观察依据

   如果你考虑零点的闭包，那么该闭包就是整个空间。

1. 证明留待下一个视频；此处仅陈述结论。

点（0）在 Spec ℤ 中的闭包是整个空间。

1. 在 Spec ℤ 中进行讨论。

关于单个点（0）的全局拓扑陈述。

1. 字幕依据
   观察依据

   视频片段从“例子：ℤ”开始，接着显示“素理想：(0)、(p)”，然后显示“Spec ℤ = {(0), (2), (3), ...}”。

2. 声音
   观察依据

   主讲人首先验证ℤ是一个具有单位元的交换环，接着列出它的素理想，最后写出其谱。

1. 公式

   $$$$
   解释

   从具有单位元的交换环的谱的一般定义出发。

   步骤依据

   这是视频片段中早先引入的定义。

   视频直接表达
2. 公式

   $$R = \mathbb{Z}$$
   解释

   将该定义特化为以整数环作为示例。

   步骤依据

   主讲人明确选择整数作为简单示例。

   视频直接表达
3. 公式

   $$\text{prime ideals of }\mathbb{Z}: (0), (p),\ p\text{ prime}$$
   解释

   确定将构成Spec ℤ的素理想。

   步骤依据

   该内容在音频中直接陈述，并在屏幕上显示。

   视频直接表达
4. 公式

   $$\operatorname{Spec} \mathbb{Z} = \{(0), (2), (3), \ldots\}$$
   解释

   将这些素理想收集到谱集中。

   步骤依据

   将定义直接应用于所列出的素理想。

   视频直接表达

整数环的谱是由零理想与由素数生成的主理想共同构成的集合，表示为{(0), (2), (3), ...}。

1. 声音
   观察依据

   主讲人首先通过模素理想的商来识别这些素理想为极大理想，从而是闭点；然后将此与模（0）的商作对比。

2. 图示
   观察依据

   黑板上将（0）单独标注为“泛点”，而将素理想对应的点标注为“闭点”。

1. 公式

   $$\mathbb{Z}/p\mathbb{Z} \text{ is a field for prime } p$$
   解释

   主讲人取一个素数，并构造 ℤ 关于对应理想的商。

   步骤依据

   音频中直接陈述了该理想是极大理想的理由。

   视频直接表达
2. 公式

   $$(p) \text{ maximal} \Rightarrow (p) \text{ gives a closed point}$$
   解释

   随后利用极大性将谱中对应的点分类为闭点。

   步骤依据

   口头给出的定义：来自极大理想的点称为闭点。

   视频直接表达
3. 公式

   $$\mathbb{Z}/(0) \cong \mathbb{Z}$$
   解释

   主讲人接下来对零理想作商，并指出结果没有任何变化：得到的仍是ℤ本身。

   步骤依据

   音频中直接陈述。

   视频直接表达
4. 公式

   $$\mathbb{Z} \text{ is an integral domain but not a field}$$
   解释

   这表明（0）未能通过用于素理想的极大性检验。

   步骤依据

   音频中直接陈述。

   视频直接表达
5. 公式

   $$(0) \text{ is called a generic point}$$
   解释

   由于它不是极大的，零理想在图中被单独赋予一个不同的名称。

   步骤依据

   该结论由主讲人得出，并通过屏幕上的标签加以强化。

   视频直接表达

在Specℤ中，非零素理想给出闭点，而（0）给出泛点。

1. 声音
   观察依据

   “你会得到零，它会像位于顶部一样，而零会是一片云。之所以如此，是因为若考虑零的闭包，则其闭包将是整个空间。”

2. 图示
   观察依据

   最终的合成图板将（0）置于闭点所在行的上方。

1. 关于闭包命题的详细证明明确推迟到下一视频中讲解。

1. 公式

   $$\text{Draw } (0) \text{ above } (2),(3),(5),\ldots$$
   解释

   这种视觉布局将特殊点与离散排列的闭点分离开来。

   步骤依据

   在最终的复合图中可直接看出。

   视频直接表达
2. 公式

   $$\overline{\{(0)\}} = \operatorname{Spec}\mathbb{Z}$$
   解释

   主讲人解释说，（0）的闭包是整个空间，因此它‘超级靠近’其他每一个点。

   步骤依据

   主讲人口头陈述了这种特殊位置安排的原因。

   视频直接表达

图示将（0）置于顶部，因为它的闭包包含了$\operatorname{Spec}\mathbb{Z}$的所有其他点。

1. 字幕依据
   观察依据

   屏幕文字依次显示“例：Z”，然后“素理想：(0), (p)”，再“Spec Z = {(0), (2), (3), ...}”。

2. 声音
   观察依据

   说话者表示将给出整数环的谱的一个简单例子，随后描述了该结果。

求整数环 $\mathbb{Z}$ 的谱。

1. $\mathbb{Z}$ 是一个具有单位元1的交换环。

2. $\mathbb{Z}$ 的素理想是(0)以及对每个素数 p 对应的(p)。

明确写出 $\operatorname{Spec} \mathbb{Z}$。

1. 公式

   $$\mathbb{Z}\text{ is commutative \text{且} has identity }1$$
   解释

   验证该例中的环满足谱定义所需的条件。

   步骤依据

   由说话者陈述。

   视频直接表达
2. 公式

   $$\text{prime ideals: }(0), (p),\ p\text{ is prime}$$
   解释

   列出属于该谱的素理想。

   步骤依据

   由主讲人口述并显示在屏幕上。

   视频直接表达
3. 公式

   $$\operatorname{Spec} \mathbb{Z} = \{(0), (2), (3), \ldots\}$$
   解释

   将谱构成为这些素理想的集合。

   步骤依据

   直接代入Spec R的定义。

   视频直接表达

ℤ 的谱 = {(0), (2), (3), …}

答案与视频片段末尾屏幕上显示的公式一致。

1. 公式
   观察依据

   黑板上首先列出（2）、（3）、（5）、（7）、……，随后写出Spec Z = {(0), (2), (3), ……}。

2. 声音
   观察依据

   主讲人用素数2、3、5以及零理想来解释谱的结构。

用素理想描述$\operatorname{Spec}\mathbb{Z}$，并阐明（0）所起的特殊作用。

1. 该环是$\mathbb{Z}$。

2. 素数生成理想（2）、（3）、（5）、（7）、……

3. 零理想是（0）。

标出 Specℤ 的各点，并将其分类为闭点或泛点。

1. 公式

   $$\operatorname{Spec}\mathbb{Z} = \{(0),(2),(3),\ldots\}$$
   解释

   将谱写成 ℤ 的素理想的集合。

   步骤依据

   直接显示在黑板上。

   视频直接表达
2. 公式

   $$(2),(3),(5),(7),\ldots \text{ are closed points}$$
   解释

   这些点来自极大理想，因为对它们取商所得的是域。

   步骤依据

   通过口头讲解并在黑板上标注。

   视频直接表达
3. 公式

   $$(0) \text{ is the generic point}$$
   解释

   对（0）取商得到 ℤ，而 ℤ 不是域，因此（0）不是极大理想。

   步骤依据

   通过口头讲解并在黑板上标注。

   视频直接表达
4. 公式

   $$\overline{\{(0)\}} = \operatorname{Spec}\mathbb{Z}$$
   解释

   泛点的闭包是整个空间，这解释了它在示意图中处于特殊顶部位置的原因。

   步骤依据

   在视频片段末尾附近口头陈述。

   视频直接表达

Specℤ 由泛点（0）以及闭点（2）、（3）、（5）、（7）、……组成。

该分类与屏幕上的标签一致：（0）标为“泛点”，素理想对应的点标为“闭点”。

1. 字幕依据
   观察依据

   出现一张标题卡片，上面写着“非正式讲座：环R的谱”，并附有一幅示意图，标有“Spec(R)”的箭头指向一个包含若干点的椭圆。

1. 标题文字：“非正式讲座：环R的谱”

2. 手写体“Spec(R)”

3. 含多个点的椭圆示意图

1. 标题卡片短暂覆盖主讲人画面，随后消失。

1. 本节主题仍是环的谱。

画面引出本讲主题，并将 Spec(R) 视为一种可作图示的集合类对象。

1. 字幕依据
   观察依据

   逐层手写覆盖依次显示：“R 是含单位元的交换环”，接着是“理想 ⇒ 素理想”，最后是“Spec R = { I | I 是 R 的素理想 }”。

1. 手写标注框

2. Spec R 的公式

1. 屏幕画面从关于 R 的假设出发，过渡到仅考虑素理想，再进一步展开为完整的集合构造式定义。

1. 所有覆盖内容均围绕谱的同一定义展开。

动画以逻辑方式组织该定义：先明确背景环，再限定为素理想，最后将这些素理想汇集为一个集合。

1. 字幕依据
   观察依据

   覆盖内容依次推进：从“例：ℤ”到“素理想：(0), (p)”，并注明“p 是素数”，最终呈现“Spec ℤ = {(0), (2), (3), …}”。

1. ℤ 的示例标签

2. 素理想列表

3. ℤ 的谱的最终公式

1. 该例题从选取环出发，进而列出其素理想，最后写出所得的谱。

1. 该例题始终一致地应用此前定义的谱的概念。

可视化演示展示了：一旦确定了某个具体环的素理想，抽象定义便转化为具体对象。

1. 图示
   观察依据

   白色覆盖层显示一行水平排列的四个橙色圆点，分别标注为（2）、（3）、（5）、（7），其后跟省略号。

1. 橙色圆点

2. 标签（2）、（3）、（5）、（7）

3. 表示继续的省略号

1. 黑板首先仅呈现非零素理想，各自作为独立的点。

1. 每个圆点代表一个理想。

2. 这些点在视觉上彼此分离，尚未用线条连接。

这先将谱引入为一组互异的点，再额外加入特殊的零理想。

1. 图示
   观察依据

   一个新的标签（0）出现在该行上方，同时一条波浪形橙色线横贯顶部。

1. 标签（0）

2. 波浪形橙色线

3. 已有行（2），（3），（5），（7），……

1. 零理想被插入到先前绘制的点上方。

2. 波浪线在空间中直观地连接上层。

1. 下方素理想点的行保持不变。

该图示开始区分（0）与其下方的离散闭点。

1. 公式
   观察依据

   黑板上写着“Spec Z = {（0），（2），（3），……}”。

2. 图示
   观察依据

   红色箭头将（0）标注为“泛点”，并将下方各点标注为“闭点”。

1. 等式 Spec Z = {（0），（2），（3），……}

2. 指向（0）的红色箭头

3. 指向（2），（3），（5），……的红色箭头

1. 非正式的示意图被转化为明确的集合记号。

2. 为这两类点分别赋予术语名称。

1. 底层的点仍是此前已引入的那些理想。

这是本片段的核心概念总结：Spec Z 是由一个泛点和多个闭点构成的素理想集合。

1. 图示
   观察依据

   最终的合成图像将顶部的波浪线与（0）、行（2）、（3）、（5）、（7）、……、方程 Spec Z = {（0）、（2）、（3）、……}，以及红色标签“泛点 / 闭点”组合在一起。

1. 顶部波浪线及（0）

2. 闭点排成的一行

3. Spec Z 的集合等式

4. 红色分类标签

1. 所有先前的视觉元素被合并到一张总结图板中。

1. （0）位于其余各点的上方。

2. 闭点保持在一条水平的离散行上。

最终图像同时编码了代数描述与拓扑直观，即0位于整个空间之上，并在该空间中稠密。

1. 动画
   观察依据

   一个蓝色圆圈在讲话者周围扩张，并过渡到一张深色结束卡片，上面写着“感谢观看！”

1. 蓝色扩张圆圈

2. 深色背景

3. 文字：感谢观看！

1. 讲座画面被一张结束图形取代。

1. 此时间段内未添加任何数学内容。

这是一个非数学性的结束段落。

1. 声音
   观察依据

   主讲人明确解释了为何零理想属于整数环的素理想。

人们可能认为，只有由素数生成的理想才算整数环 ℤ 中的素理想。

该片段指出，(0) 也是一个素理想，因为 ℤ 是一个整环。

1. 声音
   观察依据

   在指出素数理想给出闭点之后，讲话者立即提问：“但零理想呢？”，并解释它有所不同。

人们可能会认为，Spec R 中对应于素理想的全部点都是闭点。

在这个例子中，只有极大素理想（2）、（3）、（5）、……对应的点是闭点；（0）是素理想但不是极大理想，因此被称为泛点。

1. 声音
   观察依据

   零与空间中其他任意点都极为接近。

由于示意图将（0）画成一个单独分离的点，人们可能误以为它在拓扑意义上与其他点彼此隔离。

讲话者强调的恰恰相反：（0）的闭包是整个空间，因此它在很强的意义上与空间中其他任意点都极为接近。

1. 字幕依据
   观察依据

   视频首先定义 Spec R，然后立即将其应用于例子：ℤ。

2. 声音
   观察依据

   主讲人表示，将在给出定义之后举一个简单例子。

ℤ 的谱的显式公式，是将谱的一般定义应用于环 ℤ 而得到的。

1. 字幕依据
   观察依据

   整数环 ℤ 的素理想列表出现在 Spec ℤ 的最终公式之前。

2. 声音
   观察依据

   主讲人首先列出所有素理想，然后总结所得的集合。

写出 Spec ℤ 需要知道 ℤ 中哪些理想是素理想。

1. 声音
   观察依据

   主讲人在讨论 Spec ℤ 之前，先验证了整数构成一个含单位元的交换环。

谱的定义仅在确认 ℤ 满足所需环的假设条件之后才适用。

1. 声音
   观察依据

   讲话者将由极大理想确定的点定义为闭点。

极大理想给出闭点这一普遍规则，被应用于 Spec ℤ 中的理想（2）、（3）、（5）、……

1. 声音
   观察依据

   讲话者通过对比对（0）取商与对素理想取商，得出（0）是一个泛点。

泛点（0）是通过与闭点对比来定义的：它来自一个非极大的素理想。

1. 字幕依据
   观察依据

   谱的定义公式显示在屏幕上。

2. 声音
   观察依据

   主讲人将谱定义为所有素理想的集合。

1. 交换环的谱的定义

1. 声音
   观察依据

   主讲人解释了为什么零理想在整数中是素理想。

1. 整数环的素理想
2. 为什么（0）在 ℤ 中是素理想

1. 字幕依据
   观察依据

   Spec ℤ 的最终公式被明确展示出来。

1. Spec ℤ 的显式描述
2. 计算 Spec Z

1. 公式
   观察依据

   黑板文字：Spec ℤ = {（0），（2），（3），……}

1. Spec ℤ 的显式描述

1. 声音
   观察依据

   由极大理想给出的点称为闭点。

1. 闭点来自极大理想。
2. 整数环Z中的素理想(p)是极大理想。

1. 声音
   观察依据

   $Z/(0)$ 就是 Z 本身，是一个整环但不是域，因此（0）被称为泛点。

1. 来自零理想的一般点
2. Z的零理想不是极大理想。

1. 声音
   观察依据

   零理想的闭包是整个空间。

1. 泛点的闭包是整个空间
2. 理想（0）的闭包等于 Spec ℤ 的全部。