【抽象代数】11-分式域
# 嵌入
对于两个环 RRR 和 R′R'R′,若存在单射环同态 φ:R→R′\varphi : R \to R'φ:R→R′,则原环 RRR 同构于 φ(R)⊆R′\varphi(R) \subseteq R'φ(R)⊆R′,并且 φ(R)\varphi(R)φ(R) 为 R′R'R′ 的子环
这样一来,就可以视为在 R′R'R′ 中分析 RRR
此时称这个单射环同态为 嵌入 (Embedding)「埋め込み」
存在这样的嵌入时,称 环 RRR 可以嵌入到环...
more...



