Integral element

Integrally closed domain

An integral domain 𝑅 with field of fractions 𝐾 =Frac⁑(𝑅) is integrally closed iff 𝛼 ∈𝐾 is integral over 𝑅 iff 𝛼 βˆˆπ‘…. ring This motivates the integral closure

――𝑅=OFrac⁑(𝑅):𝑅

which in this case is the ring of integers of the field of fractions 𝐾. Thus 𝑅 is integrally closed iff it equals its integral closure.

See also


develop | en | SemBr