Regular sequence on a module

Definition

Let $R$ be a commutative unital ring, $M$ a $R$-module, and $x_1,x_2,\dots ,x_n$ be a sequence of elements in $R$. We say that the $x_i$s form a regular sequence on $M$ if the following two conditions hold:

• $(x_1,x_2,\dots ,x_n)M\ne M$
• For $1\le i\le n$, $x_i$ is a nonzerodivisor on $M/(x_1,x_2,\dots ,x_{i-1})$

Facts

If $R$ is a Noetherian local ring and $x_1,x_2,\dots ,x_n$ form a regular sequence in its unique maximal ideal, then any permutation of the $x_i$s also forms a regular sequence in the maximal ideal.