2018-10-15 環の被約化 可換環 A について、その冪零根基を と書くと は被約な環となる。 つまり が成立する。 これを A の被約化という(と思う)。 スキームについても、それぞれの開集合に対応した環の被約化をとることにより得られる環の前層を層化することにより、被約化が得られる。 ここで、層化が必要なのかという疑問が出てくるが、例えば の についての直和をとると( は体)、関数 (の像)は層化する前は0ではない。 一方で、このスキームの被約化は無限個の普通の点の直和になっているので、被約化の後ではこの関数は0になっている。 もう少し微妙な例があると面白いのだが、よくわからなかった。