域論/商域

定義（商域）:

令 $R$ 為一個整環。 $R$ 的 **商域**，通常記為 $\operatorname {Frac} (R)$，定義為形式分數的域

$\left\{{\frac {a}{b}}|a\in R,b\in R^{\times }\right\}$,

以及由以下公式給出的乘法和加法運算

${\frac {a}{b}}{\frac {c}{c}}:={\frac {ac}{bd}}$ 和 ${\frac {a}{b}}+{\frac {c}{d}}:={\frac {ad+cb}{bd}}$.