F:体 絶対値は非アルキメデス絶対値。
A={x∈F | |x|≦1｝のとき、yがAの単元⇔|y|=1がわかっているとき、これからB={x∈F | |x|＜1}がAの唯一つの極大イデアルであることが分かるらしいのですが、これはなぜでしょうか？