次の層の系列は完全列となることを昨日確認した。これから以下の長完全系列が誘導される。第5章の結果から なので、以下が完全系列となる。これから が全射となる。したがってに対し となる が存在する。このときとなるので、の選び方にはの分だけ自由度があ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。