253:
243:
222:
331:"Cauchy's theorem is generalised by Sylow's first theorem, which implies that if pn is any prime power dividing the order of G, then G has a subgroup of order pn." This is not correct - Sylow's first theorem states that there's a subgroup of order pn only for the highest power of p dividing the order of G, not for any power of p as stated. I don't know how to edit here (and don't want to ruin it more), just wanted to point this out at least.
191:
406:
Someone Else: 12:20, 1 July 2007 (EST) I fixed the proof a couple of days ago. I don't think this entry qualifies as a stub anymore, as it now includes a full proof. I'm dropping the PlanetMath citations, as it also doesn't really incorporate information unique to PlanetMath. The statement of the
589:
The two "Examples" sections read like exercises from a problem sheet. I don't see what they add to the article. They are currently marked for improvement with citations, but I would prefer to *replace* them with citations, if they remain in the article at all.
153:
469:
At this point in the proof, H is a finite abelian group of order relatively prime to p, so there are integers u,v such that 1 = |H|u + pv. By
Lagrange, a^(|H|u) is the identity, so a=a^1=a^(pv), so let b=a^v.
309:
147:
44:
501:. Perhaps it would be better to substitute the straightforward proof of the abelian case owned by Kenneth Shum on planetmath. Either that or add details to this proof.
618:
299:
79:
613:
407:
theorem is ubiquitous in algebra and the proof here is not the proof from PlanetMath (which is actually a much simpler proof, so I kept the link.)
275:
168:
85:
135:
508:
352:
455:
345:
By following the link to the Sylow theorems, you find a statement of Sylow's first theorem that is consistent with the one given here.
332:
414:
266:
227:
24:
129:
537:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
99:
30:
104:
20:
125:
74:
202:
175:
65:
595:
512:
356:
190:
336:
141:
459:
109:
591:
543:
Someone Else: 18:28, 28 June 2007 (EST) At the end of the first paragraph of the proof, I'm not clear why
371:
Someone Else: 18:28, 28 June 2007 (EST) At the end of the first paragraph of the proof, I'm not clear why
475:
418:
208:
252:
504:
410:
348:
161:
55:
274:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
258:
70:
599:
516:
479:
463:
360:
340:
242:
221:
51:
471:
485:
I found that part of the proof unobvious as well, and it also wasn't obvious to me why
607:
534:
581:
Last edited at 16:27, 1 July 2007 (UTC). Substituted at 01:51, 5 May 2016 (UTC)
271:
248:
430:
I don't understand this: "It is easily checked that for every element
184:
15:
529:
160:
270:, a collaborative effort to improve the coverage of
33:for general discussion of the article's subject.
533:, and are posted here for posterity. Following
530:Talk:Cauchy's theorem (group theory)/Comments
527:The comment(s) below were originally left at
174:
8:
188:
346:
216:
218:
7:
264:This article is within the scope of
207:It is of interest to the following
23:for discussing improvements to the
14:
619:Mid-priority mathematics articles
535:several discussions in past years
284:Knowledge:WikiProject Mathematics
614:Start-Class mathematics articles
287:Template:WikiProject Mathematics
251:
241:
220:
189:
45:Click here to start a new topic.
304:This article has been rated as
25:Cauchy's theorem (group theory)
517:18:05, 30 September 2012 (UTC)
1:
278:and see a list of open tasks.
42:Put new text under old text.
361:19:39, 15 January 2015 (UTC)
454:" Why should this be true?
50:New to Knowledge? Welcome!
635:
480:01:06, 10 April 2008 (UTC)
600:19:07, 1 April 2024 (UTC)
542:
464:21:44, 9 April 2008 (UTC)
303:
236:
215:
80:Be welcoming to newcomers
341:08:57, 9 July 2009 (UTC)
310:project's priority scale
267:WikiProject Mathematics
197:This article is rated
75:avoid personal attacks
100:Neutral point of view
367:Proof and planetmath
290:mathematics articles
105:No original research
523:Assessment comment
497:should have order
259:Mathematics portal
203:content assessment
86:dispute resolution
47:
579:
578:
507:comment added by
413:comment added by
363:
351:comment added by
324:
323:
320:
319:
316:
315:
183:
182:
66:Assume good faith
43:
626:
540:
539:
532:
519:
422:
292:
291:
288:
285:
282:
261:
256:
255:
245:
238:
237:
232:
224:
217:
200:
194:
193:
185:
179:
178:
164:
95:Article policies
16:
634:
633:
629:
628:
627:
625:
624:
623:
604:
603:
592:Danielittlewood
587:
528:
525:
502:
493:
428:
408:
369:
329:
327:First Paragraph
289:
286:
283:
280:
279:
257:
250:
230:
201:on Knowledge's
198:
121:
116:
115:
114:
91:
61:
12:
11:
5:
632:
630:
622:
621:
616:
606:
605:
586:
585:Not a textbook
583:
577:
576:
524:
521:
509:86.175.249.158
489:
483:
482:
427:
424:
368:
365:
353:138.92.106.134
328:
325:
322:
321:
318:
317:
314:
313:
302:
296:
295:
293:
276:the discussion
263:
262:
246:
234:
233:
225:
213:
212:
206:
195:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
631:
620:
617:
615:
612:
611:
609:
602:
601:
597:
593:
584:
582:
575:
571:
567:
564:
560:
557:
553:
549:
546:
541:
538:
536:
531:
522:
520:
518:
514:
510:
506:
500:
496:
492:
488:
481:
477:
473:
468:
467:
466:
465:
461:
457:
456:82.208.57.182
453:
449:
445:
441:
438:there exists
437:
433:
426:Unclear Proof
425:
423:
420:
416:
412:
404:
403:
399:
395:
392:
388:
385:
381:
377:
374:
366:
364:
362:
358:
354:
350:
343:
342:
338:
334:
333:79.176.35.201
326:
311:
307:
301:
298:
297:
294:
277:
273:
269:
268:
260:
254:
249:
247:
244:
240:
239:
235:
229:
226:
223:
219:
214:
210:
204:
196:
192:
187:
186:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
588:
580:
573:
569:
565:
562:
558:
555:
551:
547:
544:
526:
503:— Preceding
498:
494:
490:
486:
484:
451:
447:
443:
439:
435:
431:
429:
409:— Preceding
405:
401:
397:
393:
390:
386:
383:
379:
375:
372:
370:
347:— Preceding
344:
330:
306:Mid-priority
305:
265:
231:Mid‑priority
209:WikiProjects
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
472:JackSchmidt
415:75.69.94.54
281:Mathematics
272:mathematics
228:Mathematics
199:Start-class
148:free images
31:not a forum
608:Categories
550:has order
446:such that
378:has order
88:if needed
71:Be polite
21:talk page
505:unsigned
411:unsigned
349:unsigned
56:get help
29:This is
27:article.
554:since (
382:since (
308:on the
154:WP refs
142:scholar
205:scale.
126:Google
169:JSTOR
130:books
84:Seek
596:talk
513:talk
476:talk
460:talk
419:talk
357:talk
337:talk
162:FENS
136:news
73:and
442:in
434:in
300:Mid
176:TWL
610::
598:)
561:)=
515:)
478:)
462:)
452:a,
450:=
421:)
389:)=
359:)
339:)
156:)
54:;
594:(
574:h
572:=
570:x
568:=
566:x
563:h
559:x
556:h
552:p
548:x
545:h
511:(
499:p
495:x
491:2
487:h
474:(
458:(
448:b
444:H
440:b
436:H
432:a
417:(
402:h
400:=
398:x
396:=
394:x
391:h
387:x
384:h
380:p
376:x
373:h
355:(
335:(
312:.
211::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.