ormula_34，则称该集合为模formula_15的最小余数系统（）。模formula_15完整余数系统中，与模formula_15互质的代表数所构成的集合，称为模formula_15的简约余数系统（），其元素个数记为formula_39，亦即欧拉函数。例如，模formula_40的简约余数系统为formula_41或formula_42。如果模formula_15是质数，那么它的最小简约余数系统是formula_44，只比最小余数系统少一个formula_45。
性质.S