デデキント環
デデキント環（デデキントかん、"Dedekind ring"）、あるいはデデキント整域（デデキントせいいき、"Dedekind domain"）とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。そのような分解は一意であることが知られており、イデアル論の基礎定理と呼ばれる。