请输入您要查询的字词:

 

单词 IdealsOfADiscreteValuationRingArePowersOfItsMaximalIdeal
释义

ideals of a discrete valuation ring are powers of its maximal ideal


Theorem 1.

Let R be a discrete valuation ring. Then all nonzero ideals of R are powers of its maximal idealMathworldPlanetmath m.

Proof. Let 𝔪=(π) (that is, π is a uniformizer for R). Assume that R is not a field (in which case the result is trivial), so that π0.Let I=(α)R be any ideal; claim (α)=𝔪k for some k. By the Krull intersection theorem, we have

n0𝔪n=(0)

so that we may choose k0 with α𝔪k-𝔪k+1. Since α𝔪k, we have α=uπk for uR. u𝔪, since otherwise α𝔪k+1, so that α is a unit (in a DVR, the maximal ideal consists precisely of the nonunits). Thus (α)=(π)k.

Corollary 1.

Let R be a NoetherianPlanetmathPlanetmathPlanetmath local ringMathworldPlanetmath with a principal maximal ideal. Then all nonzero ideals are powers of the maximal ideal m.

Proof. Let I=(α1,,αn) be an ideal of R. Then by the above argument, for each i, αi=uiπki for ui a unit, and thus I=(πk1,,πkn)=(πk) for k=min(k1,,kn).

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 11:48:32