Chinese remainder theorem
ある環は、それが別の環の中に実現されるとき、部分環と呼ばれる。また、環の間の写像であって、環の演算を保つものは、環準同型と呼ばれる。全ての（単位的）環と環準同型を合わせて考えたものは、（単位的）環の圏とよばれる圏を成す。環論において重要な概念であるイデアルは、環準同型の核として得られる特定の種類の部分集合であり、剰余環を定義するのに用いられる。イデアル、準同型および剰余環についての基本的な事実は、準同型定理および中国の剰余定理として述べることができる。