被約環
被約環の部分環、直積、局所化は被約である。
剰余環 R/I が被約であることと I が根基イデアルであることは同値である。
R がネーター環のとき、次が成り立つ。 R が被約であることと、零イデアルの準素分解においてその成分として(極小)素イデアルのみ現れることは同値である。
被約性は局所的な性質である。すなわち: 環 R が被約であることと、すべての極大イデアル m {\displaystyle {\mathfrak {m}}} に対して R m {\displaystyle R_{\mathfrak {m}}} が被約であることは同値である。
スキームが整であることと、既約かつ被約であることは同値である。
正標数の可換環が被約であることとフロベニウス自己準同型が単射であることは同値である(cf. 完全体)。
数学の可換環論において、被約環(ひやくかん、英: reduced ring)とは、0でないベキ零元をもたない環のことである(ベキ零元とは何乗かすると0になる元のことである)。被約環は可換環論や代数幾何学で役割を果たす。可換環上の可換多元環は環として被約なとき被約多元環と呼ばれる。被約スキームとは茎が被約なスキームである。
この記事は可換環論に関するものである。とくに、環は単位元をもち可換なものを考える。環準同型は単位元を単位元に写す。詳細は可換環論を見られたい。