Definition 4.1 . [0395] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 9 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context · Original author HTML
Definition 4.1 .
[BMS08 , Def. 2.9]
Given an ideal 𝔞 {\mathfrak{a}} in 𝒪 X {\mathcal{O}}_{X} and λ ∈ ℝ ≥ 0 \lambda\in\mathbb{R}_{\geq 0}
one defines the test ideal of 𝔞 {\mathfrak{a}} of exponent λ \lambda to be
τ ( 𝔞 λ ) := ⋃ e ∈ ℕ > 0 ( 𝔞 ⌈ λ p e ⌉ ) [ 1 / p e ] \tau({\mathfrak{a}}^{\lambda}):=\bigcup_{e\in\mathbb{N}_{>0}}\Bigl({\mathfrak{a}}^{\lceil\lambda p^{e}\rceil}\Bigr)^{[1/p^{e}]}
where given r ∈ ℝ r\in\mathbb{R} we write ⌈ r ⌉ \lceil r\rceil
for the smallest integer ≥ r \geq r .