形式ファイバー

$(A, \mathfrak{m})$ を Noether 局所環、$\mathfrak{p}$ をその素イデアル、$\kappa(\mathfrak{p}) = A_\mathfrak{p}/\mathfrak{p}A_\mathfrak{p}$ を剰余体とする。環 $\widehat{A} \otimes_A \kappa(\mathfrak{p})$ を $\mathfrak{p}$ における $A$ の形式ファイバーという。