可換環 A について、その冪零根基を と書くと は被約な環となる。 つまり が成立する。 これを A の被約化という（と思う）。 スキームについても、それぞれの開集合に対応した環の被約化をとることにより得られる環の前層を層化することにより、被約化が得…

を正の整数として、 が成立しているとする（ここで ）。 さらに たちは互いに素であるとする。 （実は coprime と pairwise coprime は意味が違うが、今は前者の意味である。） そうすると実は r は整数であることがわかる。 これは、整数の素因数分解の一意…