Language: Japanese
と定めると ι は単射で、e において m   n   m  n  および m  × n   mn  が成り立つ（さらに ι   であるから ι は単位的環の準同型となる）から z は ι によって演算まで込めて q に埋め込まれる。そこで整数 m と剰余類 m とを同一視して q は z を含むものと考える。