All Questions

$\newcommand{\Z}{\mathbb{Z}}$ I asked this question on MSE but no answer so far, so I'm also asking it here. Let $L$ be a Lie ring (a Lie algebra over $\Z$) with generators $x_1,\dots,x_n$ and ...

This question comes from the explicit construction of a smooth projective model of a hyperelliptic curve. Nevertheless it is fully elementary and, to me, more interesting than hyperelliptic curves. ...