半局所環の基本概念と例