デデキント環(デデキントかん、"dedekind ring")、あるいはデデキント整域(デデキントせいいき、"dedekind domain")とは、任意の0でない真のイデアルが、有限個の素イデアルの積にかけるような整域のことである。