Китайская теорема об остатках
Китайская теорема об остатках утверждает, что:
Для любого набора попарно взаимно простых целых чисел a_1,a_2,\dots,a_n найдется целое число x, дающее заданные остатки при делении его на каждое из a_1,a_2,\dots,a_n. |
Эта теорема была известна еще в Древнем Китае, с чем и связано её название.
Теорема легко обобщается на случай ассоциативного и коммутативного кольца с единицей.