Du Sautoy nilpotent group for an elliptic curve

Definition
Consider an elliptic curve $$E$$ given by an equation of the form $$y^2 + x^3 - Dx = 0$$ where $$D \in \mathbb{Z}$$. The du Sautoy nilpotent group corresponding to $$E$$ is the group $$G(E)$$ with the following presentation:

$$G(E) = \left \langle x_1,x_2,x_3,x_4,x_5,x_6,y_1,y_2,y_3 \mid [x_1,x_4] = y_3^D, [x_1,x_5] = y_1, [x_1,x_6] = y_2, [x_2,x_4] = y_1, [x_2,x_5] = y_3, [x_3,x_4] = y_2, [x_3,x_6] = y_1, \mbox{other commutators between generating set elements all trivial} \right \rangle$$

The group $$G(E)$$ is canonically attached to the elliptic curve $$E$$.

Related notions

 * Du Sautoy nilpotent Lie ring for an elliptic curve