Cote n° 133 · pages 2–45 · 10 diagrammes commutatifs · [Groupes de Witt et formes quadratiques, groupes formels] : notes manuscrites (s.d.), tirés à part (1974).
Datation de l’inventaire : 1974-[à partir de 1975]
Édition de démonstration

batch 1 · p. 2 — lire la page1 / 10
LaTeX source
\begin{tikzcd}
  (L_{\bullet} \otimes L_{\bullet}) \otimes L_{\bullet} \arrow[rr, "a"] \arrow[d, "p \otimes L_{\bullet}"'] & & L_{\bullet} \otimes (L_{\bullet} \otimes L_{\bullet}) \arrow[d, "L_{\bullet} \otimes p"] \\
  L_{\bullet} \otimes L_{\bullet} \arrow[dr, "p"'] & & L_{\bullet} \otimes L_{\bullet} \arrow[dl, "p"] \\
  & L &
\end{tikzcd}
batch 1 · p. 2 — lire la page2 / 10
LaTeX source
\begin{tikzcd}[column sep=small]
  ((x \otimes y) \otimes z) \otimes t \arrow[r] \arrow[d] & (x \otimes y) \otimes (z \otimes t) \arrow[dd, leftrightarrow] \\
  (x \otimes (y \otimes z)) \otimes t \arrow[d] & \\
  x \otimes ((y \otimes z) \otimes t) \arrow[r] & x \otimes (y \otimes (z \otimes t))
\end{tikzcd}
batch 2 · p. 35 — lire la page3 / 10
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
 & L_1 \arrow[r, "d"] & L_0 \arrow[dr] & \\
1 \arrow[r] & \Pi_1 \arrow[u] \arrow[d] & & \Pi_0 \arrow[r] & 1 \\
 & D_1 \arrow[r, "\int"'] & D_0 \arrow[ur] &
\end{tikzcd}
batch 2 · p. 36 — lire la page4 / 10
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
 & & L_1 \arrow[dr, "\mathcal{H}"] & & \\
1 \arrow[r] & \Pi_1 = L_1 \cap D_1 \arrow[ur, hook, "\mathcal{A}"] \arrow[dr, hook', "\mathcal{H}"'] \arrow[rr, "\mathcal{A} * \mathcal{H}"] & & D' \arrow[r, hook] & G \\
 & & D_1 \arrow[ur, "\mathcal{A}"'] & &
\end{tikzcd}
batch 2 · p. 38 — lire la page5 / 10
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
 & \mathfrak{Z} \arrow[dr, no head] & & & \\
Z \cap DG \arrow[ur, no head] \arrow[dr, no head] & & \mathfrak{Z}.DG \arrow[r, no head] & G \arrow[r, no head] & \mathcal{G} \\
 & DG \arrow[ur, no head] & & &
\end{tikzcd}
batch 2 · p. 39 — lire la page6 / 10
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
H \arrow[d, hook'] & H_T \arrow[l] \arrow[d, hook'] \\
G \arrow[d] & G_T \arrow[l] \arrow[d] \\
I & T \arrow[l]
\end{tikzcd}
batch 3 · p. 41 — lire la page7 / 10
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
1 \arrow[dr] & & & & 1 \\
& L \arrow[rr, dashed] \arrow[dr, hook] & & M \arrow[ur] & \\
L \cap Z = \mathfrak{z} \arrow[ur] \arrow[dr] & & G \arrow[ur] \arrow[dr] & & \\
& Z \arrow[rr, dashed] \arrow[ur, hook] & & A \arrow[dr] & \\
1 \arrow[ur] & & & & 1
\end{tikzcd}
batch 3 · p. 45 — lire la page8 / 10
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
& N \cap N' = \mathfrak{z} = \pi_1 \arrow[dl, no head] \arrow[dr, no head] & \\
N \arrow[dr, no head] \arrow[ddr, no head, bend right=50, "M^{\prime}"'] & & N' \arrow[dl, no head] \arrow[ddl, no head, bend left=50, "M"] \\
& NN' = H \arrow[d, no head] & \\
& G &
\end{tikzcd}
batch 3 · p. 45 — lire la page9 / 10
LaTeX source
\begin{tikzcd}[column sep=tiny, row sep=small, nodes={font=\scriptsize}]
& (N \times N' \to G,\; D_1,\; \Theta_1) \arrow[dl] \arrow[dr] & \\
(N, M, d, \Theta) \arrow[dr] & & (N', M', d', \Theta') \arrow[dl] \\
& (G,\; M \times M',\; D_2,\; \Theta_2) &
\end{tikzcd}
batch 3 · p. 45 — lire la page10 / 10
LaTeX source
\begin{tikzcd}[column sep=small, row sep=small]
H \arrow[rrr, bend left=20] & N \times N' \arrow[l] \arrow[r] & M \times M' \arrow[d] & K \arrow[l, hook'] \arrow[d] \\
\pi_1 \arrow[u] & \pi_1 \times \pi_1 \arrow[l, "\text{épi}"'] \arrow[u] & \pi_0 \times \pi_0 \arrow[r] & \pi_0
\end{tikzcd}