See and [Lemma 3 page 300, MatCA].

Lemma 51.17.4. Let $(A, \mathfrak m)$ be a local ring. If $\mathfrak m = (x_1, \ldots , x_ r)$ and $x_1^{e_1}, \ldots , x_ r^{e_ r}$ are independent for some $e_ i > 0$, then $\text{length}_ A(A/(x_1^{e_1}, \ldots , x_ r^{e_ r})) = e_1\ldots e_ r$.

There are also:

• 2 comment(s) on Section 51.17: Frobenius action

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).