mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Msieve

Reply
 
Thread Tools
Old 2018-11-21, 15:00   #1
fivemack
(loop (#_fork))
 
fivemack's Avatar
 
Feb 2006
Cambridge, England

11000110011102 Posts
Default Irreducibility problem

4*x^6+27 is irreducible modulo about 5/6 of all primes, so I'm a little confused as to why msieve square root is consistently failing to find an irreducible prime for C244_131_108 for which that's the algebraic side.

(it picks 53, and indeed polrootsmod(4*x^6+27,53) = [], but so far I've had twelve 'Newton iteration failed to converge' in succession; I'm running the rest of the 36 dependencies but not terribly confidently)
fivemack is offline   Reply With Quote
Old 2018-11-21, 16:35   #2
fivemack
(loop (#_fork))
 
fivemack's Avatar
 
Feb 2006
Cambridge, England

2×52×127 Posts
Default

Quote:
Originally Posted by fivemack View Post
4*x^6+27 is irreducible modulo about 5/6 of all primes, so I'm a little confused as to why msieve square root is consistently failing to find an irreducible prime for C244_131_108 for which that's the algebraic side.

(it picks 53, and indeed polrootsmod(4*x^6+27,53) = [], but so far I've had twelve 'Newton iteration failed to converge' in succession; I'm running the rest of the 36 dependencies but not terribly confidently)
Sorry, this is total nonsense, I had confused 'is irreducible' and 'has no roots'. The polynomial splits as either a product of two cubics or a product of three quadratics or a product of six linear factors modulo all primes.
fivemack is offline   Reply With Quote
Old 2018-11-21, 18:16   #3
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26×131 Posts
Default

Quote:
Originally Posted by fivemack View Post
Sorry, this is total nonsense, I had confused 'is irreducible' and 'has no roots'. The polynomial splits as either a product of two cubics or a product of three quadratics or a product of six linear factors modulo all primes.
Code:
polisirreducible(4*x^2+27)
would check irreducibility anyways.
science_man_88 is offline   Reply With Quote
Old 2018-11-22, 02:24   #4
Dr Sardonicus
 
Dr Sardonicus's Avatar
 
Feb 2017
Nowhere

29×113 Posts
Default

Quote:
Originally Posted by fivemack View Post
Sorry, this is total nonsense, I had confused 'is irreducible' and 'has no roots'. The polynomial [4*x^6 + 27]] splits as either a product of two cubics or a product of three quadratics or a product of six linear factors modulo all primes.
Ah, yes, the Galois group manifests itself! The polynomial is irreducible in Q[x]. But the Galois group is D6(6), the dihedral group of 6 elements, as a subgroup of S6.

An irreducible polynomial of degree n can be irreducible (mod p) for some p, only if its Galois group has a n-cycle; and D6(6), being a 6-element group that isn't cyclic, hasn't got a 6-cycle.

But an irreducible polynomial of degree n which defines a normal extension of Q of degree n, always splits (mod p) into factors all of the same degree, for all primes p which do not divide the discriminant.
Dr Sardonicus is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
A new problem similar to the Collatz problem dabler Miscellaneous Math 1 2018-07-28 14:03
What is the problem here? didgogns Msieve 1 2016-11-15 03:31
problem with my PC science_man_88 Software 1 2011-01-31 21:40
problem I have science_man_88 Miscellaneous Math 2 2010-10-10 16:36
PSU problem? ian209 Hardware 4 2006-02-18 19:52

All times are UTC. The time now is 02:48.

Mon Jul 13 02:48:38 UTC 2020 up 110 days, 21 mins, 0 users, load averages: 1.85, 1.94, 1.98

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.