素環
域は素環である。
単純環は素環である。