リングの吊り下げ

代数学、より具体的には代数的 K 理論において、環Rのサスペンションは^[1]で与えられます。ここで、は各行または各列に有限個の非ゼロ要素のみを持つRの要素を持つすべての無限行列の環であり、は有限個の非ゼロ要素のみを持つ行列のイデアルです。これは位相幾何学におけるサスペンションの類似物です。 ${\displaystyle \Sigma R}$ ${\displaystyle \Sigma (R)=C(R)/M(R)}$${\displaystyle C(R)}$${\displaystyle M(R)}$

すると次のようになります。 ${\displaystyle K_{i}(R)\simeq K_{i+1}(\Sigma R)}$

• C. ヴァイベル「K ブック: 代数的 K 理論入門」