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.

Suppose $A$ is a Dedekind domain with fraction field $K$ and $L/K$ is Galois, let $B$ be the integral closure of $A$ in $L$.

Let $P$ be a prime ideal in $A$ and let $P_1,...,P_n$ be prime ideals lying over $P$ in $B$. Then, $P=(P_1\cap ... \cap P_n)\cap A$. I was wondering if it's true that $(P_1^i \cap ... \cap P_n ^i)\cap A$ is primary?

PS: I was posting with username BMI earlier. For some reason, every time I posted this question, I got an error "this question could not be submitted because it does not meet our quality standards". I copy pasted it from a new user id and it posted without a hassle.

share|improve this question

1 Answer 1

up vote 0 down vote accepted

Let's denote the ideal $(P_1^{i_1} \cap ... \cap P_n^{i_n}) \cap A$ by $I.$ Let $i = \max\{i_1,..,i_n\}.$ As $P^i \subset P_k^i$ for all $k,$ $P^i \subset I.$ It follows $I | P^i,$ so $I =P^j$ for some $j\le i.$ Hence, $I$ is P-primary.

Note that the assumption that $L/K$ is galois was unnecessary as was the assumption that $i_1 = i_2 =... = i_n.$

share|improve this answer
    
Thanks, jspecter. I wonder if the conclusion will still hold if we don't assume $A$ is a Dedekind domain. I don't think $I$ would still be $P^j$ in general if we relax that assumption. –  NewB Oct 18 '11 at 1:31

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.