Ask Your Question

Elliptic Curve over finite fields - Irreducibility proof

asked 2016-12-28 21:30:26 +0200

emrealparslan gravatar image

Hello, I am new to Sage and I want to prove an elliptic curve is irreducible. How can I prove that?

Example: - E = EllipticCurve(GF(256),[8,4,3,2,0])

Thank you

edit retag flag offensive close merge delete

3 Answers

Sort by ยป oldest newest most voted

answered 2016-12-29 20:37:08 +0200

tmonteil gravatar image

updated 2017-01-07 16:16:31 +0200

To know which methods are available to a Python (or Sage) object, you can use tab-completion:

sage: E = EllipticCurve(GF(256),[8,4,3,2,0])
sage: E.<TAB>

Then you will notice that there is a is_irreducible method available:

sage: E.is_irreducible()

EDIT To see how the computation (hence the proof) works, you can get the source code of the method wit two question marks:

sage: E.is_irreducible??

Then you will see that is looks at its defining ideal, and see if it is prime. For this (recursively look at the source code), it looks at its complete primary decomposition, this computation is forwarded to Singular, so you will have to look there to see how that part is done algorithmically.

edit flag offensive delete link more


Thank you for your answer but how do I prove that step by step instead of using is_irreducible() ?

emrealparslan gravatar imageemrealparslan ( 2017-01-06 04:11:37 +0200 )edit

What logical methods are available? Also, why do you want to prove this - fun? academic research? etc. ?

mrennekamp gravatar imagemrennekamp ( 2017-01-08 21:28:42 +0200 )edit

answered 2017-01-09 17:52:15 +0200

nbruin gravatar image

The word irreducible gets used a lot in mathematics. For elliptic curves over finite fields the implementation is just "irreducible as a scheme". Since elliptic curves are irreducible by definition the implementation could just be

def is_irreducible(self):
    return True

There are no steps involved.

For elliptic curves over QQ is_irreducible(p) is still a legacy test of whether the galois representation on the p-torsion is irreducible (but read the documentation about where this is moved). Once this deprecation has been resolved, the removal of the special is_irreducible would expose the scheme theoretic routine on elliptic curves over QQ as well.

edit flag offensive delete link more

answered 2021-02-10 12:04:05 +0200

John Cremona gravatar image

In cidentally, all plane cubics given by Weierstrass equations are irreducible, even when singular. Since elliptic curves in Sage are Weierstrass cubics, the code for E.is_irreducible should just return True without bothering to call the generic irreducibility test.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2016-12-28 21:30:26 +0200

Seen: 558 times

Last updated: Feb 10 '21