Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Does there exist a noetherian domain $A$ and a principal ideal $I = (x)$ in it having an embedded component?

share|improve this question
    
In a more geometric term, if $X=\mathrm{Spec}(A)$ is an integral surface with only one non-normal point $p$, then $O_{X,p}$ is not $(S_2)$ (hence has depth 1) by Serre's criterion. Take any non-zero $x \in A$ belonging to the maximal ideal corresponding to $p$, then $A/xA$ has depth $0$ at $p$ and Krull dimension $1$, so $p$ is an embedded point of $A/xA$. –  user18119 Oct 2 '12 at 19:33

2 Answers 2

Let $X$ be a locally Noetherian scheme, e.g., we have that $X =$ Spec $A$, where $A$ is a Noetherian ring.

Then, if $X$ is reduced (as a scheme), then $X$ has no embedded points.

In particular, if $A$ is a domain, then $X$ has no embedded points.

The converse isn't true. As you probably know, the scheme Spec $k[u,v]/(u^2,uv)$, where $k$ is a field, admits an embedded point corresponding to the maximal ideal $(u,v)$.

Maybe I'm misunderstanding the question?

share|improve this answer
    
It's a good thing that you think geometrically, but the question is about the scheme $X=V(x)=Spec(A/(x))$ having embedded components. –  Georges Elencwajg Oct 2 '12 at 8:53
    
That said, I certainly did not downvote your answer. –  Georges Elencwajg Oct 2 '12 at 10:02

Take the homogeneous coordinate ring of the rational quartic curve, that is, $$R=K[a,b,c,d]/(ad-bc, a^2c-b^3, bd^2-c^3, ac^2-b^2d).$$ (Note that this ring is isomorphic to the affine semigroup ring $K[x^4,x^3y,xy^3,y^4]$ and now we have a connection to the answer from this topic.) Then chose any nonzero noninvertible homogeneous element of $R$ and get the required example.

If you want to study more I can recommend you this paper.

Remark. In the book of B. Hassett, Introduction to Algebraic Geometry, exercise 8.9 provides an example of a principal ideal that has embedded associated primes. His example looks pretty similar to the one given above, but isn't an integral domain. (I wonder whether Hassett missed somehow one generator from the defining ideal of his ring $R$, because for rings which are not integral domains there are much simpler examples.)

share|improve this answer

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.