モジュラ逆数
合同算術におけるモジュラ逆数（モジュラぎゃくすう、）は、与えられた整数 と法 に関して
という関係にある整数 の属する合同類（あるいはその標準的な代表元）をいう。即ち、整数の法 に関する合同類環 formula_2 における乗法逆元である。この式は
と書いても同じである。ある種の応用においては、モジュラ逆数 が formula_2 に属さないような場合を考えることもある。
 の を法とする逆数が存在するための必要十分条件は と とが互いに素（即ち、最大公約数 が ）となることである。法 に関する のモジュラ逆数が存在するならば、 を法とした による除法（「余り付き除法」ではない）を、モジュラ逆数を掛けることとして定義することができる。