Chinese remainder theorem
これは有限生成アーベル群の基本定理の特別の場合（階数 の場合）である。位数 の巡回群 が と の直和に同型となるための必要十分条件は と が互いに素となることである（中国の剰余定理）。これにより任意の有限アーベル群 が