素環の定義、判定条件、特性