2022-06-06

\(S\) を可換な整半環とする. \(T=S\,\backslash\{0\}\) とすると \(T\) は積閉集合である.この \(T\) による局所化 \(T^{-1}S\) は \(S\) を含む最小の半体となり, \(S\) の商半体(quotient semifield)と呼ばれる.また, \(\mathrm{Q}(S), \mathrm{Quot}(S)\) のように書いたりする.