Fdtxjr

Bob has never been a M before

Customize circled numbers

How do ground effect vehicles perform turns?

Drawing ramified coverings with tikz

How do I implement a file system driver driver in Linux?

What does this horizontal bar at the first measure mean?

Are lightweight LN wallets vulnerable to transaction withholding?

Has Darkwing Duck ever met Scrooge McDuck?

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

Folder comparison

Why did the HMS Bounty go back to a time when whales are already rare?

Two-sided logarithm inequality

Difference between -| and |- in TikZ

Why did the EU agree to delay the Brexit deadline?

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

Why does Async/Await work properly when the loop is inside the async function and not the other way around?

Could the E-bike drivetrain wear down till needing replacement after 400 km?

Wrapping Cryptocurrencies for interoperability sake

How much character growth crosses the line into breaking the character

What is the difference between "Do you interest" and "...interested in" something?

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

Is it improper etiquette to ask your opponent what his/her rating is before the game?

Is a model fitted to data or is data fitted to a model?

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

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