Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose that $R$ is a (local) ring and $r\in R$. When do the equations $Ann_R(Ann_R(r))=Rr$ or $\sqrt{Ann_R(Ann_R(r))}=\sqrt{Rr}$ hold? I already know that it holds for Artinian Gorenstein rings (due to an exercise in Bruns-Herzog) and it seems to be true for $R=\Bbb {Z}/n\Bbb {Z}$. The question is more interesting when we also assume that $Ann_R(r)\in Ass(R)$

share|improve this question
    
Quasi-Frobenius Rings are precisely the (Artinian) rings that Ann(ann(I))=I, ann(Ann(T))=T , Ann= right annihilator, ann=left annihilator. –  Maximiliano Valle May 7 '13 at 12:00
1  
$R=\Bbb {Z}/n\Bbb {Z}$ is itself an artinian Gorenstein ring. –  Graham Leuschke May 7 '13 at 13:19
    

3 Answers 3

up vote 2 down vote accepted

For what it's worth, it suffices for $(r)$ to be an interesection of minimal primes; in fact, more generally if $J$ is any intersection of minimal primes then $J=Annih(Annih(J))$. (This requires only that $R$ be commutative and noetherian; you don't need local.)

This is Lemma 2.17 in an old paper of mine called "Patching Modules of Finite Projective Dimension", where the stated hypothesis is "Let $R$ be any (commutative) ring", but it now seems to me that the proof requires $R$ to be noetherian.

share|improve this answer
    
Thanks for the informative answer. But I'm curious about the conditions on $r\in R$ that implies the equations. Don't you think that $Ann_R(r)\in Ass(R)$ can help somehow? –  QED May 7 '13 at 19:04
    
Is there some analog of this for non-Noetherian rings? –  მამუკა ჯიბლაძე Jul 27 at 17:25

Let $l(X)$ denote a left annihilator, and $r(X)$ denote a right annihilator.

A ring is called right P-injective if $l(r(a))=Ra$ for all $a\in R$. You can find this condition discussed in detail in Nicholson and Yousif's Quasi-Frobenius rings on page 96.

Rings which are right self-injective are right $P$-injective (and so that's why $\Bbb Z/n\Bbb Z$ has the property for every $n>1$.)

Also, all von Neumann regular rings are left and right $P$ injective, and these can be noncommutative, nonNoetherian and non-self-injective.

share|improve this answer

Long time ago, I proved, but never published, that if $R$ is generically Gorenstein, meaning that all $R_P$ are Gorenstein with $P$ an associated (necessarily) minimal prime, then $\operatorname{Ann}(\operatorname{Ann}(I))=I$, for any ideal $I$ with non-zero annihilator.

share|improve this answer
    
Interesting. Is it possible to access the details of the proof? –  QED Aug 22 '13 at 11:09

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.