894:
781:
211:
496:
601:
78:
501:
From this one can see that inductively we can continue applying this formula to get a product of spaces (each being a loop space of a sphere), of which only finitely many will have a non-trivial third homotopy group. Those factors are:
353:
594:
363:
776:{\displaystyle \pi _{4}(S^{2}\vee S^{2})\simeq \oplus _{2}\pi _{4}S^{2}\oplus \pi _{4}S^{3}\oplus \oplus _{2}\pi _{4}S^{4}\simeq \oplus _{3}\mathbb {Z} _{2}\oplus \mathbb {Z} ^{2}}
206:{\displaystyle \Omega (\Sigma X\vee \Sigma Y)\simeq \Omega \Sigma X\times \Omega \Sigma Y\times \Omega \Sigma \left(\bigvee _{i,j\geq 1}X^{\wedge i}\wedge Y^{\wedge j}\right).}
261:
268:
804:
505:
959:
935:
868:
964:
491:{\displaystyle \Omega (S^{2}\vee S^{2})\simeq \Omega S^{2}\times \Omega S^{2}\times \Omega \Sigma \left(\bigvee _{i,j\geq 1}S^{i+j}\right)}
928:
852:
954:
969:
786:
i.e. the direct-sum of a free abelian group of rank two with the abelian 2-torsion group with 8 elements.
921:
58:
226:
40:
20:
864:
821:
905:
856:
813:
61:
of a wedge of spaces can be written as an infinite product of loop spaces of suspensions of
878:
833:
874:
829:
948:
348:{\displaystyle \Omega (S^{2}\vee S^{2})\simeq \Omega (\Sigma S^{1}\vee \Sigma S^{1})}
73:
One version of the Hilton-Milnor theorem states that there is a homotopy-equivalence
62:
44:
799:
28:
860:
263:. To put this space in the language of the above formula, we are interested in
844:
840:
589:{\displaystyle \Omega S^{2},\Omega S^{2},\Omega S^{3},\Omega S^{4},\Omega S^{4}}
50:
817:
36:
825:
893:
901:
215:
Here the capital sigma indicates the suspension of a pointed space.
802:(1955), "On the homotopy groups of the union of spheres",
909:
604:
508:
366:
271:
229:
81:
57:) showed more generally that the loop space of the
775:
588:
490:
347:
255:
205:
223:Consider computing the fourth homotopy group of
929:
8:
358:One application of the above formula states
936:
922:
805:Journal of the London Mathematical Society
767:
763:
762:
752:
748:
747:
740:
727:
717:
707:
694:
684:
671:
661:
651:
635:
622:
609:
603:
580:
564:
548:
532:
516:
507:
471:
449:
425:
409:
390:
377:
365:
336:
320:
295:
282:
270:
247:
234:
228:
186:
170:
148:
80:
16:On the loop space of a wedge of spheres
843:(1972) , "On the construction FK", in
54:
32:
7:
890:
888:
849:Algebraic topology—a student's guide
908:. You can help Knowledge (XXG) by
573:
557:
541:
525:
509:
437:
434:
418:
402:
367:
329:
313:
307:
272:
136:
133:
124:
121:
112:
109:
97:
88:
82:
14:
892:
256:{\displaystyle S^{2}\vee S^{2}}
960:Theorems in algebraic topology
641:
615:
396:
370:
342:
310:
301:
275:
103:
85:
1:
861:10.1017/CBO9780511662584.011
965:20th century in mathematics
47:of loop spaces of spheres.
986:
887:
853:Cambridge University Press
39:of a wedge of spheres is
818:10.1112/jlms/s1-30.2.154
777:
590:
492:
349:
257:
207:
778:
591:
493:
350:
258:
208:
855:, pp. 118–136,
841:Milnor, John Willard
602:
596:, giving the result
506:
364:
269:
227:
79:
35:), states that the
69:Explicit Statements
41:homotopy-equivalent
773:
586:
488:
466:
345:
253:
203:
165:
21:algebraic topology
917:
916:
870:978-0-521-08076-7
845:Adams, John Frank
808:, Second Series,
445:
144:
977:
938:
931:
924:
902:topology-related
896:
889:
881:
836:
800:Hilton, Peter J.
782:
780:
779:
774:
772:
771:
766:
757:
756:
751:
745:
744:
732:
731:
722:
721:
712:
711:
699:
698:
689:
688:
676:
675:
666:
665:
656:
655:
640:
639:
627:
626:
614:
613:
595:
593:
592:
587:
585:
584:
569:
568:
553:
552:
537:
536:
521:
520:
497:
495:
494:
489:
487:
483:
482:
481:
465:
430:
429:
414:
413:
395:
394:
382:
381:
354:
352:
351:
346:
341:
340:
325:
324:
300:
299:
287:
286:
262:
260:
259:
254:
252:
251:
239:
238:
212:
210:
209:
204:
199:
195:
194:
193:
178:
177:
164:
29:Peter Hilton
25:Hilton's theorem
985:
984:
980:
979:
978:
976:
975:
974:
955:1955 in science
945:
944:
943:
942:
885:
871:
839:
798:
795:
789:
761:
746:
736:
723:
713:
703:
690:
680:
667:
657:
647:
631:
618:
605:
600:
599:
576:
560:
544:
528:
512:
504:
503:
467:
444:
440:
421:
405:
386:
373:
362:
361:
332:
316:
291:
278:
267:
266:
243:
230:
225:
224:
221:
182:
166:
143:
139:
77:
76:
71:
51:John Milnor
17:
12:
11:
5:
983:
981:
973:
972:
970:Topology stubs
967:
962:
957:
947:
946:
941:
940:
933:
926:
918:
915:
914:
897:
883:
882:
869:
837:
812:(2): 154–172,
794:
791:
770:
765:
760:
755:
750:
743:
739:
735:
730:
726:
720:
716:
710:
706:
702:
697:
693:
687:
683:
679:
674:
670:
664:
660:
654:
650:
646:
643:
638:
634:
630:
625:
621:
617:
612:
608:
583:
579:
575:
572:
567:
563:
559:
556:
551:
547:
543:
540:
535:
531:
527:
524:
519:
515:
511:
486:
480:
477:
474:
470:
464:
461:
458:
455:
452:
448:
443:
439:
436:
433:
428:
424:
420:
417:
412:
408:
404:
401:
398:
393:
389:
385:
380:
376:
372:
369:
344:
339:
335:
331:
328:
323:
319:
315:
312:
309:
306:
303:
298:
294:
290:
285:
281:
277:
274:
250:
246:
242:
237:
233:
220:
217:
202:
198:
192:
189:
185:
181:
176:
173:
169:
163:
160:
157:
154:
151:
147:
142:
138:
135:
132:
129:
126:
123:
120:
117:
114:
111:
108:
105:
102:
99:
96:
93:
90:
87:
84:
70:
67:
63:smash products
15:
13:
10:
9:
6:
4:
3:
2:
982:
971:
968:
966:
963:
961:
958:
956:
953:
952:
950:
939:
934:
932:
927:
925:
920:
919:
913:
911:
907:
904:article is a
903:
898:
895:
891:
886:
880:
876:
872:
866:
862:
858:
854:
850:
846:
842:
838:
835:
831:
827:
823:
819:
815:
811:
807:
806:
801:
797:
796:
792:
790:
787:
784:
768:
758:
753:
741:
737:
733:
728:
724:
718:
714:
708:
704:
700:
695:
691:
685:
681:
677:
672:
668:
662:
658:
652:
648:
644:
636:
632:
628:
623:
619:
610:
606:
597:
581:
577:
570:
565:
561:
554:
549:
545:
538:
533:
529:
522:
517:
513:
499:
484:
478:
475:
472:
468:
462:
459:
456:
453:
450:
446:
441:
431:
426:
422:
415:
410:
406:
399:
391:
387:
383:
378:
374:
359:
356:
337:
333:
326:
321:
317:
304:
296:
292:
288:
283:
279:
264:
248:
244:
240:
235:
231:
218:
216:
213:
200:
196:
190:
187:
183:
179:
174:
171:
167:
161:
158:
155:
152:
149:
145:
140:
130:
127:
118:
115:
106:
100:
94:
91:
74:
68:
66:
64:
60:
56:
52:
48:
46:
42:
38:
34:
30:
26:
22:
910:expanding it
899:
884:
848:
809:
803:
788:
785:
598:
500:
360:
357:
265:
222:
214:
75:
72:
49:
27:, proved by
24:
18:
949:Categories
793:References
59:suspension
37:loop space
826:0024-6107
759:⊕
738:⊕
734:≃
715:π
705:⊕
701:⊕
682:π
678:⊕
659:π
649:⊕
645:≃
629:∨
607:π
574:Ω
558:Ω
542:Ω
526:Ω
510:Ω
460:≥
447:⋁
438:Σ
435:Ω
432:×
419:Ω
416:×
403:Ω
400:≃
384:∨
368:Ω
330:Σ
327:∨
314:Σ
308:Ω
305:≃
289:∨
273:Ω
241:∨
188:∧
180:∧
172:∧
159:≥
146:⋁
137:Σ
134:Ω
131:×
125:Σ
122:Ω
119:×
113:Σ
110:Ω
107:≃
98:Σ
95:∨
89:Σ
83:Ω
879:0445484
847:(ed.),
834:0068218
219:Example
53: (
45:product
31: (
877:
867:
832:
824:
900:This
43:to a
906:stub
865:ISBN
822:ISSN
55:1972
33:1955
857:doi
814:doi
783:,
355:.
19:In
951::
875:MR
873:,
863:,
851:,
830:MR
828:,
820:,
810:30
498:.
65:.
23:,
937:e
930:t
923:v
912:.
859::
816::
769:2
764:Z
754:2
749:Z
742:3
729:4
725:S
719:4
709:2
696:3
692:S
686:4
673:2
669:S
663:4
653:2
642:)
637:2
633:S
624:2
620:S
616:(
611:4
582:4
578:S
571:,
566:4
562:S
555:,
550:3
546:S
539:,
534:2
530:S
523:,
518:2
514:S
485:)
479:j
476:+
473:i
469:S
463:1
457:j
454:,
451:i
442:(
427:2
423:S
411:2
407:S
397:)
392:2
388:S
379:2
375:S
371:(
343:)
338:1
334:S
322:1
318:S
311:(
302:)
297:2
293:S
284:2
280:S
276:(
249:2
245:S
236:2
232:S
201:.
197:)
191:j
184:Y
175:i
168:X
162:1
156:j
153:,
150:i
141:(
128:Y
116:X
104:)
101:Y
92:X
86:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.