1: \begin{definition}

2: Suppose that $R$ is a normal Cohen-Macaulay ring and that $\Phi_R : \omega_{R^{1/p}} = F_* \omega_R \to \omega_R$ is the canonical dual of Frobenius, see Theorem \ref{thm.TransformationRuleCanonicalModulesFiniteMaps}.  We say that $R$ has \emph{$F$-rational singularities} if there are no non-zero proper submodules $M \subseteq \omega_R$ such that $\Phi_R(F_* M) \subseteq M$.

3: \end{definition}

4: