I need examples of two non-isogenous elliptic curves $E\_{1}, E\_{2}$ over $\mathbb{Q}$ having the following 2 properties -


1) $E\_{1}, E\_{2}$ have no rational torsion points.


2) $E\_1[9] \cong E\_2[9]$ as Gal$(\overline{\mathbb{Q}} / \mathbb{Q})$ modules.


I will request you to kindly suggest how to start finding out examples having the above two properties or suggest some examples. If necessary, I am comfortable with basic Sage computations.



Examples of elliptic curves over $\mathbb{Q}$
In general, for any integer $N$ and any fixed elliptic curve $E$, the elliptic curves $E'$ for which $E[N]\cong E'[N]$ as Galois modules (and such that the isomorphism respects the Weil pairing) are parametrised by a twist $Y\_E(N)$ of the modular curve $Y(N)$.


Tom Fisher has worked out [equations of these twists](https://www.dpmms.cam.ac.uk/~taf1000/papers/highercongr.html) for $N=7,9$ and 11. He explicitly writes down examples of such pairs of elliptic curves (and the very first example in section 7.2 has trivial torsion), and shows that there are infinitely many pairs satisfying your condition 2), together with the additional condition that the isomorphism preserves (respectively "anti-preserves") the Weil pairing. Since he gives his families in parametric form, you may be able to restrict the parameter to ensure that the torsion subgroup is trivial.


If you want to go and search for such pairs yourself, you can start with any elliptic curve with trivial torsion, and search for points on $Y\_E(N)$, using Tom Fisher's equation and brute force.


Edit: Tom also has a fairly large [table](https://www.dpmms.cam.ac.uk/~taf1000/papers/congr-9) of pairs of curves satisfying your condition 2).


Edit II, regarding $N=3$: The (compactifications of) the twists $Y\_E(3)$ have genus 0, and moreover, they each have a rational point, given by $E$ itself. So for any fixed $E$, you can find infinitely many $E'$ with isomorphic 3-torsion, all you need to know is the equation of $Y\_E(3)$. For that, see the papers of Rubin and Silverberg, referenced on the first page of Tom Fisher's paper.


