摘要
我们通过避免方案上的所有素数可逆来加强Gabber的$l'$-变换定理。特别地，我们证明了任何有限类型的方案$X$都可以通过$\mathrm{char}（X）$-变换进行去三角化，也就是说，变换的顺序只能被$X$上不可逆的素数整除。证明中的主要新成分是一个温和的蒸馏定理，该定理断言，在放大后，$X$的任何变化都可以分解为温和的伽罗瓦变化和$\mathrm{char}（X）$-变化的组合。蒸馏定理的证明基于我们从M.Pank的一个定理推导出的以下驯服性定理：如果剩余特征$p$的值域$k$没有非平凡的$p$-扩张，那么任何代数扩张$l/k$都是驯服的。
