• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Radical of the annihilator is the intersection of associated primes

  • Thread starter Barre
  • Start date
34
0
1. Homework Statement
[itex]R,M[/itex] are Noetherian. Prove that the radical of the annihilator of an [itex]R[/itex]-module[itex]M[/itex], [itex]Rad(ann(M))[/itex]
is equal to the intersection of the prime ideals in the set of associated primes of [itex]M[/itex] (that is denoted so regretfully that I am not even allowed to spell it out by the system)

2. Homework Equations
This result is proved in exercises in Dummit and Foote by using tools like the support of [itex]M[/itex] and Zarski topology. In Hungerford, it appears early, just after definition of primary submodules, hence there should be a simple solution that I do not see.

Associated primes are such annihilators of elements of the module that the ideal is actually prime. Question comes up in the exercise section after introducing the notion of primary decomposition, without notion of ring spectrum, Zarski topology, module localizations and such.


3. The Attempt at a Solution
I am not looking for a solution, but just for a tip as where to start. It seems like the exercise should not be hard at all, but I've had some problems. One way inclusion is easy. Since annihilator of [itex]M[/itex] is the intersection of annihilators of all elements of [itex]M[/itex], annihilator of [itex]M[/itex] certainly is contained in every annihilator of an element, hence every associated prime. Radical of annihilator of [itex]M[/itex] is the set of prime ideals containing it, so it is at most as big as the intersection of associated primes.

And here I have my problem. I try a proof by contradiction, working with an element of the intersection of associated primes that is not in [itex]Rad(ann(M))[/itex]. Because of the characterization of the radical of an ideal as the intersection of prime ideals containing it, if the chosen element is not in the radical, then there must exist a prime ideal that contains the radical, but not the element itself. I'm thinking of deriving a contradiction there, could this be a way to go? For example, the section introduced primary decomposition, and annihilator of M has such a decomposition. How would it look?

Could anyone point me, gently, in the right direction?
 
21,992
3,272
Is this exercise 10 on page 387??

The exercise there only wants you to prove it for rings satisfying the ascending chain condition. In particular, they want you to use 9(b).
 
34
0
Is this exercise 10 on page 387??

The exercise there only wants you to prove it for rings satisfying the ascending chain condition. In particular, they want you to use 9(b).
You are right about which exercise it is. R is supposed to satisfy ACC, yes. Else associated primes would not have to exist. I will look into what 9(b) (the filtration) implies for this problem, thanks. I sort of gave up on using 9b after I 'assumed' that the prime ideals associated with the filtration do not necessarily have to be associated primes of the module.

PS: Are you an algebraist? Not that I post very advanced questions, but you have answered/helped me with like every single problem I ever posted here :)
 
Last edited:
21,992
3,272
You are right about which exercise it is. R is supposed to satisfy ACC, yes. Else associated primes would not have to exist. I will look into what 9(b) (the filtration) implies for this problem, thanks. I sort of gave up on using 9b after I 'assumed' that the prime ideals associated with the filtration do not necessarily have to be associated primes of the module.
I think that the ideals in the filtration are exactly the associated primes of the module.

PS: Are you an algebraist? Not that I post very advanced questions, but you have answered/helped me with like every single problem I ever posted here :)
I'm not an algebraist at all actually. I like analysis more :tongue2:
 
34
0
I had to work with associated primes of the quotients of M to solve 9b if I remember correctly. I will see if I can prove they are in this case contained in the set of associated primes of M. Thanks.
 
34
0
Well lets see. We got that if [itex]R,M[/itex] are both Noetherian (satisfying ascending chain conditions on ideals/modules), then we can obtain a filtration [itex]0 = M_0 \subset M_1 \subset M_2 \ldots \subset M_n = M[/itex] where each factor [itex]M_i/M_{i-1} \cong R/P_i[/itex] for some prime ideal [itex]P_i \subset R[/itex]. We construct this as follows. Let [itex]M_0 = 0[/itex]. Pick [itex]P_1 = ann(x) \in AP(M) = AP(M/M_0)[/itex], the set of associated primes of [itex]M[/itex]. Then there is a submodule of [itex]M[/itex] isomorphic to [itex]R/P_1 \cong Rx[/itex]. Let this be [itex]M_1[/itex]. Inductively, pick [itex]P_i \in AP(M/M_{i-1})[/itex] and let [itex]M_i[/itex] be the module such that [itex]R/P_i \cong M_i/M_{i-1}[/itex]. Then [itex]0 = M_0 \subset M_1 \subset \ldots[/itex] is an ascending chain which must stabilize. By construction, this happens when for some [itex]n, M_n = M[/itex]. Existence of associated prime for each quotient is a consequence of ACC property of the ring and module

Is it so that the prime ideals [itex]P_i[/itex] can be picked such that each [itex]P_i \in AP(M)[/itex] ? Equivalently, is [itex]AP(M) \cap AP(M/N)[/itex] always nonempty for arbitrary submodule [itex]N[/itex]? If yes, then we could work by induction. The statement was that if [itex]r \in R[/itex] is contained in all associated primes of [itex]M[/itex], then for each [itex]x \in M[/itex], [itex]r^nx = 0[/itex] for some [itex]n[/itex].

For each element [itex]x \in M[/itex] there is a least index [itex]i[/itex] such that [itex]x \in M_i[/itex] but [itex]x \not\in M_{i-1}[/itex]. Assume that for each [itex]a \in M_{i-1}, r^na = 0[/itex] for some [itex]n[/itex]. If [itex]a \in M_1 \cong R/P_1[/itex], then [itex]ra = 0[/itex] and this is the base of induction. Let [itex]x[/itex] be any element on [itex]M[/itex], [itex]x \in M_i, x \not\in M_{i-1}[/itex]. Then [itex] x + M_{i-1} \neq M_{i-1}[/itex]. Because [itex]M_i/M_{i-1} \cong R/P_i[/itex], we see that [itex]r \in P_i[/itex] (by hypothesis) must annihilate [itex]x + M_{i-1}[/itex], hence [itex]rx + M_{i-1} = M_{i-1}[/itex], so [itex]rx \in M_{i-1}[/itex]. By induction, [itex]r^n(rx) = 0[/itex] for some [itex]n[/itex], hence proof would be complete. Could this work? In any case, I still do not see if the prime ideals can be picked like I assumed. If not, can one construct a filtration in another way?
 
Last edited:

Related Threads for: Radical of the annihilator is the intersection of associated primes

  • Posted
Replies
2
Views
724
  • Posted
Replies
0
Views
1K
  • Posted
Replies
0
Views
1K
Replies
9
Views
543
Replies
19
Views
2K
  • Posted
Replies
14
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top