代数系の同型

代数学では、直接包含関係がなくても、つながりが必要な場合があります。今回は、同型を通した部分環の同一視を考えます。