商环

从环同态、理想和商环出发，整理整环、高斯整数与分式域的基本构造。