擬絶対値
以下 (R, |•|) は擬絶対値持つ単位的環とする。