これらが単位元を持つことよりも弱い性質であることや、後へ行くほどより緩い制約条件となっていることを確かめることは難しくない。あるような体上の無限次行列全体の成す環が挙げられる。あるような行列がこの環の直交冪等系になる。冪等元を十分豊富に持つ環が局所単位元を持つことは、直交冪等系の有限和が局所単位元の定義を満たすことを見ればよい。s-単位的であること、s-単位的環が堅固であること、堅固な環が冪等環であることはいずれも明らかであろう。(日時は個人設定で未設定ならばUTC)。4.0のもとで利用可能です。利用規約デスクトップ。