Remark 98.21.5. Let $S$ be a scheme. Let $\mathcal{X}$ be a category fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. Let $A$ be an $S$-algebra. There is a notion of a *short exact sequence*

of deformation situations: we ask the corresponding maps between the kernels $I_ i = \mathop{\mathrm{Ker}}(A_ i' \to A)$ give a short exact sequence

of $A$-modules. Note that in this case the map $A_3' \to A_1'$ factors through $A$, hence there is a canonical isomorphism $A_1' = A[I_1]$.

## Comments (0)