Fdtxjr

Multi tool use

My friend sent me a screenshot of a transaction hash, but when I search for it I find divergent data. What happened?

Query about absorption line spectra

Is possible to search in vim history?

Greco-Roman egalitarianism

Can a significant change in incentives void an employment contract?

A social experiment. What is the worst that can happen?

Can the Supreme Court overturn an impeachment?

How do ground effect vehicles perform turns?

How much character growth crosses the line into breaking the character

How to align and center standalone amsmath equations?

On a tidally locked planet, would time be quantized?

How do I extrude a face to a single vertex

Ridge Regression with Gradient Descent Converges to OLS estimates

How do I repair my stair bannister?

Can somebody explain Brexit in a few child-proof sentences?

How will losing mobility of one hand affect my career as a programmer?

Do Legal Documents Require Signing In Standard Pen Colors?

How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?

Has Darkwing Duck ever met Scrooge McDuck?

How to color a curve

A Permanent Norse Presence in America

Can I use my Chinese passport to enter China after I acquired another citizenship?

Should I install hardwood flooring or cabinets first?

Divine apple island

On finiteness of $cup_nge 1 operatornameAss_R (R/I^n)$

$M$ is $bigcap operatornameAss(M)$-primaryUnion of Associated Primes being finite.Associated primes of a quotient module.Projective dimension zero or infinityDepth zero module and $R$-regular elementIf $P in operatornameAssM$, then $R/P subset M$.Equivalence of two definitions of primary idealsConverse of a commutative algebra theorem related to associated prime idealsPathological examples of finitely generated modulesIf $ operatornameAss(M)= operatornameAssh(M)$, then $M$ is a Cohen-Macaulay $R$-module?

1

$begingroup$

Let $I$ be an ideal of a commutative noetherian ring $R$.

How to prove that $bigcup_nge 1 operatornameAss_R (R/I^n)$ is finite ?

I am aware of Brodmann's result about Asymptotic stability of $operatornameAss_R(M/I^nM)$ for finitely generated module $M$ over commutative Noetherian ring $R$ , but I am trying to prove the claim in a direct, elementary way. I am, of course, allowed to use primary decomposition.

I can see that $Ass_R (bigoplus_n ge 1 R/I^n)=bigcup_nge 1 operatornameAss_R (R/I^n)$, however since $bigoplus_n ge 1 R/I^n$ is not finitely generated, I'm not sure if it is helpful here or not ...

Please help

ring-theory commutative-algebra modules noetherian primary-decomposition

share|cite|improve this question

edited Mar 18 at 5:59

user521337

asked Mar 16 at 9:48

user521337user521337

1,2061417

$endgroup$

add a comment | 

1

$begingroup$

Let $I$ be an ideal of a commutative noetherian ring $R$.

How to prove that $bigcup_nge 1 operatornameAss_R (R/I^n)$ is finite ?

I am aware of Brodmann's result about Asymptotic stability of $operatornameAss_R(M/I^nM)$ for finitely generated module $M$ over commutative Noetherian ring $R$ , but I am trying to prove the claim in a direct, elementary way. I am, of course, allowed to use primary decomposition.

I can see that $Ass_R (bigoplus_n ge 1 R/I^n)=bigcup_nge 1 operatornameAss_R (R/I^n)$, however since $bigoplus_n ge 1 R/I^n$ is not finitely generated, I'm not sure if it is helpful here or not ...

Please help

ring-theory commutative-algebra modules noetherian primary-decomposition

share|cite|improve this question

edited Mar 18 at 5:59

user521337

asked Mar 16 at 9:48

user521337user521337

1,2061417

$endgroup$

add a comment | 

$begingroup$

Let $I$ be an ideal of a commutative noetherian ring $R$.

How to prove that $bigcup_nge 1 operatornameAss_R (R/I^n)$ is finite ?

I am aware of Brodmann's result about Asymptotic stability of $operatornameAss_R(M/I^nM)$ for finitely generated module $M$ over commutative Noetherian ring $R$ , but I am trying to prove the claim in a direct, elementary way. I am, of course, allowed to use primary decomposition.

I can see that $Ass_R (bigoplus_n ge 1 R/I^n)=bigcup_nge 1 operatornameAss_R (R/I^n)$, however since $bigoplus_n ge 1 R/I^n$ is not finitely generated, I'm not sure if it is helpful here or not ...

Please help

ring-theory commutative-algebra modules noetherian primary-decomposition

share|cite|improve this question

edited Mar 18 at 5:59

user521337

asked Mar 16 at 9:48

user521337user521337

1,2061417

$endgroup$

share|cite|improve this question

edited Mar 18 at 5:59

user521337

asked Mar 16 at 9:48

user521337user521337

1,2061417

share|cite|improve this question

edited Mar 18 at 5:59

user521337

asked Mar 16 at 9:48

user521337user521337

1,2061417

asked Mar 16 at 9:48

user521337user521337

1,2061417

asked Mar 16 at 9:48

user521337user521337

1,2061417