|
Core error argument objection refuted, short
I've noted a problem in algebraic number theory with the inclusiveness
of the definition of algebraic integers as roots of monic polynomials with integer coefficients. Various posters have argued that in fact there is no problem, but here's a short refutation of their primary objection. First I have P(m) = f^2((m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f) and the factorization P(m) = (a_1 x + uf)(a_2 x + uf)(a_3 x + uf) where the a's are given by the following cubic: a^3 + 3(-1+mf^2)a^2 - f^2(m^3 f^4 - 3m^2 f^2 + 3m). My finding that only two of the a's have f as a factor without regard to the value of m has been vigorously disputed. However, consider w_1(m), a factor of a_1 that is a factor of f, as well as a function that varies with m, then it follows that a_1 x + uf has w_1(m) as a factor, so dividing through by w_1(m) gives a_1 x/w_1(m) + uf/w_1(m) but then uf/w_1(m) cannot in general be an algebraic integer as it's not representable as a polynomial with a finite number of terms if w_1(m) varies with m. My guess is that some may be assuming that f is replaceable by some function of m, but in fact, its independent of the value of m, so it's like 1/(x+1) which is also not representable by a polynomial if x is an algebraic integer not equal to 0 or -2. So the objection is refuted by the impossibility of uf/w_1(m) being an algebraic integer, for all algebraic integers m, if w_1(m) varies with m. My hope is that posters who have been so successful in convincing others that my argument is flawed will post concessions. James Harris |
Core error argument objection refuted, short
|
Core error argument objection refuted, short
|
Core error argument objection refuted, short
|
Core error argument objection refuted, short
|
Core error argument objection refuted, short
James Harris wrote: (Peter van Rossum) wrote in message ... ... stuff deleted ... I hope you realize that the functions a_i are also not given by polynomials in m (i.e., there does not exists a polynomial A_i(M) in A[M], the That's a rather stupid lie given that I put the polynomial in this post. Again it is a^3 + 3(-1+mf^2)a^2 - f^2(m^3 f^4 - 3m^2 f^2 + 3m) and its roots are a_1, a_2 and a_3. Two points: 1. This is the first time (in the present thread) that you have stated that the a's are *roots* of that polynomial. All you said was that the a's are *given* by that polynomial. You may have read Virgil's article (also this thread), pointing out that the polynomial doesn't give you anything. 2. You have misread the Mr. van Rossum's remark, preferring to label it as a lie. Note what he *actually* said, rather than what you *thought* he said: I hope you realize that the functions a_i are also not given by polynomials in m (i.e., there does not exists a polynomial A_i(M) in A[M], the polynomial ring in one variable over the algebraic numbers, such that A_i(m) = A_i(m) for all algebraic numbers m). It is incontrovertible that the a's, even as roots of the above polynomial, are not given as the values of a polynomial in m. But mathematicians have been persistent in showing a rather pathetic and stupid refusal to accept rather basic mathematics. I find them disgusting. Yes, of course. You are delighted in your constant ability to misread, to misunderstand, and to operate at the level of a 10-year-old. The poster is babbling, possibly in shock. Such weakness from the math world is telling. Mathematicians don't know how to really think, but have gotten away with faking it. Ah, yes. Everyone is cowering in fear. No matter that you are running away from a direct refutation of your position about the coefficients a1, a2, a3, from the factorization: 65x^3 - 12x + 1 = (a_1 x + 1)(a_2 x + 1)(a_3 x + 1) That information has been given to you, and since you couldn't follow a direct computation showing *each* of the a's to have a (separate) non-unit factor in common with 5, you ran away. Brave Sir Robin ran away, Bravely ran away, away. When danger reared its ugly head, he bravely turned his tail and fled. Yes, brave Sir Robin turned about And gallantly, he chickened out. Bravely taking to his feet, He beat a very brave retreat, Bravest of the brave, Sir Robin. Can you repeat the definition of algebraic integer again for the newsgroup and tell us how you conclude that u f / w_1(m) is not an algebraic integer? Mathematicians are pathetic liars. I'll use u=2, f=13 again, now then, NO function in algebraic integers exists such taht 26/w_1(m) is an algebraic integer for all integers m, if w_1(m) varies with m. It's just not possible, but it takes a mathematician to lie about it. He is packing it in and packing it up And sneaking away and buggering up And chickening out and ****ing off home, Yes, bravely he is throwing in the sponge. James Harris Dale (Lyrics to "Brave Sir Robin", from "Monty Python and the Holy Grail") |
Core error argument objection refuted, short
|
Core error argument objection refuted, short
"fishfry" wrote in message ... In article , (James Harris) wrote: I've noted a problem in algebraic number theory with the inclusiveness of the definition of algebraic integers as roots of monic polynomials with integer coefficients. Various posters have argued that in fact there is no problem, but here's a short refutation of their primary objection. First I have P(m) = f^2((m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f) Can't you articulate your object in English? Such as, "If you define algebraic integers as roots of monic polys with integer coefficients, then the following odd thing happens: etc. etc. Just say exactly what you think the contradiction or problem is. Yes! That's what I would like to hear too. It seems like he's trying to prove some theorem, but unable to formulate this theorem. |
Core error argument objection refuted, short
|
| All times are GMT +1. The time now is 10:15 AM. |
Powered by vBulletin® Version 3.6.4
Copyright ©2000 - 2008, Jelsoft Enterprises Ltd.
Search Engine Friendly URLs by vBSEO 2.4.0
Copyright ©2004-2006 PhysicsBanter.com