Cote n° 51 · pages 10–22 · 6 displayed formulas · " Bonne réduction " (Shimura-Koizumi) : notes manuscrites (s.d.).
Inventory dating : s.d.
Édition de démonstration

batch 1 · p. 10 — read it beside the facsimile1 / 6 · 6 distinct symbols, 17 written
\[p' + q' = \mathrm{id}, \qquad p'^2 = p', \qquad q'^2 = q' ;\]
LaTeX source
\[
  p' + q' = \mathrm{id}, \qquad p'^2 = p', \qquad q'^2 = q' ;
\]
batch 1 · p. 10 — read it beside the facsimile2 / 6 · 6 distinct symbols, 17 written
\[p + q = \mathrm{id}, \qquad p^2 = p, \qquad q^2 = q .\]
LaTeX source
\[
  p + q = \mathrm{id}, \qquad p^2 = p, \qquad q^2 = q .
\]
batch 1 · p. 10 — read it beside the facsimile3 / 6 · 8 distinct symbols, 19 written
\[A = \operatorname{Ker} p \times \operatorname{Ker} q = A_1 \times A_2\]
LaTeX source
\[
  A = \operatorname{Ker} p \times \operatorname{Ker} q = A_1 \times A_2
\]
batch 1 · p. 18 — read it beside the facsimile4 / 6 · 6 distinct symbols, 33 written
\[F(S') = \text{l'ens.\ des sous-schémas fermés de } P_{S'} ,\]
LaTeX source
\[
  F(S') = \text{l'ens.\ des sous-schémas fermés de } P_{S'} ,
\]
batch 2 · p. 22 — read it beside the facsimile5 / 6 · 8 distinct symbols, 13 written
\[H^1(S, G) \subset H^1(K, G).\]
LaTeX source
\[
  H^1(S, G) \subset H^1(K, G).
\]
batch 2 · p. 22 — read it beside the facsimile6 / 6 · 12 distinct symbols, 66 written
\[H^1(K, G) / H^1(S, G) \;\subset\; \sum_{\substack{D\ \uncertain{\text{div.}}\ \struck{\uncertain{\text{irréductible}}} \\ \uncertain{\text{premier}}\text{ de } S}} H^1(\uncertain{K_D}, G) / H^1(\mathcal{O}_D, G)\]
LaTeX source
\[
  H^1(K, G) / H^1(S, G) \;\subset\;
  \sum_{\substack{D\ \uncertain{\text{div.}}\ \struck{\uncertain{\text{irréductible}}} \\
  \uncertain{\text{premier}}\text{ de } S}}
  H^1(\uncertain{K_D}, G) / H^1(\mathcal{O}_D, G)
\]