成り立つ[2]、零積律(英語版)を満たすとも言われる)環のことを言う。同値[4]であり、この場合の域は「左または右零因子を持たない非自明な環」のことになる。(Wedderburn)有限域は自動的に有限体になる。零因子について(少なくとも可換環の場合には)位相幾何学的な解釈をすることができる。既約位相空間となることである。前者の性質はある種の無限小の情報を保有しているとしばしば考えられ、対して後者はより幾何学的な情報を与えている。和となる)ことに対応する。域の構成[編集]環が域であることを示す方法の一つは、特別な性質を持つフィルター付け(フィルトレーション)を提示することである。