1: \begin{definition}

2:   Suppose $(R,\m)$ is an $F$-finite local ring

3:  and

4: $\sD$ is an $F$-pure Cartier subalgebra on $R$ with $F$-splitting prime $P_{\sD}$.

5: The \emph{$F$-splitting dimension of $(R, \sD)$}, denoted $\sdim(R, \sD)$, is the common value of the following equivalent expressions:

6: 

7: \begin{center}

8: \begin{tabular}{l@{\hspace{3mm}}c@{\hspace{.5cm}}l@{\hspace{3mm}}c}

9: (a) &$\sup \left\{ \; \delta \in \R  \; \; \left| \displaystyle \; \; \liminf_{e \in \Gamma_{\sD} \to \infty}

10:  \frac{a_{e}^{\sD}}{p^{e(\delta+\alpha(R))}} > 0 \; \right. \right\}$ & (c) &$\dim(R / P_{\sD})$

11: \\

12: (b) &

13: $\max \left\{ \; \delta \in \Z  \; \; \left| \displaystyle \; \; \lim_{e \in \Gamma_{\sD} \to \infty}

14:  \frac{a_{e}^{\sD}}{p^{e(\delta+\alpha(R))}} > 0 \; \right. \right\}$

15: & (d) &  $\displaystyle \lim_{e \in \Gamma_{\sD} \to \infty} \left( \frac{\log_{p}

16:     a_{e}^{\sD}}{e} - \alpha(R) \right)$ \smallskip \\

17: \end{tabular}

18: \end{center}

19: Note that the equivalence of (a) - (d) follows immediately from Theorem~\ref{thm:splittingratio}, and in particular the expression in (a) takes only integer values.

20: \end{definition}

21: