Yo soy básicamente tratando de resolver la bala de cañón problema con curvas elípticas.
En otras palabras, se tiene que demostrar que el único entero puntos en la "curva elíptica" $6y^2 = 2x^3 + 3x^2 + x$$(0,0), (1,\pm 1), (24,\pm 70)$.
Ahora mi plan es encontrar la torsión del grupo a través de Nagell-Lutz y, a continuación, mostrar (de alguna manera) que no es integral con el punto infinito de la orden (tal vez incluso encontrar que no hay ningún punto del infinito de la orden).
Mi problema es con el hecho de que cuando se escribe en la forma estándar de la curva está definida sobre $\mathbb{Q}$. ¿Cómo puedo encontrar un global de modelo mínimo para esta curva?
También hace mi estrategia sonido sobre la derecha?
