単元環における単元と可逆元の性質