Definition(Integral closure): Let $R$ be a ring and $I$ an ideal of $R$. An element $x$ is said to be integral over $I$ if $x$ satisfies a monic equation $x^n + i_1x^{n−1} + ··· + i_n = 0$ such that $i_j ∈ I^j$ .

Let $ R $ be a ring and $ I $ ideals of $ R $ and $ I $ be a finitely generated.


  1. The integral closure of $ \text{rad}(I) $ is equal to the radical of the integral closure of $ I $.

  2. The integral closure of a homogeneous ideal is homogeneous.


closed as off-topic by Dima Pasechnik, Alex Degtyarev, Peter Crooks, Karl Schwede, Joonas Ilmavirta Mar 1 '15 at 19:42

This question appears to be off-topic. The users who voted to close gave these specific reasons:

  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Peter Crooks, Karl Schwede, Joonas Ilmavirta
  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Dima Pasechnik, Alex Degtyarev
If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ Your questions mention neither reduction nor the ideal $J$, is this normal? (no pun intended). $\endgroup$ – abx Mar 1 '15 at 8:01
  • $\begingroup$ Is this homework? $\endgroup$ – Dima Pasechnik Mar 1 '15 at 9:25

1) is obvious : a radical ideal is integrally closed, so $I\subset \mathrm{rad}(I)$ gives $\bar{I}\subset \mathrm{rad}(I)$, hence $\mathrm{rad}(\bar{I})=\mathrm{rad}(I)$.

2) is more subtle. This is Corollary 5.2.3 in "Integral Closure of Ideals, Rings, and Modules" by Swanson and Huneke, London Mathematical Society Lecture Note Series 336. I recommend that you look at that book for further questions about integral closure (it is available on the web).


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