Skip to main content
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
Results tagged with
Search options not deleted user 2083
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 …
Hailong Dao's user avatar
  • 30.6k
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 …
Hailong Dao's user avatar
  • 30.6k
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 …
Hailong Dao's user avatar
  • 30.6k
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 …
Hailong Dao's user avatar
  • 30.6k
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 …
Hailong Dao's user avatar
  • 30.6k
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 …
Hailong Dao's user avatar
  • 30.6k