引き続き代数幾何を勉強するためのスレッド

さて、次に示したいのは、以下の2つ。

(I)
同型

Z_k(E(p, q, r))/B_k(E(p, q, r))
〜Z_k(E(p, q, r+1))/B_k(E(p, q, r+1))
...
〜Z_k(E(p, q, k-1))/B_k(E(p, q, k-1))
〜E(p, q, k)


(II)
対象の列

0 ⊂ B_3(E(p, q, r)) ⊂ ... ⊂ B_k(E(p, q, r)) ⊂
... ⊂ B_∞(E(p, q, r)) ⊂ Z_∞(E(p, q, r)) ⊂ ...
⊂ Z_k(E(p, q, r)) ⊂ ... ⊂ Z_3(E(p, q, r)) ⊂ E(p, q, r)

があること。