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

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!