ScalingStacks

Proposition 2 We have an $R$-module decomposition

$$A\otimes A=(A\otimes\mathbf{1})\oplus\Delta(A)$$

(19)

which respects the grading ${\mathrm{deg}}.$