局所環の定義、判定,および構造的特徴