An integral domain is integrally closed when every element of its fraction field that is integral over the domain already belongs to the domain.
Articles by others on the same topic
An **integrally closed domain** is a type of integral domain in which every element that is integral over the domain is already an element of the domain itself. To understand this concept, let's break it down: 1. **Integral Domain**: An integral domain is a commutative ring with no zero divisors and a multiplicative identity (usually denoted as 1). It also has the property that it is non-trivial (the ring is not the zero ring).