If is a unit in , then is integral over :Multiplication by expresses as an element of , so is a unit in .
Use the characterization exactly when is a unit for every . If , then is a unit in and hence in , proving . Conversely, if , every maximal ideal of contracts under the integral extension to a maximal ideal of , which contains . Thus every contains , so . Therefore
Articles by others on the same topic
There are currently no matching articles.