素環

環論において、素環（そかん、）とは、任意の について、 ならば が成り立つような環 のことである。
同値な定義.
環 が素環であることは以下のいずれの条件とも同値である。