1: \begin{definition}[{\it cf.} Definition 3.16 and Theorem 3.18 in \cite{SchwedeTestidealsinnonQ-Gorensteinrings}]

2: \label{definition--test ideals}

3: Let $R$ be an $F$-finite noetherian integral domain of characteristic $p$. Let $I\subseteq R$ be a nonzero ideal and $t\in \Q_{\geq 0}$. We define the \textit{test ideal} $\tau(R, I^t)$, abbreviated $\tau(I^t)$, to be the unique smallest nonzero ideal $J\subseteq R$ such that $\phi(F^e_*(I^{\lceil t(p^e-1)\rceil}J))\subseteq J$ for all $e>0$ and all $\phi\in\Hom_R(F^e_*R, R)$.

4: \end{definition}

5: