同余与商代数

为何子对象还不够

对群，你按正规子群作商；对环，按理想作商。它们看似不同的机制，实则在做同一件事：指定*哪些元素被粘合在一起*。描述商的诚实对象，是 A 上一个与运算相容的等价关系 θ。这样的 θ 称为同余，它对每个签名都适用——甚至对格或半群这类不存在“核作为子集”描述的结构也适用。

具体地说，θ ⊆ A × A 是同余，如果它是等价关系且*相容*：对每个 n 元运算 ω，只要对所有 i 有 aᵢ θ bᵢ，就有 ω(a₁,…,aₙ) θ ω(b₁,…,bₙ)。相容性恰恰是无歧义地在等价类上定义运算所需的条件。于是商代数 A/θ 以各类 [a]_θ 为底集，规定 ω([a₁],…,[aₙ]) := [ω(a₁,…,aₙ)]，而投影 a ↦ [a] 是满同态。

同构定理，一劳永逸

每个同态 f: A → B 都有一个核同余 ker f := { (a, a′) : f(a) = f(a′) }。它总是同余（直接由同态性质验证相容性）。于是第一同构定理无需任何按结构的改动即可读出：A / ker f ≅ image(f)，经由 [a] ↦ f(a)。第一卷中关于商环与关于群的定理，正是同一命题在两个签名下的读法。

Lattice example where congruences, not subobjects, run the show.
Let L be the chain 0 < a < b < 1 (a 4-element lattice, join = max, meet = min).

Define theta by collapsing a and b together, keeping 0 and 1 apart:
  classes:  {0},  {a, b},  {1}

Check compatibility for join (max) and meet (min):
  a theta b. Take join with 1:  a v 1 = 1,  b v 1 = 1.  1 theta 1.  OK
  a theta b. Take meet with 0:  a ^ 0 = 0,  b ^ 0 = 0.  0 theta 0.  OK
  a theta b. join with a:       a v a = a,  b v a = b.  a theta b.  OK
Every operation respects theta, so theta is a congruence.

Quotient L/theta is the 3-element chain  {0} < {a,b} < {1}.
The projection L -> L/theta is a surjective lattice homomorphism, and
there is NO subset of L whose 'class of bottom' alone records this gluing
-- you genuinely need the relation theta itself.

在格中，商由整个同余编码，而非由单个特殊类编码。

同余格

A 上所有同余构成的集合 Con(A)，按包含序排列，本身就是一个格——事实上是完备格：同余的任意交仍是同余（故下确界存在），而一族同余的并所生成的最小同余即为其上确界。最底元是对角 Δ = { (a,a) }（此时 A/Δ ≅ A），最顶元是 A × A（此时 A/(A×A) 是单元素代数）。Con(A) 的结构是一个深刻的不变量；例如 A 在泛代数意义下单，当且仅当 Con(A) 恰有两个元素。