Knowledge

Talk:Lagrange's theorem (number theory)

Source 📝

81: 71: 53: 292:@Wcherowi: I find your revert a little callous; it would have been nice if you had discussed it here first. You reverted my edit because it was OR, but the proof you've restored was itself OR (check the history for yourself). You've also ignored my numerous points about errors in the article. Surely you should have at least deleted the nonsensical "Extensions" section and changed the theorem statement to actually make sense after reverting? 22: 316:
previous version as being a more elementary for an elementary formulation (as are the similar proofs of Tattersall and of Leveque). It might be better to have a comment on the relationship to unique factorisation for polynomials over a field and the validity of the theorem in general as another section.
343:
and my duty as an editor is to remove it - no ifs, ands or buts, discussion was not required. I reverted, rather than fix the problems, because that was the easiest thing to do. I do not see why I should have to spend my time cleaning up your work –due to your not following (understanding?) Knowledge
276:
Also, the "Extensions" sentence about the same theorem and proof being true over arbitrary fields like R made absolutely no sense, so I deleted it. The theorem should have some generalization to number fields with essentially the same proof and tweaked assumptions; that might be of interest if anyone
173:
I admit the proof might be able to use some rewriting, but you don't need reliable sources for proofs if they're clear and any theorems referenced are sourceable. That's the beauty of math. :). This one, though, does not necessarily fulfill that requirement. I had to prove it using Euclid's Lemma for
480:
For what it's worth, I have no interest in writing up someone else's proof of such a basic fact; it takes literally minutes to come up with one. I feel Wcherowi is not listening to me and is being confrontational, which has turned me off from editing this article further, sorry. Thanks for your
382:
mandates the opposite. The IP's proof is indeed valid, and I'm sure it can be sourced, but I prefer the proof of the two references, which is neither the earlier (unsourced as I pointed out over a year ago) nor the later version. There is no reason not to discuss that here in a calm manner:
315:
I agree that the "Extensions" section was poorly worded. I think it was intended to state that it is true in general that a polynomial over a general field has no more roots than its degree and that Lagrange is a special case of that: this is the approach taken by 24.19.12.242. I prefer the
272:
case), though at least it's understandably so--Tattersall bends over backwards to avoid discussing fields or polynomial rings. I mostly rewrote the page and added a new proof of my own. I don't have a source--this is very basic material any grad student in math should be able to come up with.
202:
You could at least add a reference here and there leading to a place that will show how and why something is "a standard fact". Stating "standard facts" and presuming the reader has to know that, implies, that they're not the right audience for this article anyway, because they already know
264:" means what exactly?), the proof was just awful: it was overcomplicated, it tried to be self-contained but referenced results that can prove the theorem more quickly and cleanly, it was a little wrong.... I looked at the proof in Tattersall's 338:
I agree that the old version is far worse mathematically, but we are not writing journal articles here. By your own admission on this talk page, you replaced what was on the page by a proof of your own. This is clearly a violation of
481:
comments Deltahedron; it seems the old proof was simply unsourced rather than OR, so I can understand if you want to revert it ("lesser of two evils", I suppose?). Good luck all improving the page if you wish to spend time on it.
206:
The original proof in the history may have been a bit simplified, but it was way better than what I'm reading right now. The current thing doesn't add up to a proof as far as I can tell and uses circular reasoning, like:
348:. Find a proof that is to your liking, paraphrase it and put it into the article with references. I will let this stand for no more than a week before I revert/fix it again (but I can not speak for other editors). 199:
Then it says "it's a standard fact" over and over again, that is not at all helpful. I mean, the whole message in Lagrange's theorem is also "a standard fact", so why bother even writing down a proof?
133: 262: 196:
Firstly the presentation is bad - at least a few line breaks to split up thoughts would help. It's hard to even follow the steps when reading this single pile of words.
541: 127: 510:
I left the first version of the theorem as it is the one I found on the page (approximately), but it might appear as too redundant with the second version.
536: 507:
I've re-written the statement to be more precise (and true), as well as the proof, the format of some mathematical notations could be improved.
297:
Since the old version seems in every way worse, including being OR, I've reverted your (well-intentioned, though perhaps overly quick) revert.
103: 216: 482: 298: 278: 446: 425: 94: 58: 344:
policy. It is clear to me that you could improve this page (and it certainly needs it), but please do so while respecting the
193:
I'm not an expert in formulating mathematical proofs, but having read many in my life, I can say, this one doesn't qualify.
418: 33: 220: 21: 486: 439: 302: 282: 211:"Another standard fact is that a non-zero polynomial over a field has at most as many roots as its degree" 513:
I have not added any source since I only re-used the idea of the division algorithm to prove the result.
457: 388: 321: 164: 39: 80: 522: 490: 461: 392: 357: 325: 306: 286: 224: 183: 168: 514: 237: 175: 102:
on Knowledge. If you would like to participate, please visit the project page, where you can join
518: 353: 234:
This article was terrible. The theorem statement was a little wrong ("an integer polynomial over
179: 86: 70: 52: 443: 422: 345: 453: 384: 317: 160: 268:, and it too is overcomplicated, unintuitive, and also slightly wrong (it ignores the 530: 379: 349: 340: 156: 99: 76: 155:
Do we really need the proof written out like this? And what is the
415:
Making Mathematics Come to Life: A Guide for Teachers and Students
15: 215:...which is sort of the essence of Lagrange's theorem. 240: 98:, a collaborative effort to improve the coverage of 256: 132:This article has not yet received a rating on the 189:The current proof (March 26 2020) is a nasty mess 383:artificial deadlines rarely help discussion. 438:. Oxford science publications (reprint ed.). 8: 378:to make the encyclopaedia worse and indeed 19: 47: 266:Elementary Number Theory in Nine Chapters 246: 242: 241: 239: 374:That's rather interesting: there is no 49: 542:Unknown-priority mathematics articles 7: 92:This article is within the scope of 38:It is of interest to the following 14: 112:Knowledge:WikiProject Mathematics 537:Start-Class mathematics articles 115:Template:WikiProject Mathematics 79: 69: 51: 20: 257:{\displaystyle \mathbb {Z} /p} 1: 491:00:22, 18 February 2014 (UTC) 462:19:08, 17 February 2014 (UTC) 419:American Mathematical Society 411:The earlier proof appears in 393:18:22, 17 February 2014 (UTC) 358:18:09, 17 February 2014 (UTC) 326:17:57, 17 February 2014 (UTC) 307:08:48, 17 February 2014 (UTC) 287:00:48, 17 February 2014 (UTC) 106:and see a list of open tasks. 432:The later is quite close to 184:22:46, 28 January 2015 (UTC) 169:10:39, 21 October 2012 (UTC) 558: 225:13:21, 26 March 2020 (UTC) 523:15:50, 11 July 2024 (UTC) 436:A Course in Number Theory 131: 64: 46: 413:Ivanov, Oleg A. (2009). 134:project's priority scale 440:Oxford University Press 277:cares to hunt for one. 95:WikiProject Mathematics 258: 28:This article is rated 259: 434:Rose, H. E. (1995). 238: 118:mathematics articles 503:Statement and proof 254: 87:Mathematics portal 34:content assessment 148: 147: 144: 143: 140: 139: 549: 452: 431: 350:Bill Cherowitzo 263: 261: 260: 255: 250: 245: 230:Revamped article 120: 119: 116: 113: 110: 89: 84: 83: 73: 66: 65: 55: 48: 31: 25: 24: 16: 557: 556: 552: 551: 550: 548: 547: 546: 527: 526: 505: 449: 433: 428: 412: 236: 235: 232: 191: 157:reliable source 153: 117: 114: 111: 108: 107: 85: 78: 32:on Knowledge's 29: 12: 11: 5: 555: 553: 545: 544: 539: 529: 528: 504: 501: 500: 499: 498: 497: 496: 495: 494: 493: 471: 470: 469: 468: 467: 466: 465: 464: 447: 426: 402: 401: 400: 399: 398: 397: 396: 395: 365: 364: 363: 362: 361: 360: 331: 330: 329: 328: 310: 309: 294: 293: 253: 249: 244: 231: 228: 217:80.138.118.155 190: 187: 152: 149: 146: 145: 142: 141: 138: 137: 130: 124: 123: 121: 104:the discussion 91: 90: 74: 62: 61: 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 554: 543: 540: 538: 535: 534: 532: 525: 524: 520: 516: 511: 508: 502: 492: 488: 484: 479: 478: 477: 476: 475: 474: 473: 472: 463: 459: 455: 450: 448:0-19-852376-9 445: 441: 437: 429: 427:0-8218-8629-0 424: 420: 416: 410: 409: 408: 407: 406: 405: 404: 403: 394: 390: 386: 381: 377: 373: 372: 371: 370: 369: 368: 367: 366: 359: 355: 351: 347: 342: 337: 336: 335: 334: 333: 332: 327: 323: 319: 314: 313: 312: 311: 308: 304: 300: 296: 295: 291: 290: 289: 288: 284: 280: 274: 271: 267: 251: 247: 229: 227: 226: 222: 218: 213: 212: 208: 204: 200: 197: 194: 188: 186: 185: 181: 177: 174:polynomials. 171: 170: 166: 162: 158: 150: 135: 129: 126: 125: 122: 105: 101: 97: 96: 88: 82: 77: 75: 72: 68: 67: 63: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 512: 509: 506: 483:24.19.12.242 435: 414: 375: 299:24.19.12.242 279:24.19.12.242 275: 269: 265: 233: 214: 210: 209: 205: 203:everything. 201: 198: 195: 192: 172: 154: 93: 40:WikiProjects 454:Deltahedron 385:Deltahedron 318:Deltahedron 161:Deltahedron 109:Mathematics 100:mathematics 59:Mathematics 30:Start-class 531:Categories 376:obligation 346:WP:Pillars 442:. p. 41. 421:. p. 74. 159:for it? 515:Trashyyy 176:David815 380:WP:IAR 270:f(x)=0 36:scale. 341:WP:OR 151:Proof 519:talk 487:talk 458:talk 444:ISBN 423:ISBN 389:talk 354:talk 322:talk 303:talk 283:talk 221:talk 180:talk 165:talk 128:??? 533:: 521:) 489:) 460:) 417:. 391:) 356:) 324:) 305:) 285:) 223:) 182:) 167:) 517:( 485:( 456:( 451:. 430:. 387:( 352:( 320:( 301:( 281:( 252:p 248:/ 243:Z 219:( 178:( 163:( 136:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
???
project's priority scale
reliable source
Deltahedron
talk
10:39, 21 October 2012 (UTC)
David815
talk
22:46, 28 January 2015 (UTC)
80.138.118.155
talk
13:21, 26 March 2020 (UTC)
24.19.12.242
talk
00:48, 17 February 2014 (UTC)
24.19.12.242
talk
08:48, 17 February 2014 (UTC)
Deltahedron

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.