可換環の性質には、局所化で保たれないものがあるけど
付値論的な方法は、そういう性質も調べられるの?
たとえば、代数体Kの整数環O_KがUFDかどうかとか。