PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
[parent] the $j$-invariant classifies elliptic curves up to isomorphism (Theorem)

In this entry, an isomorphism over $ K$ should be understood in the sense of the entry isomorphism of varieties.

Theorem 1   Let $ K$ be a field, and let $ \overline{K}$ be a fixed algebraic closure of $ K$.
  1. Two elliptic curves $ E_1$ and $ E_2$ are isomorphic (over $ \overline{K}$) if and only if they have the same $ j$-invariant, i.e. $ j(E_1)=j(E_2)$.
  2. Let $ j_0\in \overline{K}$ be fixed. There exists an elliptic curve $ E$ defined over the field $ K(j_0)$ such that $ j(E)=j_0$.
Proof. For part $ 2$:
  • For $ j_0=0$, the curve $ E_0\colon y^2+y=x^3$ satisfies $ j(E)=0$;
  • For $ j_0=1728$, the curve $ E_{1728} \colon y^2=x^3+x$ satisfies $ j(E_{1728})=1728$;
  • If $ j_0\neq 0, 1728$ consider the elliptic curve:
    $\displaystyle E=E_{j_0} \colon y^2+xy=x^3-\frac{36}{j_0-1728}x-\frac{1}{j_0-1728}.$
    It satisfies $ j(E)=j_0$ and it is defined over $ K(j_0)$.
$ \qedsymbol$



"the $j$-invariant classifies elliptic curves up to isomorphism" is owned by alozano.
(view preamble)

View style:

See Also: isomorphism of varieties, the arithmetic of elliptic curves


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: curve, elliptic curves, algebraic closure, fixed, field, isomorphism of varieties, isomorphism
There is 1 reference to this entry.

This is version 2 of the $j$-invariant classifies elliptic curves up to isomorphism, born on 2005-03-01, modified 2005-03-01.
Object id is 6839, canonical name is JInvariantClassifiesEllipticCurvesUpToIsomorphism.
Accessed 1458 times total.

Classification:
AMS MSC14H52 (Algebraic geometry :: Curves :: Elliptic curves)
 11G05 (Number theory :: Arithmetic algebraic geometry :: Elliptic curves over global fields)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)