# Properties

 Label 2.2.120.1-15.1-c7 Base field $$\Q(\sqrt{30})$$ Conductor norm $$15$$ CM no Base change yes Q-curve yes Torsion order $$2$$ Rank $$1$$

# Related objects

Show commands: Magma / Pari/GP / SageMath

## Base field$$\Q(\sqrt{30})$$

Generator $$a$$, with minimal polynomial $$x^{2} - 30$$; class number $$2$$.

sage: R.<x> = PolynomialRing(QQ); K.<a> = NumberField(R([-30, 0, 1]))

gp: K = nfinit(Pol(Vecrev([-30, 0, 1])));

magma: R<x> := PolynomialRing(Rationals()); K<a> := NumberField(R![-30, 0, 1]);

## Weierstrass equation

$${y}^2+a{x}{y}={x}^{3}+\left(-a+1\right){x}^{2}+\left(14078a-77106\right){x}+2194824a-12021546$$
sage: E = EllipticCurve([K([0,1]),K([1,-1]),K([0,0]),K([-77106,14078]),K([-12021546,2194824])])

gp: E = ellinit([Pol(Vecrev([0,1])),Pol(Vecrev([1,-1])),Pol(Vecrev([0,0])),Pol(Vecrev([-77106,14078])),Pol(Vecrev([-12021546,2194824]))], K);

magma: E := EllipticCurve([K![0,1],K![1,-1],K![0,0],K![-77106,14078],K![-12021546,2194824]]);

This is not a global minimal model: it is minimal at all primes except $$(2,a)$$. No global minimal model exists.

sage: E.is_global_minimal_model()

## Invariants

 Conductor: $$(15,a)$$ = $$(3,a)\cdot(a+5)$$ sage: E.conductor()  gp: ellglobalred(E)[1]  magma: Conductor(E); Conductor norm: $$15$$ = $$3\cdot5$$ sage: E.conductor().norm()  gp: idealnorm(ellglobalred(E)[1])  magma: Norm(Conductor(E)); Discriminant: $$(960)$$ = $$(2,a)^{12}\cdot(3,a)^{2}\cdot(a+5)^{2}$$ sage: E.discriminant()  gp: E.disc  magma: Discriminant(E); Discriminant norm: $$921600$$ = $$2^{12}\cdot3^{2}\cdot5^{2}$$ sage: E.discriminant().norm()  gp: norm(E.disc)  magma: Norm(Discriminant(E)); Minimal discriminant: $$(15)$$ = $$(3,a)^{2}\cdot(a+5)^{2}$$ Minimal discriminant norm: $$225$$ = $$3^{2}\cdot5^{2}$$ j-invariant: $$\frac{56667352321}{15}$$ sage: E.j_invariant()  gp: E.j  magma: jInvariant(E); Endomorphism ring: $$\Z$$ Geometric endomorphism ring: $$\Z$$ (no potential complex multiplication) sage: E.has_cm(), E.cm_discriminant()  magma: HasComplexMultiplication(E); Sato-Tate group: $\mathrm{SU}(2)$

## Mordell-Weil group

 Rank: $$1$$ Generator $\left(-\frac{4463}{45} a + \frac{49003}{90} : -\frac{2984479}{900} a + \frac{2451109}{135} : 1\right)$ Height $$8.59556748980666$$ Torsion structure: $$\Z/2\Z$$ sage: T = E.torsion_subgroup(); T.invariants()  gp: T = elltors(E); T[2]  magma: T,piT := TorsionSubgroup(E); Invariants(T); Torsion generator: $\left(21 a - \frac{233}{2} : \frac{233}{4} a - 315 : 1\right)$ sage: T.gens()  gp: T[3]  magma: [piT(P) : P in Generators(T)];

## BSD invariants

 Analytic rank: $$1$$ sage: E.rank()  magma: Rank(E); Mordell-Weil rank: $$1$$ Regulator: $$8.59556748980666$$ Period: $$2.54798923171621$$ Tamagawa product: $$4$$  =  $$1\cdot2\cdot2$$ Torsion order: $$2$$ Leading coefficient: $$3.99863272096672$$ Analytic order of Ш: $$1$$ (rounded)

## Local data at primes of bad reduction

sage: E.local_data()

magma: LocalInformation(E);

Primes of good reduction for the curve but which divide the discriminant of the model above (if any) are included.
prime Norm Tamagawa number Kodaira symbol Reduction type Root number ord($$\mathfrak{N}$$) ord($$\mathfrak{D}$$) ord$$(j)_{-}$$
$$(2,a)$$ $$2$$ $$1$$ $$I_0$$ Good $$1$$ $$0$$ $$0$$ $$0$$
$$(3,a)$$ $$3$$ $$2$$ $$I_{2}$$ Split multiplicative $$-1$$ $$1$$ $$2$$ $$2$$
$$(a+5)$$ $$5$$ $$2$$ $$I_{2}$$ Non-split multiplicative $$1$$ $$1$$ $$2$$ $$2$$

## Galois Representations

The mod $$p$$ Galois Representation has maximal image for all primes $$p < 1000$$ except those listed.

prime Image of Galois Representation
$$2$$ 2B

## Isogenies and isogeny class

This curve has non-trivial cyclic isogenies of degree $$d$$ for $$d=$$ 2, 4, 8 and 16.
Its isogeny class 15.1-c consists of curves linked by isogenies of degrees dividing 16.

## Base change

This elliptic curve is a $$\Q$$-curve. It is the base change of the following 2 elliptic curves:

Base field Curve
$$\Q$$ 45.a4
$$\Q$$ 4800.bz4