Regular sequence on a module: Difference between revisions

Revision as of 21:44, 16 March 2008

Definition

Let $R$ be a commutative unital ring, $M$ a $R$ -module, and $x_{1},x_{2},\ldots ,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},\ldots ,x_{n})M\neq M$
For $1\leq i\leq n$ , $x_{i}$ is a nonzerodivisor on $M/(x_{1},x_{2},\ldots ,x_{i-1})$

Facts

If $R$ is a Noetherian local ring and $x_{1},x_{2},\ldots ,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. In general, a permutation of a regular sequence need not be regular. For full proof, refer: Permutation of regular sequence is not necessarily regular

Revision as of 21:37, 16 March 2008 (view source) Vipul (talk \| contribs) (→‎Definition) ← Older edit		Revision as of 21:44, 16 March 2008 (view source) Vipul (talk \| contribs) No edit summary Newer edit →
Line 8:		Line 8:
	==Facts==		==Facts==

	If <math>R</math> is a [[Noetherian ring\|Noetherian]] [[local ring]] and <math>x_1, x_2, \ldots, x_n</math> form a regular sequence in its unique [[maximal ideal]], then any permutation of the <math>x_i</math>s also forms a regular sequence in the maximal ideal.		If <math>R</math> is a [[Noetherian ring\|Noetherian]] [[local ring]] and <math>x_1, x_2, \ldots, x_n</math> form a regular sequence in its unique [[maximal ideal]], then any permutation of the <math>x_i</math>s also forms a regular sequence in the maximal ideal. In general, a permutation of a regular sequence need not be regular. {{proofat\|[[Permutation of regular sequence is not necessarily regular]]}}