Integrally closed domain

An integral domain equal to its integral closure in its fraction field.
Integrally closed domain

Let RR be an with K=Frac(R)K=\mathrm{Frac}(R).

Definition

RR is integrally closed if every element of KK that is RR already lies in RR. Equivalently,

RK=R, \overline{R}^{\,K} = R,

where RK\overline{R}^{\,K} is the of RR in KK.

Remarks

  • Many “nice” domains are integrally closed; for instance, every is integrally closed (in particular, every is integrally closed).
  • Integrally closed is one of the defining conditions of a .

Examples

  1. Z\mathbb{Z}.
    Z\mathbb{Z} is integrally closed in Q\mathbb{Q}.

  2. Polynomial rings.
    If kk is a field, then k[x1,,xn]k[x_1,\dots,x_n] is a UFD, hence integrally closed in its fraction field k(x1,,xn)k(x_1,\dots,x_n).

  3. A non-example: k[t2,t3]k[t^2,t^3].
    Let R=k[t2,t3]k(t)R=k[t^2,t^3]\subset k(t). Then tt is integral over RR (since t2Rt^2\in R and tt satisfies x2t2=0x^2-t^2=0) but tRt\notin R.
    Thus RR is not integrally closed; its integral closure in k(t)k(t) is k[t]k[t].