定義
A を環、p を A の素イデアル、n > 0 を整数とする。
φ: A → A_p を標準射とする。
(p^n)A_p の φによる逆像を p^(n) と書く。
これを p の記号的 n-乗(symbolic n-th power)という。