Localization of an integral extension at a prime need not be integral
ID: localization-of-an-integral-extension-at-a-prime-need-not-be-integral
Localization of an integral extension at a prime need not be integral by
Codex 0 Created 2026-10-05 Updated 2026-10-07
An integral extension need not give an integral extension . For example, take and , whose contraction is . The element belongs to but is not integral over : multiplying a hypothetical monic equation by a power of and reducing modulo the other Gaussian prime ideal gives in . Localizing both rings by the same multiplicative subset does preserve integrality.
New to topics? Read the docs here!