Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
7
votes
Accepted
prime ideals in regular local rings
As Sandor pointed out, a necessary condition is that the prime ideal $P$ is a complete intersection. Here is a proof that it is also sufficient. It will suffice to prove the following:
Claim: Let $(R …
5
votes
Accepted
Minimal resolution of local cohomology module
It is hard to give a useful answer. I suspect whatever you want/need would be more specific. In particular, details on how such $R$ arises in your research would make it easier to say something more c …
0
votes
on the relative conductor of curve singularity and quotient of ideals
Ok, so it has been 7 years, but I do have something new to add to the answers by Karl and Sándor.
All your questions are about whether some modules/ideals are reflexive. That is because for a fraction …
1
vote
On the map $\Phi_M: M\otimes_RM^*\xrightarrow{x\otimes y\mapsto \left\{f\mapsto f(x)y\right\...
It should be noted that the answer is yes if $R$ is normal and $M$ is torsion-free. That is because of the:
Fact: if a map $f:A \to B$ of reflexive modules is locally an isomorphism in codimension on …
2
votes
Why is $M$ torsion-free?
The authors reduce to the case of $R$ complete with infinite residue field and use them implicitly at a couple of places in the proof. This is a fairly standard practice. For instance, to assert that …
5
votes
Accepted
Ideals in Artinian Gorenstein local ring $(R,\mathfrak m)$ with $\mu(\mathfrak m)=2, \mathfr...
We use the fact that in an Artinian Gorenstein ring, any ideal contains the socle. The assumption tells us that the socle of $A$ is $\mathfrak m^2$, which is principal.
Let $I\neq (0)$ be a non-maxima …