81:
71:
53:
22:
187:
it is a type, you are right, the point is that it is in fact a morphism of gradd abelian groups, so if one forgets that cohomology is a ring then it is a morphism, but since it is just a collection of natural transformations, which may not be how you want to think about it pedagogically, it is really
525:
The
Steenrod squares are just some subgroup of this. (If I remember correctly, they aren't the entire cohomology of E-M space, but a particularly easy subgroup to calculate. Note we restrict to dimensions where n \leq m.) The squares themselves are a basis for this subgroup, and the Adem relations
454:
523:
526:
can be calculated on E-M space, it follows they hold for all manifolds. Maybe someone else knows about this and can sat a little more, especially about why you pick this particular subgroup.
133:
575:
293:
242:
374:
165:"If F and G are functors between the categories C and D, then a natural transformation η from F to G associates to every object X in C a morphism ηX : F(X) → G(X) in D",
650:
127:
622:
The coaction is jot induced by the product on E but by the unit from S to E. The latter would induce an action since the second variable of hom is covariant.
189:
H^n+i(X). and i will fix this now, but what was meant was that it is not a morphism of rings, it is almost never a ring homomorphism, see the cartan fmla.
645:
103:
584:
527:
379:
94:
58:
623:
33:
459:
168:
so I deduce that cohomology operations need to be morphisms in the category of groups, i.e. group homomorphisms.
173:
610:
Relate to computing the cohomology of all mod p eilenberg-maclane spaces (given in
Hatcher spectral sequences)
21:
531:
588:
548:
245:
251:
627:
203:
159:
39:
80:
580:
298:
613:
Discuss some of the computations of Adams spectral sequence coming from
Steenrod squares (McCleary)
169:
102:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
86:
70:
52:
545:
This page should discuss examples of the steenrod squaring operation. This should inlcude
248:, and note that degree m cohomology of X is classified by homotopy classes of maps into
639:
376:
Then the
Steenrod squares are induced by composing with homotopy classes of maps
99:
76:
200:
I never really understood
Steenrod squares until somebody told me this. Let
631:
592:
535:
177:
155:"...Note that cohomology operations need not be group homomorphisms."
449:{\displaystyle K(\mathbb {Z} _{2},m)\to K(\mathbb {Z} _{2},m+n)}
15:
188:
only a morphism from the abelian group H^n(X) ---: -->
551:
462:
382:
301:
254:
206:
98:, a collaborative effort to improve the coverage of
569:
517:
448:
368:
287:
236:
132:This article has not yet received a rating on the
518:{\displaystyle H^{n+m}(K(\mathbb {Z} _{2},n)).}
8:
19:
578:
47:
561:
557:
554:
553:
550:
494:
490:
489:
467:
461:
425:
421:
420:
395:
391:
390:
381:
345:
341:
340:
306:
300:
267:
263:
262:
253:
219:
215:
214:
205:
192:Sean, a student 06:47, 5 July 2008 (UTC)
570:{\displaystyle \mathbb {RP} ^{\infty }}
49:
288:{\displaystyle K(\mathbb {Z} _{2},m),}
651:Unknown-priority mathematics articles
237:{\displaystyle K(\mathbb {Z} _{2},m)}
7:
607:Discuss stable cohomology operations
92:This article is within the scope of
456:, so they are given by elements of
38:It is of interest to the following
562:
14:
112:Knowledge:WikiProject Mathematics
646:Start-Class mathematics articles
115:Template:WikiProject Mathematics
79:
69:
51:
20:
618:Coaction in generalized setting
604:Discuss McCleary, 4.4, 6.4, 8.3
369:{\displaystyle H^{m}(X)\cong .}
509:
506:
485:
479:
443:
416:
410:
407:
386:
360:
357:
336:
324:
318:
312:
279:
258:
231:
210:
1:
106:and see a list of open tasks.
178:14:11, 10 January 2008 (UTC)
593:02:00, 15 August 2017 (UTC)
667:
632:17:36, 24 March 2023 (UTC)
158:But in the definition of
131:
64:
46:
599:Construction + Citations
536:12:45, 12 May 2011 (UTC)
151:Cohomological Operations
134:project's priority scale
246:Eilenberg-MacLane_space
196:Topological explanation
95:WikiProject Mathematics
571:
519:
450:
370:
289:
238:
160:natural transformation
28:This article is rated
572:
520:
451:
371:
290:
239:
549:
460:
380:
299:
252:
204:
118:mathematics articles
567:
515:
446:
366:
285:
234:
183:yeah, it is a typo
87:Mathematics portal
34:content assessment
595:
583:comment added by
148:
147:
144:
143:
140:
139:
658:
576:
574:
573:
568:
566:
565:
560:
524:
522:
521:
516:
499:
498:
493:
478:
477:
455:
453:
452:
447:
430:
429:
424:
400:
399:
394:
375:
373:
372:
367:
350:
349:
344:
311:
310:
294:
292:
291:
286:
272:
271:
266:
243:
241:
240:
235:
224:
223:
218:
120:
119:
116:
113:
110:
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
666:
665:
661:
660:
659:
657:
656:
655:
636:
635:
620:
601:
552:
547:
546:
543:
541:Examples Needed
488:
463:
458:
457:
419:
389:
378:
377:
339:
302:
297:
296:
261:
250:
249:
213:
202:
201:
198:
185:
166:
156:
153:
117:
114:
111:
108:
107:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
664:
662:
654:
653:
648:
638:
637:
619:
616:
615:
614:
611:
608:
605:
600:
597:
564:
559:
556:
542:
539:
514:
511:
508:
505:
502:
497:
492:
487:
484:
481:
476:
473:
470:
466:
445:
442:
439:
436:
433:
428:
423:
418:
415:
412:
409:
406:
403:
398:
393:
388:
385:
365:
362:
359:
356:
353:
348:
343:
338:
335:
332:
329:
326:
323:
320:
317:
314:
309:
305:
284:
281:
278:
275:
270:
265:
260:
257:
233:
230:
227:
222:
217:
212:
209:
197:
194:
184:
181:
170:Espigaymostaza
164:
154:
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:
663:
652:
649:
647:
644:
643:
641:
634:
633:
629:
625:
617:
612:
609:
606:
603:
602:
598:
596:
594:
590:
586:
585:71.212.185.82
582:
540:
538:
537:
533:
529:
528:173.228.85.18
512:
503:
500:
495:
482:
474:
471:
468:
464:
440:
437:
434:
431:
426:
413:
404:
401:
396:
383:
363:
354:
351:
346:
333:
330:
327:
321:
315:
307:
303:
282:
276:
273:
268:
255:
247:
228:
225:
220:
207:
195:
193:
190:
182:
180:
179:
175:
171:
163:
161:
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:
621:
579:— Preceding
544:
199:
191:
186:
167:
157:
93:
40:WikiProjects
109:Mathematics
100:mathematics
59:Mathematics
30:Start-class
640:Categories
624:77.8.16.45
162:, it says
295:that is,
581:unsigned
244:be the
36:scale.
628:talk
589:talk
532:talk
174:talk
577:.
128:???
642::
630:)
591:)
563:∞
534:)
411:→
322:≅
176:)
626:(
587:(
558:P
555:R
530:(
513:.
510:)
507:)
504:n
501:,
496:2
491:Z
486:(
483:K
480:(
475:m
472:+
469:n
465:H
444:)
441:n
438:+
435:m
432:,
427:2
422:Z
417:(
414:K
408:)
405:m
402:,
397:2
392:Z
387:(
384:K
364:.
361:]
358:)
355:n
352:,
347:2
342:Z
337:(
334:K
331:,
328:X
325:[
319:)
316:X
313:(
308:m
304:H
283:,
280:)
277:m
274:,
269:2
264:Z
259:(
256:K
232:)
229:m
226:,
221:2
216:Z
211:(
208:K
172:(
136:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.