域论/商域

定义（商域）:

令 $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}}$.