Knowledge

Steenrod algebra

Source đź“ť

1584: 4519: 8778:
cohomology operations, showing that it is generated by the Bockstein homomorphism together with the Steenrod reduced powers, and the Adem relations generate the ideal of relations between these generators. In particular they found an explicit basis for the Steenrod algebra. This basis relies on a
6848: 1406: 7175: 5977: 6440: 3389: 11134: 10472: 11495: 3912: 4196: 5032: 7504: 4177: 919: 11839:
of smooth manifolds up to cobordism, through the identification of the graded ring of bordism classes with the homotopy groups of Thom complexes, in a stable range. The latter was refined to the case of oriented manifolds by
10317: 6951: 2460: 646: 10808: 1165: 6632: 3196: 3066: 12286: 5795: 1394: 6499: 1579:{\displaystyle {\begin{aligned}H\mathbb {F} _{p}^{*}(H\mathbb {F} _{p})&=\bigoplus _{k=0}^{\infty }{\underset {\leftarrow n}{\text{lim}}}\left(H^{n+k}(K(\mathbb {F} _{p},n);\mathbb {F} _{p})\right)\end{aligned}}} 2936: 7984: 3686: 4795: 13458: 12713: 12592: 9593: 7027: 9144: 8656: 8466: 2145: 1857: 9736: 10653:
are supercommutative Hopf algebras, so their spectra are algebra supergroup schemes. These group schemes are closely related to the automorphisms of 1-dimensional additive formal groups. For example, if
9680: 5148: 6143: 5558: 4669: 11596: 6563: 6075: 5639: 4897: 11691: 8997: 7626: 7032: 6637: 1411: 12547: 6624: 2588: 11035: 7258: 9265: 9408: 7334: 5858: 2344: 2731: 9494: 5250: 8839: 8309: 8087: 425: 3978:. (The binomial coefficients are to be interpreted mod 2.) The Adem relations allow one to write an arbitrary composition of Steenrod squares as a sum of Serre–Cartan basis elements. 2198: 9332: 6315: 10957: 3257: 12944: 12889: 11844:. A famous application of the Steenrod operations, involving factorizations through secondary cohomology operations associated to appropriate Adem relations, was the solution by 11835:
of some homotopy groups of spheres, using the compatibility of transgressive differentials in the Serre spectral sequence with the Steenrod operations, and the classification by
11047: 5218: 2673: 461: 10873: 9200: 8915: 11905: 6307: 6178: 5850: 1677: 12124: 12024: 11985: 11303: 11262: 10598: 10181:, called the Milnor basis. The dual to the Steenrod algebra is often more convenient to work with, because the multiplication is (super) commutative. The comultiplication for 9445: 5372: 1616: 154: 12442: 8386: 5436: 8277: 5304: 2492: 982: 11218: 10357: 7858: 3534: 12495: 11176: 2772: 12095: 11326: 5669: 2817: 1897: 10913: 10635: 10350: 7756: 6992: 3576: 10148: 10077: 8243: 8160: 5671:
are represented as manifolds, we can interpret the squares of the classes as sums of the pushforwards of the normal bundles of their underlying smooth manifolds, i.e.,
4514:{\displaystyle P^{a}\beta P^{b}=\sum _{i}(-1)^{a+i}{(p-1)(b-i) \choose a-pi}\beta P^{a+b-i}P^{i}+\sum _{i}(-1)^{a+i+1}{(p-1)(b-i)-1 \choose a-pi-1}P^{a+b-i}\beta P^{i}} 3751: 11994: 10117: 10046: 10010: 9893: 4551: 3947: 2270: 2234: 2005: 1969: 1933: 1769: 1733: 11795: 11723: 9926: 7901: 6241: 5456: 5395: 3976: 1305: 11946: 10498: 9956: 9050: 8756: 8190: 6271: 6208: 6011: 5581: 5095: 4824: 3248: 3097: 2992: 2972: 2620: 1225: 1078: 1008: 952: 722: 297: 12201: 12159: 11754: 10533: 10206: 10175: 9983: 9862: 9797: 9767: 8217: 8055: 7019: 3447: 3418: 1272: 1055: 769: 121: 12436: 8490: 8134: 7796: 7654: 11821: 10842: 10704: 10678: 10559: 9835: 8722: 8516: 7533: 4596: 3727: 1195: 235: 3490: 692: 12964: 12068: 12048: 9020: 8866: 8776: 8676: 8596: 8576: 8556: 8536: 8406: 8336: 8110: 8028: 8008: 7816: 7776: 7714: 7694: 7674: 5563:
which gives a geometric reason for why the Steenrod products eventually vanish. Note that because the Steenrod maps are group homomorphisms, if we have a class
5324: 5176: 5075: 5055: 3999: 3467: 3222: 2165: 2025: 1697: 1245: 1028: 789: 742: 669: 531: 511: 491: 345: 257: 198: 174: 94: 68: 9499:
induced by the Cartan formula for the action of the Steenrod algebra on the cup product. This map is easier to describe than the product map, and is given by
4908: 7345: 4007: 797: 11955: 10218: 6864: 6843:{\displaystyle {\begin{aligned}Sq^{2}(x^{2})&=Sq^{0}(x)\smile Sq^{2}(x)+Sq^{1}(x)\smile Sq^{1}(x)+Sq^{2}(x)\smile Sq^{0}(x)\\&=0.\end{aligned}}} 2353: 539: 13046:
The Steenrod Algebra and its Applications (Proc. Conf. to Celebrate N. E. Steenrod's Sixtieth Birthday, Battelle Memorial Inst., Columbus, Ohio, 1970)
10712: 1089: 2030: 3102: 2997: 12209: 13381: 5677: 1324: 6448: 2824: 12291:
This is what is meant by the aphorism "the cohomology of the Steenrod algebra is an approximation to the stable homotopy groups of spheres."
6858:
The Steenrod operations for real projective spaces can be readily computed using the formal properties of the Steenrod squares. Recall that
6445:
can be computed using the geometric techniques outlined above and the relation between Chern classes and Stiefel–Whitney classes; note that
7906: 3583: 13284:
Smith, Larry (2007). "An algebraic introduction to the Steenrod algebra". In Hubbuck, John; Hu'ng, Nguyá»…n H. V.; Schwartz, Lionel (eds.).
5158:
There is a nice straightforward geometric interpretation of the Steenrod squares using manifolds representing cohomology classes. Suppose
4680: 7170:{\displaystyle {\begin{aligned}Sq^{0}(x)&=x\\Sq^{1}(x)&=x^{2}\\Sq^{k}(x)&=0&&{\text{ for any }}k>1\end{aligned}}} 3099:
commutes with the connecting morphism of the long exact sequence in cohomology. In particular, it commutes with respect to suspension
12027: 9505: 9058: 8601: 8411: 1774: 9688: 9601: 5100: 6084: 5468: 4604: 13552: 13199: 13156: 13075: 12426: 11518: 6504: 6016: 5589: 4832: 2169: 11607: 12329: 11139:
These algebras are significant because they can be used to simplify many Adams spectral sequence computations, such as for
8923: 7541: 8686:
In addition to the axiomatic structure the Steenrod algebra satisfies, it has a number of additional useful properties.
12502: 6568: 5983:
as can be computed using a cellular decomposition. This implies that the only possible non-trivial Steenrod product is
2497: 1771:
should be considered instead because it has much better properties and can be tractably studied in many cases (such as
11958:
gave a proof of the following theorem by studying the Steenrod algebra (with coefficients in the algebraic closure of
10965: 10680:
then the dual Steenrod algebra is the group scheme of automorphisms of the 1-dimensional additive formal group scheme
7186: 5972:{\displaystyle H^{0}(\mathbf {CP} ^{2})\cong H^{2}(\mathbf {CP} ^{2})\cong H^{4}(\mathbf {CP} ^{2})\cong \mathbb {Z} } 13240: 12790: 12569: 9206: 9338: 7269: 2287: 2678: 984:, where the multiplication is given by composition of operations. This is the mod 2 Steenrod algebra. In the case 12300: 9461: 2027:, such that this action behaves well with respect to the stable homotopy category, i.e., there is an isomorphism 17: 5223: 13576:, Colloque de Topologie de Strasbourg, vol. IX, La Bibliothèque Nationale et Universitaire de Strasbourg, 10505: 8785: 8282: 8060: 6435:{\displaystyle Sq^{2}\colon H^{4}(\mathbf {CP} ^{8};\mathbb {Z} /2)\to H^{6}(\mathbf {CP} ^{8};\mathbb {Z} /2)} 1316: 357: 3384:{\displaystyle P^{n}\colon H^{m}(X,\mathbb {Z} /p\mathbb {Z} )\to H^{m+2n(p-1)}(X,\mathbb {Z} /p\mathbb {Z} )} 13228: 13027: 13009: 303: 12999: 11129:{\displaystyle {\mathcal {A}}_{2}(1)\subset {\mathcal {A}}_{2}(2)\subset \cdots \subset {\mathcal {A}}_{2}.} 9271: 9022:
is an admissible sequence, form a basis (the Serre–Cartan basis) for the mod 2 Steenrod algebra, called the
11852:
problem. One application of the mod 2 Steenrod algebra that is fairly elementary is the following theorem.
10922: 13597: 13223: 13022: 13004: 12894: 12839: 5181: 2627: 431: 11952:
which is not a power of 2; that is, such an element is a product of squares of strictly smaller degree.
10847: 9156: 8871: 13544: 11861: 6280: 6151: 5823: 1650: 13218: 12100: 12000: 11961: 11279: 11238: 10564: 10467:{\displaystyle \psi (\tau _{n})=\tau _{n}\otimes 1+\sum _{i=0}^{n}\xi _{n-i}^{p^{i}}\otimes \tau _{i}} 9421: 5335: 1592: 130: 13017: 8341: 5459: 5400: 13058: 11490:{\displaystyle {\begin{cases}P(x)\colon SV]\to SV]\\P(x)(v)=v+F(v)x=v+v^{q}x&v\in V\end{cases}}} 11335: 8248: 5255: 2465: 957: 11756:
generate an algebra isomorphism to the subalgebra of the Steenrod algebra generated by the reduced
11181: 7821: 6146: 5818: 3695:-th powers also satisfy the Adem relations and commute with the suspension and boundary operators. 3498: 1315:
We can summarize the properties of the Steenrod operations as generators in the cohomology ring of
12478: 11142: 3907:{\displaystyle Sq^{i}Sq^{j}=\sum _{k=0}^{\lfloor i/2\rfloor }{j-k-1 \choose i-2k}Sq^{i+j-k}Sq^{k}} 2739: 12169: 12073: 5647: 2777: 1866: 302:
The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a
10881: 10603: 10322: 7719: 6959: 3539: 744:
is the cup square. There are analogous operations for odd primary coefficients, usually denoted
13602: 13053: 12129: 11505: 10121: 10050: 8222: 8139: 466:
Cohomology operations need not be homomorphisms of graded rings; see the Cartan formula below.
321: 270: 10086: 10015: 9988: 9871: 4527: 3920: 2239: 2203: 1974: 1938: 1902: 1738: 1702: 13332: 13185: 13097: 12305: 11767: 11699: 10650: 9898: 7871: 6213: 5441: 5380: 3952: 1636: 1589:
giving a direct sum decomposition of all possible cohomology operations with coefficients in
1277: 470: 11921: 10477: 9935: 9029: 8735: 8165: 6246: 6183: 5986: 5566: 5080: 4803: 3227: 3072: 2977: 2947: 2595: 1200: 1063: 987: 927: 697: 276: 13581: 13562: 13505: 13467: 13428: 13390: 13369: 13311: 13269: 13166: 13134: 13085: 12819: 12760: 12722: 12701: 12639: 12601: 12310: 12179: 12137: 11732: 11318: 10511: 10184: 10153: 9961: 9840: 9775: 9752: 8315: 8195: 8033: 6997: 5397:. In addition, associated to this immersion is a real vector bundle call the normal bundle 3425: 3396: 1250: 1081: 1033: 747: 315: 177: 99: 47: 12835: 8475: 8119: 7781: 7639: 8: 13534: 11800: 10821: 10683: 10657: 10538: 9814: 8701: 8495: 7512: 4575: 3706: 1624:
of cohomology groups of Eilenberg–Maclane spaces. This result was originally computed by
1618:. Note the inverse limit of cohomology groups appears because it is a computation in the 1174: 1058: 214: 13471: 13394: 12726: 12605: 5027:{\displaystyle (1+s\operatorname {Ad} \beta )P(t^{p}+t^{p-1}s+\cdots +ts^{p-1})P(s^{p})} 3472: 674: 13514: 13493: 13437: 13416: 13357: 13315: 13289: 13273: 13148: 13122: 12949: 12823: 12748: 12670: 12648: 12627: 12053: 12033: 11908: 11849: 9865: 9005: 8851: 8761: 8661: 8581: 8561: 8541: 8521: 8391: 8321: 8113: 8095: 8013: 7993: 7801: 7761: 7699: 7679: 7659: 7499:{\displaystyle Sq(x^{n})=(Sq(x))^{n}=(x+x^{2})^{n}=\sum _{i=0}^{n}{n \choose i}x^{n+i}} 5327: 5309: 5161: 5060: 5040: 4172:{\displaystyle P^{a}P^{b}=\sum _{i}(-1)^{a+i}{(p-1)(b-i)-1 \choose a-pi}P^{a+b-i}P^{i}} 3984: 3452: 3207: 2150: 2010: 1682: 1230: 1013: 774: 727: 654: 516: 496: 476: 330: 325: 324:
between cohomology functors. For example, if we take cohomology with coefficients in a
242: 183: 159: 79: 53: 31: 12769: 914:{\displaystyle P^{i}\colon H^{n}(X;\mathbb {Z} /p)\to H^{n+2i(p-1)}(X;\mathbb {Z} /p)} 13548: 13519: 13485: 13442: 13408: 13349: 13277: 13257: 13235: 13205: 13195: 13170: 13152: 13114: 13071: 12991: 12827: 12807: 12774: 12740: 12689: 12684: 12653: 12619: 12575: 12565: 11832: 11310: 8472:
The Steenrod squares and reduced powers are special cases of this construction where
13319: 12460: 13509: 13475: 13432: 13398: 13341: 13299: 13249: 13106: 13063: 12799: 12764: 12730: 12679: 12665: 12643: 12609: 9452: 4562: 13038: 12417: 10312:{\displaystyle \psi (\xi _{n})=\sum _{i=0}^{n}\xi _{n-i}^{p^{i}}\otimes \xi _{i}.} 6946:{\displaystyle H^{*}(\mathbb {RP} ^{\infty };\mathbb {Z} /2)\cong \mathbb {Z} /2,} 13577: 13558: 13538: 13530: 13501: 13453: 13424: 13376: 13365: 13327: 13307: 13265: 13181: 13162: 13142: 13130: 13081: 13049: 12815: 12756: 12697: 12635: 12455: 2455:{\displaystyle Sq^{n}\colon H^{m}(X;\mathbb {Z} /2)\to H^{m+n}(X;\mathbb {Z} /2)} 641:{\displaystyle Sq^{i}\colon H^{n}(X;\mathbb {Z} /2)\to H^{n+i}(X;\mathbb {Z} /2)} 10803:{\displaystyle x\rightarrow x+\xi _{1}x^{2}+\xi _{2}x^{4}+\xi _{3}x^{8}+\cdots } 6145:
is nontrivial, this square is nontrivial. There is a similar computation on the
1160:{\displaystyle 0\to \mathbb {Z} /p\to \mathbb {Z} /p^{2}\to \mathbb {Z} /p\to 0} 13459:
Proceedings of the National Academy of Sciences of the United States of America
13382:
Proceedings of the National Academy of Sciences of the United States of America
13191: 12714:
Proceedings of the National Academy of Sciences of the United States of America
12593:
Proceedings of the National Academy of Sciences of the United States of America
9743: 1642: 13591: 13489: 13412: 13379:(1953a), "Homology groups of symmetric groups and reduced power operations", 13353: 13261: 13209: 13174: 13118: 12983: 12811: 12744: 12693: 12623: 12474: 12330:"at.algebraic topology – (Co)homology of the Eilenberg–MacLane spaces K(G,n)" 11841: 3191:{\displaystyle H^{k}(X;\mathbb {Z} /2)\cong H^{k+1}(\Sigma X;\mathbb {Z} /2)} 3061:{\displaystyle 0\to \mathbb {Z} /2\to \mathbb {Z} /4\to \mathbb {Z} /2\to 0.} 1860: 13303: 12281:{\displaystyle \mathrm {Ext} _{A}^{s,t}(\mathbb {F} _{p},\mathbb {F} _{p}).} 12176:-component of the stable homotopy groups of spheres. More specifically, the 12130:
Connection to the Adams spectral sequence and the homotopy groups of spheres
13523: 13446: 13034: 12785: 12778: 12708: 12657: 12579: 12469: 11273: 11233: 11232:) gave the following algebraic construction of the Steenrod algebra over a 10706:
that are the identity to first order. These automorphisms are of the form
9448: 5790:{\displaystyle Sq^{i}(\beta )=\sum _{k=1}^{n}f_{*}(w_{i}(\nu _{Y_{k}/X})).} 1389:{\displaystyle {\mathcal {A}}_{p}=H\mathbb {F} _{p}^{*}(H\mathbb {F} _{p})} 124: 74: 39: 13480: 13403: 12735: 12614: 12587: 11836: 6494:{\displaystyle f\colon \mathbf {CP} ^{4}\hookrightarrow \mathbf {CP} ^{8}} 3738: 13092: 12162: 11845: 9804: 8779:
certain notion of admissibility for integer sequences. We say a sequence
6274: 6078: 348: 2931:{\displaystyle Sq^{n}(x\smile y)=\sum _{i+j=n}(Sq^{i}x)\smile (Sq^{j}y)} 13361: 13253: 13126: 13067: 12803: 12590:(1952), "The iteration of the Steenrod squares in algebraic topology", 9770: 5801: 200: 13288:. Geometry & Topology Monographs. Vol. 11. pp. 327–348. 13569: 13497: 13420: 12752: 12631: 10844:
Steenrod algebra admits a filtration by finite sub-Hopf algebras. As
7979:{\displaystyle H^{nq-i}(X,(A\otimes B\otimes \cdots \otimes B)/\pi )} 3730: 3681:{\displaystyle P^{n}(x\smile y)=\sum _{i+j=n}(P^{i}x)\smile (P^{j}y)} 13345: 13110: 12990:. Cambridge University Press, 2002. Available free online from the 4790:{\displaystyle P(s^{2}+st)\cdot P(t^{2})=P(t^{2}+st)\cdot P(s^{2})} 13294: 13238:(1953), "Cohomologie modulo 2 des complexes d'Eilenberg–MacLane", 6565:. It can also be computed directly using the Cartan formula since 1699:, then there are many challenges for studying the cohomology ring 13048:, Lecture Notes in Mathematics, vol. 168, Berlin, New York: 2941:
In addition the Steenrod squares have the following properties:
11831:
Early applications of the Steenrod algebra were calculations by
8758:) described the structure of the Steenrod algebra of stable mod 9588:{\displaystyle \psi (Sq^{k})=\sum _{i+j=k}Sq^{i}\otimes Sq^{j}} 4569:) reformulated the Adem relations as the following identities. 2462:
is an additive homomorphism and is natural with respect to any
694:
and their name, the Steenrod squares, comes from the fact that
13286:
Proceedings of the School and Conference in Algebraic Topology
9985:
is the tensor product of the polynomial algebra in generators
9413: 9139:{\displaystyle Sq_{p}^{I}=Sq_{p}^{i_{1}}\cdots Sq_{p}^{i_{n}}} 8651:{\displaystyle H_{0}(\pi ,A\otimes B\otimes \cdots \otimes B)} 8461:{\displaystyle H_{0}(\pi ,A\otimes B\otimes \cdots \otimes B)} 5852:, there are only the following non-trivial cohomology groups, 4902:
then the Adem relations are equivalent to the statement that
2140:{\displaystyle E_{*}(E)\otimes _{\pi _{*}(E)}E_{*}(X)\to _{*}} 1852:{\displaystyle KO,KU,MO,MU,MSp,\mathbb {S} ,H\mathbb {F} _{p}} 12445:– contains interpretations of Ext terms and Streenrod squares 9731:{\displaystyle \psi (\beta )=\beta \otimes 1+1\otimes \beta } 9233: 1635:
Note there is a dual characterization using homology for the
351:
squaring operation yields a family of cohomology operations:
9675:{\displaystyle \psi (P^{k})=\sum _{i+j=k}P^{i}\otimes P^{j}} 5143:{\displaystyle (\operatorname {Ad} \beta )P=\beta P-P\beta } 1643:
Remark about generalizing to generalized cohomology theories
13330:(1947), "Products of cocycles and extensions of mappings", 11483: 6138:{\displaystyle H^{\ast }(\mathbf {CP} ^{2};\mathbb {Z} /2)} 12382: 12097:-algebras]] with coefficients in the algebraic closure of 12070:-type to a full subcategory of the homotopy category of [[ 2280:
Norman Steenrod and David B. A. Epstein (
13144:
Cohomology operations and applications in homotopy theory
5553:{\displaystyle Sq^{i}(\alpha )=f_{*}(w_{i}(\nu _{Y/X})),} 1935:
are flat. In this case, these is a canonical coaction of
13456:(1953b), "Cyclic reduced powers of cohomology classes", 5458:
can now be understood — they are the pushforward of the
4664:{\displaystyle P(t)=\sum _{i\geq 0}t^{i}{\text{Sq}}^{i}} 3204:
Similarly the following axioms characterize the reduced
1647:
It should be observed if the Eilenberg–Maclane spectrum
13187:
Complex cobordism and stable homotopy groups of spheres
12394: 11591:{\displaystyle P(x)(f)=\sum P^{i}(f)x^{i}\qquad p>2} 6558:{\displaystyle H^{4}(\mathbf {CP} ^{8};\mathbb {Z} /2)} 6070:{\displaystyle H^{2}(\mathbf {CP} ^{2};\mathbb {Z} /2)} 5634:{\displaystyle \beta =\alpha _{1}+\cdots +\alpha _{n},} 4892:{\displaystyle P(t)=\sum _{i\geq 0}t^{i}{\text{P}}^{i}} 12788:(1955), "Sur l'itération des opérations de Steenrod", 12439:– contains more calculations, such as for Wu manifolds 11686:{\displaystyle P(x)(f)=\sum Sq^{2i}(f)x^{i}\qquad p=2} 9418:
The Steenrod algebra has more structure than a graded
1735:. In this case, the generalized dual Steenrod algebra 13039:"A general algebraic approach to Steenrod operations" 12952: 12897: 12842: 12505: 12481: 12212: 12182: 12140: 12103: 12076: 12056: 12036: 12003: 11964: 11924: 11864: 11803: 11770: 11735: 11702: 11610: 11521: 11329: 11282: 11241: 11184: 11145: 11050: 10968: 10925: 10884: 10850: 10824: 10715: 10686: 10660: 10606: 10567: 10541: 10514: 10480: 10360: 10325: 10221: 10187: 10156: 10124: 10089: 10053: 10018: 9991: 9964: 9938: 9901: 9874: 9843: 9817: 9778: 9755: 9691: 9604: 9508: 9464: 9424: 9341: 9274: 9209: 9159: 9061: 9032: 9008: 8926: 8874: 8854: 8788: 8764: 8738: 8704: 8681: 8664: 8604: 8584: 8564: 8544: 8524: 8498: 8478: 8414: 8394: 8344: 8324: 8285: 8251: 8225: 8198: 8168: 8142: 8122: 8098: 8063: 8036: 8016: 7996: 7909: 7874: 7824: 7804: 7784: 7764: 7722: 7702: 7682: 7662: 7642: 7544: 7515: 7348: 7272: 7189: 7030: 7000: 6962: 6867: 6635: 6571: 6507: 6451: 6318: 6283: 6249: 6216: 6186: 6154: 6087: 6019: 5989: 5861: 5826: 5680: 5650: 5592: 5569: 5471: 5444: 5403: 5383: 5338: 5312: 5258: 5226: 5184: 5178:
is a smooth manifold and consider a cohomology class
5164: 5103: 5083: 5063: 5043: 4911: 4835: 4806: 4683: 4607: 4578: 4530: 4199: 4010: 3987: 3955: 3923: 3754: 3709: 3586: 3542: 3501: 3475: 3455: 3428: 3399: 3260: 3230: 3210: 3105: 3075: 3000: 2980: 2950: 2827: 2780: 2742: 2681: 2630: 2598: 2500: 2468: 2356: 2290: 2242: 2206: 2172: 2153: 2033: 2013: 1977: 1941: 1905: 1869: 1777: 1741: 1705: 1685: 1653: 1595: 1409: 1327: 1280: 1253: 1233: 1203: 1177: 1092: 1066: 1036: 1016: 990: 960: 930: 800: 777: 750: 730: 700: 677: 657: 542: 519: 499: 479: 434: 360: 333: 279: 245: 217: 186: 162: 133: 102: 82: 56: 12711:(1954), "Sur les groupes d'Eilenberg–Mac Lane. II", 12203:
term of this spectral sequence may be identified as
12030:
equivalence from the homotopy category of connected
533:
is trivial.) Steenrod constructed stable operations
12370: 12358: 12346: 8992:{\displaystyle Sq^{I}=Sq^{i_{1}}\cdots Sq^{i_{n}},} 7621:{\displaystyle Sq^{i}(x^{n})={n \choose i}x^{n+i}.} 12958: 12938: 12883: 12541: 12489: 12280: 12195: 12153: 12118: 12089: 12062: 12042: 12018: 11979: 11940: 11899: 11815: 11789: 11748: 11717: 11685: 11590: 11489: 11297: 11256: 11212: 11170: 11128: 11029: 10951: 10907: 10867: 10836: 10802: 10698: 10672: 10629: 10592: 10553: 10527: 10492: 10466: 10344: 10311: 10200: 10169: 10142: 10111: 10071: 10040: 10004: 9977: 9950: 9920: 9887: 9856: 9829: 9791: 9761: 9742:These formulas imply that the Steenrod algebra is 9730: 9674: 9587: 9488: 9439: 9402: 9326: 9259: 9194: 9138: 9044: 9014: 8991: 8909: 8860: 8833: 8770: 8750: 8716: 8670: 8650: 8590: 8570: 8550: 8530: 8510: 8484: 8460: 8400: 8380: 8330: 8303: 8271: 8237: 8211: 8184: 8154: 8128: 8104: 8081: 8049: 8022: 8002: 7978: 7895: 7852: 7810: 7790: 7770: 7750: 7708: 7688: 7668: 7648: 7620: 7527: 7498: 7328: 7252: 7180:The Cartan relation implies that the total square 7169: 7013: 6986: 6945: 6842: 6618: 6557: 6493: 6434: 6301: 6265: 6235: 6202: 6172: 6137: 6069: 6005: 5971: 5844: 5800:Also, this equivalence is strongly related to the 5789: 5663: 5633: 5575: 5552: 5450: 5430: 5389: 5366: 5318: 5298: 5244: 5220:represented geometrically as a smooth submanifold 5212: 5170: 5142: 5089: 5069: 5049: 5026: 4891: 4818: 4789: 4663: 4590: 4545: 4513: 4171: 3993: 3970: 3941: 3906: 3721: 3680: 3570: 3528: 3484: 3461: 3441: 3412: 3383: 3242: 3216: 3190: 3091: 3060: 2986: 2966: 2930: 2811: 2766: 2725: 2667: 2614: 2582: 2486: 2454: 2338: 2264: 2228: 2192: 2159: 2139: 2019: 1999: 1963: 1927: 1891: 1851: 1763: 1727: 1691: 1671: 1610: 1578: 1388: 1299: 1266: 1239: 1219: 1189: 1159: 1072: 1049: 1022: 1002: 976: 946: 913: 783: 763: 736: 716: 686: 663: 640: 525: 505: 485: 455: 419: 339: 291: 251: 229: 192: 168: 148: 115: 88: 62: 12542:{\displaystyle {\mathcal {A}}//{\mathcal {A}}(2)} 8689: 7593: 7580: 7474: 7461: 6853: 6619:{\displaystyle x^{2}\in H^{4}(\mathbf {CP} ^{8})} 4470: 4405: 4317: 4264: 4131: 4072: 3860: 3822: 2583:{\displaystyle f^{*}(Sq^{n}(x))=Sq^{n}(f^{*}(x))} 473:—that is, they are unstable. (This is because if 13589: 13015: 12997: 12663: 11030:{\displaystyle Sq^{1},Sq^{2},\ldots ,Sq^{2^{n}}} 7253:{\displaystyle Sq:=Sq^{0}+Sq^{1}+Sq^{2}+\cdots } 4566: 3200:They satisfy the Adem relations, described below 13543:, Annals of Mathematics Studies, vol. 50, 13529: 13141:Mosher, Robert E.; Tangora, Martin C. (2008) , 9451:, so that in particular there is a diagonal or 9260:{\displaystyle i_{j}\equiv 0,1{\bmod {2}}(p-1)} 6081:on cohomology. As the cup product structure on 4556: 2281: 12456:Reduced power operations in motivic cohomology 12134:The cohomology of the Steenrod algebra is the 11997:with coefficients in the algebraic closure of 9403:{\displaystyle Sq_{p}^{2k(p-1)+1}=\beta P^{k}} 7329:{\displaystyle Sq\colon H^{*}(X)\to H^{*}(X).} 13140: 13095:(1958), "The Steenrod algebra and its dual", 12388: 2346:are characterized by the following 5 axioms: 2339:{\displaystyle Sq^{n}\colon H^{m}\to H^{m+n}} 2275: 10644: 8219:by this map gives an equivariant cocycle on 7535:component of the previous sum, we have that 5812: 3814: 3800: 2726:{\displaystyle x\in H^{n}(X;\mathbb {Z} /2)} 2147:hence we can use the unit the ring spectrum 12833: 12443:Steenrod squares in Adams spectral sequence 10813: 9489:{\displaystyle \psi \colon A\to A\otimes A} 9414:Hopf algebra structure and the Milnor basis 5153: 4674:then the Adem relations are equivalent to 1625: 7868:) showed how to construct a reduced power 5245:{\displaystyle f\colon Y\hookrightarrow X} 13513: 13479: 13452: 13436: 13402: 13375: 13293: 13057: 12768: 12734: 12683: 12647: 12613: 12483: 12262: 12247: 12106: 12006: 11967: 11285: 11244: 11223: 8834:{\displaystyle i_{1},i_{2},\ldots ,i_{n}} 8304:{\displaystyle B\otimes \cdots \otimes B} 8082:{\displaystyle B\otimes \cdots \otimes B} 7865: 7861: 6919: 6900: 6886: 6883: 6540: 6417: 6367: 6180:, where the only non-trivial squares are 6120: 6052: 5965: 3374: 3361: 3307: 3294: 3173: 3126: 3040: 3024: 3008: 2708: 2437: 2393: 2180: 2105: 1839: 1827: 1659: 1598: 1554: 1530: 1442: 1419: 1373: 1350: 1139: 1116: 1100: 962: 954:generate a connected graded algebra over 896: 834: 623: 579: 420:{\displaystyle H^{n}(X;R)\to H^{2n}(X;R)} 266: 262: 136: 13326: 13016:Malygin, S.N.; Postnikov, M.M. (2001) , 12998:Malygin, S.N.; Postnikov, M.M. (2001) , 12564:. Chicago: University of Chicago Press. 12562:Stable homotopy and generalised homology 10079:and the exterior algebra in generators Ď„ 9026:. There is a similar basis for the case 8136:acts freely and an equivariant map from 3391:is an additive homomorphism and natural. 309: 208: 207:introduced by Norman Steenrod ( 13180: 12400: 10177:then gives another choice of basis for 2193:{\displaystyle \eta :\mathbb {S} \to E} 1310: 513:, the cup product on the cohomology of 14: 13590: 13216: 13091: 12784: 12707: 12415: 9808: 9327:{\displaystyle Sq_{p}^{2k(p-1)}=P^{k}} 8729: 8725: 8030:times gives an equivariant cocycle on 43: 13283: 13234: 12559: 12376: 12364: 12352: 12050:-complete nilpotent spaces of finite 11729:is infinite dimensional the elements 11229: 10952:{\displaystyle {\mathcal {A}}_{2}(n)} 8695: 1679:is replaced by an arbitrary spectrum 1629: 1030:Steenrod algebra is generated by the 469:These operations do not commute with 13537:(1962), Epstein, David B. A. (ed.), 12586: 3742: 13033: 12939:{\displaystyle H^{*}(\pi ,n;Z_{2})} 12884:{\displaystyle H_{*}(\pi ,n;Z_{2})} 7676:subgroup of the symmetric group on 5306:represent the fundamental class of 5213:{\displaystyle \alpha \in H^{*}(X)} 2668:{\displaystyle Sq^{n}(x)=x\smile x} 2284:) showed that the Steenrod squares 456:{\displaystyle x\mapsto x\smile x.} 24: 13568: 12525: 12508: 12449: 12221: 12218: 12215: 12082: 11918:The proof uses the fact that each 11764:odd, or the even Steenrod squares 11112: 11080: 11054: 10959:generated by the Steenrod squares 10929: 10868:{\displaystyle {\mathcal {A}}_{2}} 10854: 9195:{\displaystyle i_{j}\geq pi_{j+1}} 8910:{\displaystyle i_{j}\geq 2i_{j+1}} 8682:Properties of the Steenrod algebra 8518:acting as a cyclic permutation of 7584: 7465: 6891: 5583:which can be represented as a sum 4409: 4268: 4076: 3826: 3734: 3163: 1478: 1331: 25: 13614: 13241:Commentarii Mathematici Helvetici 12791:Commentarii Mathematici Helvetici 12668:(1982), "On the Adem relations", 11900:{\displaystyle S^{2n-1}\to S^{n}} 8492:is a cyclic group of prime order 6501:represents the non-zero class in 6302:{\displaystyle \mathbf {CP} ^{8}} 6173:{\displaystyle \mathbf {CP} ^{6}} 5845:{\displaystyle \mathbf {CP} ^{2}} 4561:Shaun R. Bullett and 3698: 1672:{\displaystyle H\mathbb {F} _{p}} 12470:Motivic Eilenberg–Maclane spaces 12119:{\displaystyle \mathbb {F} _{p}} 12019:{\displaystyle \mathbb {F} _{p}} 11980:{\displaystyle \mathbb {F} _{p}} 11298:{\displaystyle \mathbb {F} _{q}} 11257:{\displaystyle \mathbb {F} _{q}} 10593:{\displaystyle \xi _{1}^{2^{i}}} 9440:{\displaystyle \mathbf {F} _{p}} 9427: 6603: 6600: 6526: 6523: 6481: 6478: 6463: 6460: 6403: 6400: 6353: 6350: 6289: 6286: 6160: 6157: 6106: 6103: 6038: 6035: 5948: 5945: 5914: 5911: 5880: 5877: 5832: 5829: 5367:{\displaystyle f_{*}(1)=\alpha } 1611:{\displaystyle \mathbb {F} _{p}} 724:restricted to classes of degree 671:greater than zero. The notation 149:{\displaystyle \mathbb {F} _{p}} 12946: ; groupes stables modulo 12553: 12432:from the original on 2017-08-15 12301:Pontryagin cohomology operation 11826: 11673: 11578: 8381:{\displaystyle H_{i}(E/\pi ,A)} 7990:Taking the external product of 7631: 7509:Since there is only one degree 5807: 5431:{\displaystyle \nu _{Y/X}\to Y} 5097:is the Bockstein operation and 3469:-th power on classes of degree 13574:Sur les puissances de Steenrod 12933: 12908: 12878: 12853: 12536: 12530: 12409: 12322: 12272: 12242: 11884: 11660: 11654: 11629: 11623: 11620: 11614: 11565: 11559: 11540: 11534: 11531: 11525: 11441: 11435: 11420: 11414: 11411: 11405: 11395: 11392: 11386: 11383: 11374: 11371: 11368: 11362: 11359: 11347: 11341: 11207: 11195: 11165: 11156: 11097: 11091: 11071: 11065: 10946: 10940: 10875:is generated by the elements 10719: 10377: 10364: 10238: 10225: 10208:is the dual of the product on 10137: 10125: 10066: 10054: 9701: 9695: 9621: 9608: 9528: 9512: 9474: 9373: 9361: 9306: 9294: 9254: 9242: 8690:Basis for the Steenrod algebra 8645: 8615: 8455: 8425: 8375: 8355: 8272:{\displaystyle E/\pi \times X} 7973: 7962: 7938: 7929: 7847: 7835: 7745: 7733: 7571: 7558: 7425: 7405: 7393: 7389: 7383: 7374: 7368: 7355: 7320: 7314: 7301: 7298: 7292: 7133: 7127: 7090: 7084: 7054: 7048: 6975: 6969: 6937: 6931: 6912: 6878: 6854:Infinite Real Projective Space 6820: 6814: 6795: 6789: 6770: 6764: 6745: 6739: 6720: 6714: 6695: 6689: 6666: 6653: 6613: 6595: 6552: 6518: 6473: 6429: 6395: 6382: 6379: 6345: 6132: 6098: 6064: 6030: 5958: 5940: 5924: 5906: 5890: 5872: 5781: 5778: 5750: 5737: 5700: 5694: 5544: 5541: 5520: 5507: 5491: 5485: 5422: 5355: 5349: 5299:{\displaystyle 1=\in H^{0}(Y)} 5293: 5287: 5271: 5265: 5236: 5207: 5201: 5116: 5104: 5021: 5008: 5002: 4939: 4933: 4912: 4845: 4839: 4784: 4771: 4762: 4740: 4731: 4718: 4709: 4687: 4617: 4611: 4438: 4426: 4423: 4411: 4381: 4371: 4297: 4285: 4282: 4270: 4246: 4236: 4105: 4093: 4090: 4078: 4054: 4044: 3675: 3659: 3653: 3637: 3609: 3597: 3559: 3553: 3523: 3517: 3378: 3351: 3346: 3334: 3314: 3311: 3284: 3185: 3160: 3138: 3116: 3052: 3036: 3020: 3004: 2974:is the Bockstein homomorphism 2925: 2906: 2900: 2881: 2853: 2841: 2800: 2794: 2761: 2755: 2720: 2698: 2650: 2644: 2577: 2574: 2568: 2555: 2536: 2533: 2527: 2511: 2487:{\displaystyle f\colon X\to Y} 2478: 2449: 2427: 2408: 2405: 2383: 2317: 2259: 2253: 2223: 2217: 2184: 2128: 2101: 2098: 2095: 2089: 2074: 2068: 2050: 2044: 1994: 1988: 1958: 1952: 1922: 1916: 1886: 1880: 1758: 1752: 1722: 1716: 1564: 1546: 1525: 1519: 1489: 1452: 1434: 1400:since there is an isomorphism 1383: 1365: 1151: 1135: 1112: 1096: 977:{\displaystyle \mathbb {Z} /2} 908: 886: 881: 869: 849: 846: 824: 635: 613: 594: 591: 569: 438: 414: 402: 386: 383: 371: 46:) to be the algebra of stable 13: 1: 12316: 11213:{\displaystyle \pi _{*}(tmf)} 10637:(the only indecomposables of 10561:are the elements of the form 8724:) and Henri Cartan ( 7853:{\displaystyle H_{i}(\pi ,A)} 7778:an abelian group acted on by 5252:. Cohomologically, if we let 3529:{\displaystyle 2n>\deg(x)} 3420:is the identity homomorphism. 2622:is the identity homomorphism. 304:generalized cohomology theory 261:introduced in Steenrod ( 12836:"DĂ©termination des algèbres 12685:10.1016/0040-9383(82)90015-5 12490:{\displaystyle \mathbb {C} } 11171:{\displaystyle \pi _{*}(ko)} 10600:, and these are dual to the 8694:Jean-Pierre Serre ( 6210:and the squaring operations 4557:Bullett–Macdonald identities 2767:{\displaystyle n>\deg(x)} 320:A cohomology operation is a 7: 13224:Encyclopedia of Mathematics 13023:Encyclopedia of Mathematics 13005:Encyclopedia of Mathematics 12834:Cartan, Henri (1954–1955). 12389:Mosher & Tangora (2008) 12294: 12090:{\displaystyle E_{\infty }} 9052:consisting of the elements 8245:and therefore a cocycle of 5664:{\displaystyle \alpha _{k}} 2812:{\displaystyle Sq^{n}(x)=0} 1892:{\displaystyle \pi _{*}(E)} 1197:, the Bockstein element is 493:is a suspension of a space 176:, consisting of all stable 10: 13619: 13545:Princeton University Press 10908:{\displaystyle Sq^{2^{i}}} 10630:{\displaystyle Sq^{2^{i}}} 10345:{\displaystyle \xi _{0}=1} 9958:the dual Steenrod algebra 7751:{\displaystyle H^{q}(X,B)} 6987:{\displaystyle \deg(x)=1.} 5438:. The Steenrod squares of 5377:gives a representation of 3571:{\displaystyle P^{n}(x)=0} 2276:Axiomatic characterization 313: 13217:Rudyak, Yuli B. (2001) , 10645:Relation to formal groups 10150:. The monomial basis for 10143:{\displaystyle (k\geq 0)} 10072:{\displaystyle (k\geq 1)} 8538:elements, and the groups 8238:{\displaystyle E\times X} 8155:{\displaystyle E\times X} 6243:on the cohomology groups 5813:Complex projective spaces 1317:Eilenberg–Maclane spectra 203:. It is generated by the 13000:"Steenrod reduced power" 12560:Adams, J. Frank (1974). 12461:Motivic cohomology with 12172:, whose abutment is the 11995:singular cochain functor 10919:we can form subalgebras 10814:Finite sub-Hopf algebras 10112:{\displaystyle 2p^{k}-1} 10041:{\displaystyle 2p^{k}-2} 10005:{\displaystyle \xi _{k}} 9888:{\displaystyle \xi _{k}} 8658:is also cyclic of order 6147:complex projective space 5819:complex projective plane 5154:Geometric interpretation 4546:{\displaystyle a\leq pb} 3942:{\displaystyle i,j>0} 2265:{\displaystyle E_{*}(X)} 2229:{\displaystyle E_{*}(E)} 2000:{\displaystyle E_{*}(X)} 1964:{\displaystyle E_{*}(E)} 1928:{\displaystyle E_{*}(E)} 1863:are commutative and the 1764:{\displaystyle E_{*}(E)} 1728:{\displaystyle E^{*}(E)} 13304:10.2140/gtm.2007.11.327 12170:Adams spectral sequence 11790:{\displaystyle Sq^{2i}} 11718:{\displaystyle f\in SV} 9921:{\displaystyle 2^{k}-1} 9447:-algebra. It is also a 7896:{\displaystyle u^{n}/c} 7263:is a ring homomorphism 6236:{\displaystyle Sq^{2i}} 5451:{\displaystyle \alpha } 5390:{\displaystyle \alpha } 4001:the Adem relations are 3971:{\displaystyle i<2j} 3703:The Adem relations for 3691:As before, the reduced 1300:{\displaystyle Sq^{2i}} 771:and called the reduced 96:, the Steenrod algebra 12973:SĂ©minaire Henri Cartan 12960: 12940: 12885: 12543: 12497:-motivic modular forms 12491: 12437:Characteristic classes 12282: 12197: 12155: 12120: 12091: 12064: 12044: 12020: 11981: 11942: 11941:{\displaystyle Sq^{k}} 11901: 11817: 11791: 11750: 11719: 11687: 11592: 11506:Frobenius endomorphism 11491: 11299: 11258: 11228:Larry Smith ( 11224:Algebraic construction 11214: 11172: 11130: 11041:giving the filtration 11031: 10953: 10909: 10869: 10838: 10804: 10700: 10674: 10651:dual Steenrod algebras 10631: 10594: 10555: 10529: 10494: 10493:{\displaystyle p>2} 10468: 10422: 10346: 10313: 10264: 10202: 10171: 10144: 10113: 10073: 10042: 10006: 9979: 9952: 9951:{\displaystyle p>2} 9922: 9889: 9858: 9831: 9793: 9763: 9732: 9676: 9589: 9490: 9441: 9404: 9328: 9261: 9196: 9140: 9046: 9045:{\displaystyle p>2} 9016: 8993: 8911: 8862: 8835: 8772: 8752: 8751:{\displaystyle p>2} 8718: 8672: 8652: 8592: 8572: 8552: 8532: 8512: 8486: 8462: 8402: 8382: 8332: 8305: 8273: 8239: 8213: 8186: 8185:{\displaystyle X^{n}.} 8156: 8130: 8106: 8083: 8051: 8024: 8004: 7980: 7897: 7854: 7818:a cohomology class in 7812: 7792: 7772: 7752: 7716:a cohomology class in 7710: 7690: 7670: 7650: 7622: 7529: 7500: 7457: 7330: 7254: 7171: 7015: 6994:For the operations on 6988: 6947: 6844: 6620: 6559: 6495: 6436: 6303: 6267: 6266:{\displaystyle H^{2i}} 6237: 6204: 6203:{\displaystyle Sq^{0}} 6174: 6139: 6071: 6007: 6006:{\displaystyle Sq^{2}} 5973: 5846: 5791: 5726: 5665: 5635: 5577: 5576:{\displaystyle \beta } 5554: 5452: 5432: 5391: 5368: 5320: 5300: 5246: 5214: 5172: 5144: 5091: 5090:{\displaystyle \beta } 5071: 5051: 5028: 4893: 4820: 4819:{\displaystyle p>2} 4791: 4665: 4592: 4547: 4515: 4173: 3995: 3972: 3943: 3908: 3818: 3723: 3682: 3572: 3530: 3486: 3463: 3443: 3414: 3385: 3244: 3243:{\displaystyle p>2} 3218: 3192: 3093: 3092:{\displaystyle Sq^{i}} 3062: 2994:of the exact sequence 2988: 2987:{\displaystyle \beta } 2968: 2967:{\displaystyle Sq^{1}} 2932: 2813: 2768: 2727: 2669: 2616: 2615:{\displaystyle Sq^{0}} 2584: 2488: 2456: 2340: 2266: 2230: 2194: 2161: 2141: 2021: 2001: 1965: 1929: 1893: 1853: 1765: 1729: 1693: 1673: 1612: 1580: 1482: 1390: 1301: 1268: 1241: 1221: 1220:{\displaystyle Sq^{1}} 1191: 1161: 1074: 1073:{\displaystyle \beta } 1051: 1024: 1004: 1003:{\displaystyle p>2} 978: 948: 947:{\displaystyle Sq^{i}} 915: 791:-th power operations: 785: 765: 738: 718: 717:{\displaystyle Sq^{n}} 688: 665: 642: 527: 507: 487: 457: 421: 341: 322:natural transformation 293: 292:{\displaystyle p>2} 271:Bockstein homomorphism 253: 231: 194: 170: 150: 117: 90: 64: 13540:Cohomology operations 13481:10.1073/pnas.39.3.217 13404:10.1073/pnas.39.3.213 13333:Annals of Mathematics 13098:Annals of Mathematics 12961: 12941: 12886: 12736:10.1073/pnas.40.8.704 12615:10.1073/pnas.38.8.720 12544: 12492: 12306:Dual Steenrod algebra 12283: 12198: 12196:{\displaystyle E_{2}} 12156: 12154:{\displaystyle E_{2}} 12121: 12092: 12065: 12045: 12021: 11982: 11943: 11902: 11818: 11792: 11751: 11749:{\displaystyle P^{I}} 11720: 11688: 11593: 11492: 11300: 11259: 11215: 11173: 11131: 11032: 10954: 10910: 10870: 10839: 10805: 10701: 10675: 10632: 10595: 10556: 10530: 10528:{\displaystyle A_{*}} 10495: 10469: 10402: 10347: 10314: 10244: 10203: 10201:{\displaystyle A_{*}} 10172: 10170:{\displaystyle A_{*}} 10145: 10114: 10074: 10043: 10007: 9980: 9978:{\displaystyle A_{*}} 9953: 9923: 9890: 9868:, with one generator 9859: 9857:{\displaystyle A_{*}} 9832: 9794: 9792:{\displaystyle A_{*}} 9764: 9762:{\displaystyle \psi } 9733: 9677: 9590: 9491: 9442: 9405: 9329: 9262: 9197: 9141: 9047: 9017: 8994: 8912: 8863: 8836: 8773: 8753: 8719: 8673: 8653: 8593: 8573: 8553: 8533: 8513: 8487: 8463: 8408:with coefficients in 8403: 8383: 8333: 8306: 8279:with coefficients in 8274: 8240: 8214: 8212:{\displaystyle u^{n}} 8187: 8157: 8131: 8107: 8084: 8057:with coefficients in 8052: 8050:{\displaystyle X^{n}} 8025: 8005: 7981: 7898: 7855: 7813: 7793: 7773: 7753: 7711: 7691: 7671: 7651: 7623: 7530: 7501: 7437: 7331: 7255: 7172: 7016: 7014:{\displaystyle H^{1}} 6989: 6948: 6845: 6621: 6560: 6496: 6437: 6304: 6268: 6238: 6205: 6175: 6140: 6072: 6008: 5974: 5847: 5792: 5706: 5666: 5636: 5578: 5555: 5462:of the normal bundle 5460:Stiefel–Whitney class 5453: 5433: 5392: 5369: 5321: 5301: 5247: 5215: 5173: 5145: 5092: 5072: 5052: 5029: 4894: 4821: 4792: 4666: 4593: 4548: 4516: 4174: 3996: 3973: 3944: 3909: 3784: 3745:). They are given by 3737:) and established by 3724: 3683: 3573: 3531: 3487: 3464: 3444: 3442:{\displaystyle P^{n}} 3415: 3413:{\displaystyle P^{0}} 3386: 3245: 3219: 3193: 3094: 3063: 2989: 2969: 2933: 2814: 2769: 2728: 2670: 2617: 2585: 2489: 2457: 2341: 2267: 2231: 2200:to get a coaction of 2195: 2162: 2142: 2022: 2002: 1966: 1930: 1894: 1854: 1766: 1730: 1694: 1674: 1637:dual Steenrod algebra 1613: 1581: 1462: 1391: 1302: 1269: 1267:{\displaystyle P^{i}} 1242: 1222: 1192: 1162: 1075: 1052: 1050:{\displaystyle P^{i}} 1025: 1005: 979: 949: 916: 786: 766: 764:{\displaystyle P^{i}} 739: 719: 689: 666: 643: 528: 508: 488: 458: 422: 342: 310:Cohomology operations 294: 254: 232: 195: 178:cohomology operations 171: 151: 118: 116:{\displaystyle A_{p}} 91: 65: 48:cohomology operations 13535:Epstein, David B. A. 13093:Milnor, John Willard 13052:, pp. 153–231, 12950: 12895: 12840: 12503: 12479: 12419:The Steenrod Algebra 12311:Cohomology operation 12210: 12180: 12138: 12101: 12074: 12054: 12034: 12001: 11962: 11948:is decomposable for 11922: 11862: 11858:. If there is a map 11801: 11768: 11733: 11700: 11608: 11519: 11327: 11319:algebra homomorphism 11280: 11239: 11182: 11143: 11048: 10966: 10923: 10882: 10848: 10822: 10713: 10684: 10658: 10604: 10565: 10539: 10512: 10478: 10358: 10323: 10219: 10185: 10154: 10122: 10087: 10051: 10016: 9989: 9962: 9936: 9899: 9872: 9841: 9815: 9776: 9753: 9689: 9602: 9506: 9462: 9422: 9339: 9272: 9207: 9157: 9059: 9030: 9006: 8924: 8917:. Then the elements 8872: 8852: 8786: 8762: 8736: 8702: 8662: 8602: 8582: 8578:are cyclic of order 8562: 8542: 8522: 8496: 8485:{\displaystyle \pi } 8476: 8412: 8392: 8342: 8322: 8283: 8249: 8223: 8196: 8166: 8140: 8129:{\displaystyle \pi } 8120: 8096: 8061: 8034: 8014: 7994: 7907: 7872: 7822: 7802: 7791:{\displaystyle \pi } 7782: 7762: 7720: 7700: 7680: 7660: 7649:{\displaystyle \pi } 7640: 7542: 7513: 7346: 7270: 7187: 7028: 6998: 6960: 6865: 6633: 6569: 6505: 6449: 6316: 6281: 6247: 6214: 6184: 6152: 6085: 6017: 5987: 5859: 5824: 5678: 5648: 5590: 5567: 5469: 5442: 5401: 5381: 5336: 5310: 5256: 5224: 5182: 5162: 5101: 5081: 5061: 5041: 4909: 4833: 4804: 4681: 4605: 4576: 4528: 4197: 4008: 3985: 3953: 3921: 3752: 3729:were conjectured by 3707: 3584: 3540: 3499: 3473: 3453: 3426: 3397: 3258: 3228: 3208: 3103: 3073: 2998: 2978: 2948: 2825: 2778: 2740: 2679: 2628: 2596: 2498: 2466: 2354: 2288: 2240: 2204: 2170: 2151: 2031: 2011: 1975: 1939: 1903: 1867: 1775: 1739: 1703: 1683: 1651: 1593: 1407: 1325: 1311:As a cohomology ring 1278: 1251: 1231: 1201: 1175: 1090: 1082:short exact sequence 1064: 1034: 1014: 988: 958: 928: 798: 775: 748: 728: 698: 675: 655: 540: 517: 497: 477: 432: 358: 331: 316:Cohomology operation 277: 243: 215: 184: 160: 131: 100: 80: 54: 13531:Steenrod, Norman E. 13472:1953PNAS...39..217S 13454:Steenrod, Norman E. 13395:1953PNAS...39..213S 13377:Steenrod, Norman E. 13328:Steenrod, Norman E. 13182:Ravenel, Douglas C. 12727:1954PNAS...40..704C 12664:Bullett, Shaun R.; 12606:1952PNAS...38..720A 12241: 11816:{\displaystyle p=2} 10837:{\displaystyle p=2} 10699:{\displaystyle x+y} 10673:{\displaystyle p=2} 10589: 10554:{\displaystyle p=2} 10450: 10292: 9830:{\displaystyle p=2} 9769:makes the (graded) 9749:The linear dual of 9383: 9310: 9135: 9107: 9079: 8717:{\displaystyle p=2} 8511:{\displaystyle p=n} 8388:gives a cocycle of 7528:{\displaystyle n+i} 7151: for any  6077:since it gives the 4591:{\displaystyle p=2} 3722:{\displaystyle p=2} 1433: 1364: 1190:{\displaystyle p=2} 1059:Bockstein operation 230:{\displaystyle p=2} 13598:Algebraic topology 13254:10.1007/BF02564562 13236:Serre, Jean-Pierre 13219:"Steenrod algebra" 13149:Dover Publications 13068:10.1007/BFb0058524 12992:author's home page 12988:Algebraic Topology 12956: 12936: 12881: 12804:10.1007/BF02564270 12539: 12487: 12416:Malkiewich, Cary, 12278: 12213: 12193: 12151: 12116: 12087: 12060: 12040: 12016: 11977: 11956:Michael A. Mandell 11938: 11909:Hopf invariant one 11897: 11850:Hopf invariant one 11813: 11787: 11746: 11715: 11683: 11588: 11487: 11482: 11295: 11254: 11210: 11168: 11126: 11027: 10949: 10905: 10865: 10834: 10800: 10696: 10670: 10627: 10590: 10568: 10551: 10525: 10506:primitive elements 10490: 10464: 10423: 10342: 10309: 10265: 10198: 10167: 10140: 10109: 10069: 10038: 10002: 9975: 9948: 9918: 9885: 9866:polynomial algebra 9854: 9827: 9789: 9759: 9728: 9672: 9648: 9585: 9555: 9486: 9437: 9400: 9345: 9324: 9278: 9257: 9192: 9136: 9114: 9086: 9065: 9042: 9012: 8989: 8907: 8858: 8831: 8768: 8748: 8714: 8668: 8648: 8588: 8568: 8548: 8528: 8508: 8482: 8458: 8398: 8378: 8328: 8301: 8269: 8235: 8209: 8182: 8152: 8126: 8114:contractible space 8102: 8079: 8047: 8020: 8000: 7976: 7893: 7850: 7808: 7788: 7768: 7748: 7706: 7686: 7666: 7646: 7618: 7525: 7496: 7326: 7250: 7167: 7165: 7011: 6984: 6943: 6840: 6838: 6616: 6555: 6491: 6432: 6299: 6263: 6233: 6200: 6170: 6135: 6067: 6003: 5969: 5842: 5787: 5661: 5631: 5573: 5550: 5448: 5428: 5387: 5364: 5316: 5296: 5242: 5210: 5168: 5140: 5087: 5067: 5047: 5024: 4889: 4866: 4816: 4787: 4661: 4638: 4588: 4543: 4511: 4370: 4235: 4169: 4043: 3991: 3968: 3939: 3904: 3719: 3678: 3636: 3568: 3526: 3485:{\displaystyle 2n} 3482: 3459: 3439: 3410: 3381: 3240: 3214: 3188: 3089: 3058: 2984: 2964: 2928: 2880: 2809: 2764: 2723: 2665: 2612: 2580: 2484: 2452: 2336: 2262: 2226: 2190: 2157: 2137: 2017: 1997: 1961: 1925: 1889: 1859:). In fact, these 1849: 1761: 1725: 1689: 1669: 1608: 1576: 1574: 1496: 1417: 1386: 1348: 1297: 1264: 1237: 1217: 1187: 1157: 1080:associated to the 1070: 1047: 1020: 1000: 974: 944: 911: 781: 761: 734: 714: 687:{\displaystyle Sq} 684: 661: 638: 523: 503: 483: 453: 417: 337: 289: 249: 227: 190: 166: 146: 113: 86: 60: 32:algebraic topology 27:Algebraic topology 13554:978-0-691-07924-0 13336:, Second Series, 13201:978-0-08-087440-1 13158:978-0-486-46664-4 13101:, Second Series, 13077:978-3-540-05300-2 13018:"Steenrod square" 12959:{\displaystyle p} 12666:Macdonald, Ian G. 12403:, pp. 63–67. 12063:{\displaystyle p} 12043:{\displaystyle p} 11915:is a power of 2. 11833:Jean-Pierre Serre 11311:symmetric algebra 10212:; it is given by 9803:into an algebra. 9627: 9534: 9015:{\displaystyle I} 8861:{\displaystyle j} 8771:{\displaystyle p} 8671:{\displaystyle p} 8591:{\displaystyle p} 8571:{\displaystyle B} 8551:{\displaystyle A} 8531:{\displaystyle n} 8401:{\displaystyle X} 8331:{\displaystyle c} 8105:{\displaystyle E} 8023:{\displaystyle n} 8003:{\displaystyle u} 7860:. Steenrod ( 7811:{\displaystyle c} 7771:{\displaystyle A} 7709:{\displaystyle u} 7689:{\displaystyle n} 7669:{\displaystyle n} 7591: 7472: 7152: 6273:representing the 5319:{\displaystyle Y} 5171:{\displaystyle X} 5070:{\displaystyle t} 5050:{\displaystyle s} 4881: 4851: 4653: 4623: 4468: 4361: 4315: 4226: 4129: 4034: 3994:{\displaystyle p} 3858: 3615: 3462:{\displaystyle p} 3217:{\displaystyle p} 2859: 2160:{\displaystyle E} 2020:{\displaystyle X} 1692:{\displaystyle E} 1628:, p. 7) and 1626:Cartan (1954–1955 1487: 1484: 1240:{\displaystyle p} 1023:{\displaystyle p} 784:{\displaystyle p} 737:{\displaystyle n} 664:{\displaystyle i} 526:{\displaystyle Y} 506:{\displaystyle X} 486:{\displaystyle Y} 340:{\displaystyle R} 252:{\displaystyle p} 239:Steenrod reduced 193:{\displaystyle p} 169:{\displaystyle p} 89:{\displaystyle p} 63:{\displaystyle p} 16:(Redirected from 13610: 13584: 13565: 13526: 13517: 13483: 13449: 13440: 13406: 13372: 13323: 13297: 13280: 13231: 13213: 13177: 13137: 13088: 13061: 13043: 13030: 13012: 12980: 12970: 12965: 12963: 12962: 12957: 12945: 12943: 12942: 12937: 12932: 12931: 12907: 12906: 12890: 12888: 12887: 12882: 12877: 12876: 12852: 12851: 12830: 12781: 12772: 12738: 12704: 12687: 12660: 12651: 12617: 12583: 12548: 12546: 12545: 12540: 12529: 12528: 12522: 12517: 12512: 12511: 12496: 12494: 12493: 12488: 12486: 12475:The homotopy of 12433: 12431: 12424: 12404: 12398: 12392: 12386: 12380: 12374: 12368: 12362: 12356: 12350: 12344: 12343: 12341: 12340: 12326: 12287: 12285: 12284: 12279: 12271: 12270: 12265: 12256: 12255: 12250: 12240: 12229: 12224: 12202: 12200: 12199: 12194: 12192: 12191: 12160: 12158: 12157: 12152: 12150: 12149: 12125: 12123: 12122: 12117: 12115: 12114: 12109: 12096: 12094: 12093: 12088: 12086: 12085: 12069: 12067: 12066: 12061: 12049: 12047: 12046: 12041: 12025: 12023: 12022: 12017: 12015: 12014: 12009: 11986: 11984: 11983: 11978: 11976: 11975: 11970: 11947: 11945: 11944: 11939: 11937: 11936: 11906: 11904: 11903: 11898: 11896: 11895: 11883: 11882: 11822: 11820: 11819: 11814: 11796: 11794: 11793: 11788: 11786: 11785: 11755: 11753: 11752: 11747: 11745: 11744: 11724: 11722: 11721: 11716: 11692: 11690: 11689: 11684: 11672: 11671: 11653: 11652: 11597: 11595: 11594: 11589: 11577: 11576: 11558: 11557: 11496: 11494: 11493: 11488: 11486: 11485: 11465: 11464: 11304: 11302: 11301: 11296: 11294: 11293: 11288: 11263: 11261: 11260: 11255: 11253: 11252: 11247: 11219: 11217: 11216: 11211: 11194: 11193: 11177: 11175: 11174: 11169: 11155: 11154: 11135: 11133: 11132: 11127: 11122: 11121: 11116: 11115: 11090: 11089: 11084: 11083: 11064: 11063: 11058: 11057: 11036: 11034: 11033: 11028: 11026: 11025: 11024: 11023: 10997: 10996: 10981: 10980: 10958: 10956: 10955: 10950: 10939: 10938: 10933: 10932: 10914: 10912: 10911: 10906: 10904: 10903: 10902: 10901: 10874: 10872: 10871: 10866: 10864: 10863: 10858: 10857: 10843: 10841: 10840: 10835: 10809: 10807: 10806: 10801: 10793: 10792: 10783: 10782: 10770: 10769: 10760: 10759: 10747: 10746: 10737: 10736: 10705: 10703: 10702: 10697: 10679: 10677: 10676: 10671: 10636: 10634: 10633: 10628: 10626: 10625: 10624: 10623: 10599: 10597: 10596: 10591: 10588: 10587: 10586: 10576: 10560: 10558: 10557: 10552: 10534: 10532: 10531: 10526: 10524: 10523: 10499: 10497: 10496: 10491: 10473: 10471: 10470: 10465: 10463: 10462: 10449: 10448: 10447: 10437: 10421: 10416: 10392: 10391: 10376: 10375: 10351: 10349: 10348: 10343: 10335: 10334: 10318: 10316: 10315: 10310: 10305: 10304: 10291: 10290: 10289: 10279: 10263: 10258: 10237: 10236: 10207: 10205: 10204: 10199: 10197: 10196: 10176: 10174: 10173: 10168: 10166: 10165: 10149: 10147: 10146: 10141: 10118: 10116: 10115: 10110: 10102: 10101: 10078: 10076: 10075: 10070: 10047: 10045: 10044: 10039: 10031: 10030: 10011: 10009: 10008: 10003: 10001: 10000: 9984: 9982: 9981: 9976: 9974: 9973: 9957: 9955: 9954: 9949: 9927: 9925: 9924: 9919: 9911: 9910: 9894: 9892: 9891: 9886: 9884: 9883: 9863: 9861: 9860: 9855: 9853: 9852: 9836: 9834: 9833: 9828: 9798: 9796: 9795: 9790: 9788: 9787: 9768: 9766: 9765: 9760: 9737: 9735: 9734: 9729: 9681: 9679: 9678: 9673: 9671: 9670: 9658: 9657: 9647: 9620: 9619: 9594: 9592: 9591: 9586: 9584: 9583: 9568: 9567: 9554: 9527: 9526: 9495: 9493: 9492: 9487: 9453:comultiplication 9446: 9444: 9443: 9438: 9436: 9435: 9430: 9409: 9407: 9406: 9401: 9399: 9398: 9382: 9353: 9333: 9331: 9330: 9325: 9323: 9322: 9309: 9286: 9266: 9264: 9263: 9258: 9241: 9240: 9219: 9218: 9201: 9199: 9198: 9193: 9191: 9190: 9169: 9168: 9145: 9143: 9142: 9137: 9134: 9133: 9132: 9122: 9106: 9105: 9104: 9094: 9078: 9073: 9051: 9049: 9048: 9043: 9024:admissible basis 9021: 9019: 9018: 9013: 8998: 8996: 8995: 8990: 8985: 8984: 8983: 8982: 8962: 8961: 8960: 8959: 8939: 8938: 8916: 8914: 8913: 8908: 8906: 8905: 8884: 8883: 8867: 8865: 8864: 8859: 8840: 8838: 8837: 8832: 8830: 8829: 8811: 8810: 8798: 8797: 8777: 8775: 8774: 8769: 8757: 8755: 8754: 8749: 8723: 8721: 8720: 8715: 8677: 8675: 8674: 8669: 8657: 8655: 8654: 8649: 8614: 8613: 8597: 8595: 8594: 8589: 8577: 8575: 8574: 8569: 8557: 8555: 8554: 8549: 8537: 8535: 8534: 8529: 8517: 8515: 8514: 8509: 8491: 8489: 8488: 8483: 8467: 8465: 8464: 8459: 8424: 8423: 8407: 8405: 8404: 8399: 8387: 8385: 8384: 8379: 8365: 8354: 8353: 8337: 8335: 8334: 8329: 8310: 8308: 8307: 8302: 8278: 8276: 8275: 8270: 8259: 8244: 8242: 8241: 8236: 8218: 8216: 8215: 8210: 8208: 8207: 8191: 8189: 8188: 8183: 8178: 8177: 8161: 8159: 8158: 8153: 8135: 8133: 8132: 8127: 8111: 8109: 8108: 8103: 8088: 8086: 8085: 8080: 8056: 8054: 8053: 8048: 8046: 8045: 8029: 8027: 8026: 8021: 8009: 8007: 8006: 8001: 7985: 7983: 7982: 7977: 7969: 7928: 7927: 7902: 7900: 7899: 7894: 7889: 7884: 7883: 7859: 7857: 7856: 7851: 7834: 7833: 7817: 7815: 7814: 7809: 7797: 7795: 7794: 7789: 7777: 7775: 7774: 7769: 7757: 7755: 7754: 7749: 7732: 7731: 7715: 7713: 7712: 7707: 7695: 7693: 7692: 7687: 7675: 7673: 7672: 7667: 7655: 7653: 7652: 7647: 7627: 7625: 7624: 7619: 7614: 7613: 7598: 7597: 7596: 7583: 7570: 7569: 7557: 7556: 7534: 7532: 7531: 7526: 7505: 7503: 7502: 7497: 7495: 7494: 7479: 7478: 7477: 7464: 7456: 7451: 7433: 7432: 7423: 7422: 7401: 7400: 7367: 7366: 7335: 7333: 7332: 7327: 7313: 7312: 7291: 7290: 7259: 7257: 7256: 7251: 7243: 7242: 7227: 7226: 7211: 7210: 7176: 7174: 7173: 7168: 7166: 7153: 7150: 7147: 7126: 7125: 7109: 7108: 7083: 7082: 7047: 7046: 7020: 7018: 7017: 7012: 7010: 7009: 6993: 6991: 6990: 6985: 6952: 6950: 6949: 6944: 6927: 6922: 6908: 6903: 6895: 6894: 6889: 6877: 6876: 6849: 6847: 6846: 6841: 6839: 6826: 6813: 6812: 6788: 6787: 6763: 6762: 6738: 6737: 6713: 6712: 6688: 6687: 6665: 6664: 6652: 6651: 6625: 6623: 6622: 6617: 6612: 6611: 6606: 6594: 6593: 6581: 6580: 6564: 6562: 6561: 6556: 6548: 6543: 6535: 6534: 6529: 6517: 6516: 6500: 6498: 6497: 6492: 6490: 6489: 6484: 6472: 6471: 6466: 6441: 6439: 6438: 6433: 6425: 6420: 6412: 6411: 6406: 6394: 6393: 6375: 6370: 6362: 6361: 6356: 6344: 6343: 6331: 6330: 6308: 6306: 6305: 6300: 6298: 6297: 6292: 6272: 6270: 6269: 6264: 6262: 6261: 6242: 6240: 6239: 6234: 6232: 6231: 6209: 6207: 6206: 6201: 6199: 6198: 6179: 6177: 6176: 6171: 6169: 6168: 6163: 6144: 6142: 6141: 6136: 6128: 6123: 6115: 6114: 6109: 6097: 6096: 6076: 6074: 6073: 6068: 6060: 6055: 6047: 6046: 6041: 6029: 6028: 6012: 6010: 6009: 6004: 6002: 6001: 5978: 5976: 5975: 5970: 5968: 5957: 5956: 5951: 5939: 5938: 5923: 5922: 5917: 5905: 5904: 5889: 5888: 5883: 5871: 5870: 5851: 5849: 5848: 5843: 5841: 5840: 5835: 5796: 5794: 5793: 5788: 5777: 5776: 5772: 5767: 5766: 5749: 5748: 5736: 5735: 5725: 5720: 5693: 5692: 5670: 5668: 5667: 5662: 5660: 5659: 5640: 5638: 5637: 5632: 5627: 5626: 5608: 5607: 5582: 5580: 5579: 5574: 5559: 5557: 5556: 5551: 5540: 5539: 5535: 5519: 5518: 5506: 5505: 5484: 5483: 5457: 5455: 5454: 5449: 5437: 5435: 5434: 5429: 5421: 5420: 5416: 5396: 5394: 5393: 5388: 5373: 5371: 5370: 5365: 5348: 5347: 5325: 5323: 5322: 5317: 5305: 5303: 5302: 5297: 5286: 5285: 5251: 5249: 5248: 5243: 5219: 5217: 5216: 5211: 5200: 5199: 5177: 5175: 5174: 5169: 5149: 5147: 5146: 5141: 5096: 5094: 5093: 5088: 5076: 5074: 5073: 5068: 5056: 5054: 5053: 5048: 5037:is symmetric in 5033: 5031: 5030: 5025: 5020: 5019: 5001: 5000: 4970: 4969: 4951: 4950: 4898: 4896: 4895: 4890: 4888: 4887: 4882: 4879: 4876: 4875: 4865: 4825: 4823: 4822: 4817: 4796: 4794: 4793: 4788: 4783: 4782: 4752: 4751: 4730: 4729: 4699: 4698: 4670: 4668: 4667: 4662: 4660: 4659: 4654: 4651: 4648: 4647: 4637: 4597: 4595: 4594: 4589: 4563:Ian G. Macdonald 4552: 4550: 4549: 4544: 4520: 4518: 4517: 4512: 4510: 4509: 4497: 4496: 4475: 4474: 4473: 4467: 4447: 4408: 4401: 4400: 4369: 4357: 4356: 4347: 4346: 4322: 4321: 4320: 4314: 4300: 4267: 4260: 4259: 4234: 4222: 4221: 4209: 4208: 4178: 4176: 4175: 4170: 4168: 4167: 4158: 4157: 4136: 4135: 4134: 4128: 4114: 4075: 4068: 4067: 4042: 4030: 4029: 4020: 4019: 4000: 3998: 3997: 3992: 3977: 3975: 3974: 3969: 3948: 3946: 3945: 3940: 3913: 3911: 3910: 3905: 3903: 3902: 3890: 3889: 3865: 3864: 3863: 3857: 3843: 3825: 3817: 3810: 3798: 3780: 3779: 3767: 3766: 3728: 3726: 3725: 3720: 3687: 3685: 3684: 3679: 3671: 3670: 3649: 3648: 3635: 3596: 3595: 3580:Cartan Formula: 3577: 3575: 3574: 3569: 3552: 3551: 3535: 3533: 3532: 3527: 3491: 3489: 3488: 3483: 3468: 3466: 3465: 3460: 3448: 3446: 3445: 3440: 3438: 3437: 3419: 3417: 3416: 3411: 3409: 3408: 3390: 3388: 3387: 3382: 3377: 3369: 3364: 3350: 3349: 3310: 3302: 3297: 3283: 3282: 3270: 3269: 3249: 3247: 3246: 3241: 3223: 3221: 3220: 3215: 3197: 3195: 3194: 3189: 3181: 3176: 3159: 3158: 3134: 3129: 3115: 3114: 3098: 3096: 3095: 3090: 3088: 3087: 3067: 3065: 3064: 3059: 3048: 3043: 3032: 3027: 3016: 3011: 2993: 2991: 2990: 2985: 2973: 2971: 2970: 2965: 2963: 2962: 2937: 2935: 2934: 2929: 2921: 2920: 2896: 2895: 2879: 2840: 2839: 2821:Cartan Formula: 2818: 2816: 2815: 2810: 2793: 2792: 2773: 2771: 2770: 2765: 2732: 2730: 2729: 2724: 2716: 2711: 2697: 2696: 2674: 2672: 2671: 2666: 2643: 2642: 2621: 2619: 2618: 2613: 2611: 2610: 2589: 2587: 2586: 2581: 2567: 2566: 2554: 2553: 2526: 2525: 2510: 2509: 2493: 2491: 2490: 2485: 2461: 2459: 2458: 2453: 2445: 2440: 2426: 2425: 2401: 2396: 2382: 2381: 2369: 2368: 2345: 2343: 2342: 2337: 2335: 2334: 2316: 2315: 2303: 2302: 2271: 2269: 2268: 2263: 2252: 2251: 2235: 2233: 2232: 2227: 2216: 2215: 2199: 2197: 2196: 2191: 2183: 2166: 2164: 2163: 2158: 2146: 2144: 2143: 2138: 2136: 2135: 2108: 2088: 2087: 2078: 2077: 2067: 2066: 2043: 2042: 2026: 2024: 2023: 2018: 2006: 2004: 2003: 1998: 1987: 1986: 1970: 1968: 1967: 1962: 1951: 1950: 1934: 1932: 1931: 1926: 1915: 1914: 1898: 1896: 1895: 1890: 1879: 1878: 1858: 1856: 1855: 1850: 1848: 1847: 1842: 1830: 1770: 1768: 1767: 1762: 1751: 1750: 1734: 1732: 1731: 1726: 1715: 1714: 1698: 1696: 1695: 1690: 1678: 1676: 1675: 1670: 1668: 1667: 1662: 1617: 1615: 1614: 1609: 1607: 1606: 1601: 1585: 1583: 1582: 1577: 1575: 1571: 1567: 1563: 1562: 1557: 1539: 1538: 1533: 1518: 1517: 1497: 1495: 1485: 1481: 1476: 1451: 1450: 1445: 1432: 1427: 1422: 1395: 1393: 1392: 1387: 1382: 1381: 1376: 1363: 1358: 1353: 1341: 1340: 1335: 1334: 1306: 1304: 1303: 1298: 1296: 1295: 1273: 1271: 1270: 1265: 1263: 1262: 1246: 1244: 1243: 1238: 1227:and the reduced 1226: 1224: 1223: 1218: 1216: 1215: 1196: 1194: 1193: 1188: 1166: 1164: 1163: 1158: 1147: 1142: 1134: 1133: 1124: 1119: 1108: 1103: 1079: 1077: 1076: 1071: 1056: 1054: 1053: 1048: 1046: 1045: 1029: 1027: 1026: 1021: 1009: 1007: 1006: 1001: 983: 981: 980: 975: 970: 965: 953: 951: 950: 945: 943: 942: 920: 918: 917: 912: 904: 899: 885: 884: 842: 837: 823: 822: 810: 809: 790: 788: 787: 782: 770: 768: 767: 762: 760: 759: 743: 741: 740: 735: 723: 721: 720: 715: 713: 712: 693: 691: 690: 685: 670: 668: 667: 662: 647: 645: 644: 639: 631: 626: 612: 611: 587: 582: 568: 567: 555: 554: 532: 530: 529: 524: 512: 510: 509: 504: 492: 490: 489: 484: 462: 460: 459: 454: 426: 424: 423: 418: 401: 400: 370: 369: 346: 344: 343: 338: 298: 296: 295: 290: 258: 256: 255: 250: 236: 234: 233: 228: 205:Steenrod squares 199: 197: 196: 191: 175: 173: 172: 167: 155: 153: 152: 147: 145: 144: 139: 122: 120: 119: 114: 112: 111: 95: 93: 92: 87: 69: 67: 66: 61: 40:Henri Cartan 36:Steenrod algebra 21: 13618: 13617: 13613: 13612: 13611: 13609: 13608: 13607: 13588: 13587: 13555: 13346:10.2307/1969172 13202: 13159: 13147:, Mineola, NY: 13111:10.2307/1969932 13078: 13059:10.1.1.205.6640 13050:Springer-Verlag 13041: 12968: 12951: 12948: 12947: 12927: 12923: 12902: 12898: 12896: 12893: 12892: 12872: 12868: 12847: 12843: 12841: 12838: 12837: 12572: 12556: 12524: 12523: 12518: 12513: 12507: 12506: 12504: 12501: 12500: 12482: 12480: 12477: 12476: 12452: 12450:Motivic setting 12429: 12422: 12412: 12407: 12399: 12395: 12387: 12383: 12375: 12371: 12363: 12359: 12351: 12347: 12338: 12336: 12328: 12327: 12323: 12319: 12297: 12266: 12261: 12260: 12251: 12246: 12245: 12230: 12225: 12214: 12211: 12208: 12207: 12187: 12183: 12181: 12178: 12177: 12145: 12141: 12139: 12136: 12135: 12132: 12110: 12105: 12104: 12102: 12099: 12098: 12081: 12077: 12075: 12072: 12071: 12055: 12052: 12051: 12035: 12032: 12031: 12010: 12005: 12004: 12002: 11999: 11998: 11971: 11966: 11965: 11963: 11960: 11959: 11932: 11928: 11923: 11920: 11919: 11891: 11887: 11869: 11865: 11863: 11860: 11859: 11829: 11802: 11799: 11798: 11778: 11774: 11769: 11766: 11765: 11740: 11736: 11734: 11731: 11730: 11701: 11698: 11697: 11667: 11663: 11645: 11641: 11609: 11606: 11605: 11572: 11568: 11553: 11549: 11520: 11517: 11516: 11481: 11480: 11469: 11460: 11456: 11399: 11398: 11331: 11330: 11328: 11325: 11324: 11289: 11284: 11283: 11281: 11278: 11277: 11248: 11243: 11242: 11240: 11237: 11236: 11226: 11189: 11185: 11183: 11180: 11179: 11150: 11146: 11144: 11141: 11140: 11117: 11111: 11110: 11109: 11085: 11079: 11078: 11077: 11059: 11053: 11052: 11051: 11049: 11046: 11045: 11019: 11015: 11014: 11010: 10992: 10988: 10976: 10972: 10967: 10964: 10963: 10934: 10928: 10927: 10926: 10924: 10921: 10920: 10897: 10893: 10892: 10888: 10883: 10880: 10879: 10859: 10853: 10852: 10851: 10849: 10846: 10845: 10823: 10820: 10819: 10816: 10788: 10784: 10778: 10774: 10765: 10761: 10755: 10751: 10742: 10738: 10732: 10728: 10714: 10711: 10710: 10685: 10682: 10681: 10659: 10656: 10655: 10647: 10619: 10615: 10614: 10610: 10605: 10602: 10601: 10582: 10578: 10577: 10572: 10566: 10563: 10562: 10540: 10537: 10536: 10519: 10515: 10513: 10510: 10509: 10479: 10476: 10475: 10458: 10454: 10443: 10439: 10438: 10427: 10417: 10406: 10387: 10383: 10371: 10367: 10359: 10356: 10355: 10330: 10326: 10324: 10321: 10320: 10300: 10296: 10285: 10281: 10280: 10269: 10259: 10248: 10232: 10228: 10220: 10217: 10216: 10192: 10188: 10186: 10183: 10182: 10161: 10157: 10155: 10152: 10151: 10123: 10120: 10119: 10097: 10093: 10088: 10085: 10084: 10082: 10052: 10049: 10048: 10026: 10022: 10017: 10014: 10013: 9996: 9992: 9990: 9987: 9986: 9969: 9965: 9963: 9960: 9959: 9937: 9934: 9933: 9906: 9902: 9900: 9897: 9896: 9879: 9875: 9873: 9870: 9869: 9848: 9844: 9842: 9839: 9838: 9816: 9813: 9812: 9805:John Milnor 9783: 9779: 9777: 9774: 9773: 9754: 9751: 9750: 9690: 9687: 9686: 9666: 9662: 9653: 9649: 9631: 9615: 9611: 9603: 9600: 9599: 9579: 9575: 9563: 9559: 9538: 9522: 9518: 9507: 9504: 9503: 9463: 9460: 9459: 9431: 9426: 9425: 9423: 9420: 9419: 9416: 9394: 9390: 9354: 9349: 9340: 9337: 9336: 9318: 9314: 9287: 9282: 9273: 9270: 9269: 9236: 9232: 9214: 9210: 9208: 9205: 9204: 9180: 9176: 9164: 9160: 9158: 9155: 9154: 9128: 9124: 9123: 9118: 9100: 9096: 9095: 9090: 9074: 9069: 9060: 9057: 9056: 9031: 9028: 9027: 9007: 9004: 9003: 8978: 8974: 8973: 8969: 8955: 8951: 8950: 8946: 8934: 8930: 8925: 8922: 8921: 8895: 8891: 8879: 8875: 8873: 8870: 8869: 8868:, we have that 8853: 8850: 8849: 8825: 8821: 8806: 8802: 8793: 8789: 8787: 8784: 8783: 8763: 8760: 8759: 8737: 8734: 8733: 8703: 8700: 8699: 8692: 8684: 8663: 8660: 8659: 8609: 8605: 8603: 8600: 8599: 8583: 8580: 8579: 8563: 8560: 8559: 8543: 8540: 8539: 8523: 8520: 8519: 8497: 8494: 8493: 8477: 8474: 8473: 8419: 8415: 8413: 8410: 8409: 8393: 8390: 8389: 8361: 8349: 8345: 8343: 8340: 8339: 8323: 8320: 8319: 8284: 8281: 8280: 8255: 8250: 8247: 8246: 8224: 8221: 8220: 8203: 8199: 8197: 8194: 8193: 8173: 8169: 8167: 8164: 8163: 8141: 8138: 8137: 8121: 8118: 8117: 8097: 8094: 8093: 8062: 8059: 8058: 8041: 8037: 8035: 8032: 8031: 8015: 8012: 8011: 7995: 7992: 7991: 7965: 7914: 7910: 7908: 7905: 7904: 7885: 7879: 7875: 7873: 7870: 7869: 7829: 7825: 7823: 7820: 7819: 7803: 7800: 7799: 7783: 7780: 7779: 7763: 7760: 7759: 7727: 7723: 7721: 7718: 7717: 7701: 7698: 7697: 7681: 7678: 7677: 7661: 7658: 7657: 7641: 7638: 7637: 7634: 7603: 7599: 7592: 7579: 7578: 7577: 7565: 7561: 7552: 7548: 7543: 7540: 7539: 7514: 7511: 7510: 7484: 7480: 7473: 7460: 7459: 7458: 7452: 7441: 7428: 7424: 7418: 7414: 7396: 7392: 7362: 7358: 7347: 7344: 7343: 7308: 7304: 7286: 7282: 7271: 7268: 7267: 7238: 7234: 7222: 7218: 7206: 7202: 7188: 7185: 7184: 7164: 7163: 7149: 7146: 7136: 7121: 7117: 7111: 7110: 7104: 7100: 7093: 7078: 7074: 7068: 7067: 7057: 7042: 7038: 7031: 7029: 7026: 7025: 7005: 7001: 6999: 6996: 6995: 6961: 6958: 6957: 6923: 6918: 6904: 6899: 6890: 6882: 6881: 6872: 6868: 6866: 6863: 6862: 6856: 6837: 6836: 6824: 6823: 6808: 6804: 6783: 6779: 6758: 6754: 6733: 6729: 6708: 6704: 6683: 6679: 6669: 6660: 6656: 6647: 6643: 6636: 6634: 6631: 6630: 6607: 6599: 6598: 6589: 6585: 6576: 6572: 6570: 6567: 6566: 6544: 6539: 6530: 6522: 6521: 6512: 6508: 6506: 6503: 6502: 6485: 6477: 6476: 6467: 6459: 6458: 6450: 6447: 6446: 6421: 6416: 6407: 6399: 6398: 6389: 6385: 6371: 6366: 6357: 6349: 6348: 6339: 6335: 6326: 6322: 6317: 6314: 6313: 6293: 6285: 6284: 6282: 6279: 6278: 6254: 6250: 6248: 6245: 6244: 6224: 6220: 6215: 6212: 6211: 6194: 6190: 6185: 6182: 6181: 6164: 6156: 6155: 6153: 6150: 6149: 6124: 6119: 6110: 6102: 6101: 6092: 6088: 6086: 6083: 6082: 6056: 6051: 6042: 6034: 6033: 6024: 6020: 6018: 6015: 6014: 5997: 5993: 5988: 5985: 5984: 5964: 5952: 5944: 5943: 5934: 5930: 5918: 5910: 5909: 5900: 5896: 5884: 5876: 5875: 5866: 5862: 5860: 5857: 5856: 5836: 5828: 5827: 5825: 5822: 5821: 5815: 5810: 5768: 5762: 5758: 5757: 5753: 5744: 5740: 5731: 5727: 5721: 5710: 5688: 5684: 5679: 5676: 5675: 5655: 5651: 5649: 5646: 5645: 5622: 5618: 5603: 5599: 5591: 5588: 5587: 5568: 5565: 5564: 5531: 5527: 5523: 5514: 5510: 5501: 5497: 5479: 5475: 5470: 5467: 5466: 5443: 5440: 5439: 5412: 5408: 5404: 5402: 5399: 5398: 5382: 5379: 5378: 5343: 5339: 5337: 5334: 5333: 5328:pushforward map 5311: 5308: 5307: 5281: 5277: 5257: 5254: 5253: 5225: 5222: 5221: 5195: 5191: 5183: 5180: 5179: 5163: 5160: 5159: 5156: 5102: 5099: 5098: 5082: 5079: 5078: 5062: 5059: 5058: 5042: 5039: 5038: 5015: 5011: 4990: 4986: 4959: 4955: 4946: 4942: 4910: 4907: 4906: 4883: 4878: 4877: 4871: 4867: 4855: 4834: 4831: 4830: 4805: 4802: 4801: 4778: 4774: 4747: 4743: 4725: 4721: 4694: 4690: 4682: 4679: 4678: 4655: 4650: 4649: 4643: 4639: 4627: 4606: 4603: 4602: 4577: 4574: 4573: 4559: 4529: 4526: 4525: 4505: 4501: 4480: 4476: 4469: 4448: 4410: 4404: 4403: 4402: 4384: 4380: 4365: 4352: 4348: 4330: 4326: 4316: 4301: 4269: 4263: 4262: 4261: 4249: 4245: 4230: 4217: 4213: 4204: 4200: 4198: 4195: 4194: 4163: 4159: 4141: 4137: 4130: 4115: 4077: 4071: 4070: 4069: 4057: 4053: 4038: 4025: 4021: 4015: 4011: 4009: 4006: 4005: 3986: 3983: 3982: 3954: 3951: 3950: 3922: 3919: 3918: 3898: 3894: 3873: 3869: 3859: 3844: 3827: 3821: 3820: 3819: 3806: 3799: 3788: 3775: 3771: 3762: 3758: 3753: 3750: 3749: 3731:Wen-tsĂĽn Wu 3708: 3705: 3704: 3701: 3666: 3662: 3644: 3640: 3619: 3591: 3587: 3585: 3582: 3581: 3547: 3543: 3541: 3538: 3537: 3500: 3497: 3496: 3474: 3471: 3470: 3454: 3451: 3450: 3433: 3429: 3427: 3424: 3423: 3404: 3400: 3398: 3395: 3394: 3373: 3365: 3360: 3321: 3317: 3306: 3298: 3293: 3278: 3274: 3265: 3261: 3259: 3256: 3255: 3229: 3226: 3225: 3224:-th powers for 3209: 3206: 3205: 3177: 3172: 3148: 3144: 3130: 3125: 3110: 3106: 3104: 3101: 3100: 3083: 3079: 3074: 3071: 3070: 3044: 3039: 3028: 3023: 3012: 3007: 2999: 2996: 2995: 2979: 2976: 2975: 2958: 2954: 2949: 2946: 2945: 2916: 2912: 2891: 2887: 2863: 2835: 2831: 2826: 2823: 2822: 2788: 2784: 2779: 2776: 2775: 2741: 2738: 2737: 2712: 2707: 2692: 2688: 2680: 2677: 2676: 2638: 2634: 2629: 2626: 2625: 2606: 2602: 2597: 2594: 2593: 2562: 2558: 2549: 2545: 2521: 2517: 2505: 2501: 2499: 2496: 2495: 2467: 2464: 2463: 2441: 2436: 2415: 2411: 2397: 2392: 2377: 2373: 2364: 2360: 2355: 2352: 2351: 2324: 2320: 2311: 2307: 2298: 2294: 2289: 2286: 2285: 2278: 2247: 2243: 2241: 2238: 2237: 2211: 2207: 2205: 2202: 2201: 2179: 2171: 2168: 2167: 2152: 2149: 2148: 2131: 2127: 2104: 2083: 2079: 2062: 2058: 2057: 2053: 2038: 2034: 2032: 2029: 2028: 2012: 2009: 2008: 1982: 1978: 1976: 1973: 1972: 1946: 1942: 1940: 1937: 1936: 1910: 1906: 1904: 1901: 1900: 1874: 1870: 1868: 1865: 1864: 1843: 1838: 1837: 1826: 1776: 1773: 1772: 1746: 1742: 1740: 1737: 1736: 1710: 1706: 1704: 1701: 1700: 1684: 1681: 1680: 1663: 1658: 1657: 1652: 1649: 1648: 1645: 1602: 1597: 1596: 1594: 1591: 1590: 1573: 1572: 1558: 1553: 1552: 1534: 1529: 1528: 1507: 1503: 1502: 1498: 1488: 1483: 1477: 1466: 1455: 1446: 1441: 1440: 1428: 1423: 1418: 1410: 1408: 1405: 1404: 1377: 1372: 1371: 1359: 1354: 1349: 1336: 1330: 1329: 1328: 1326: 1323: 1322: 1313: 1288: 1284: 1279: 1276: 1275: 1258: 1254: 1252: 1249: 1248: 1232: 1229: 1228: 1211: 1207: 1202: 1199: 1198: 1176: 1173: 1172: 1143: 1138: 1129: 1125: 1120: 1115: 1104: 1099: 1091: 1088: 1087: 1065: 1062: 1061: 1041: 1037: 1035: 1032: 1031: 1015: 1012: 1011: 989: 986: 985: 966: 961: 959: 956: 955: 938: 934: 929: 926: 925: 900: 895: 856: 852: 838: 833: 818: 814: 805: 801: 799: 796: 795: 776: 773: 772: 755: 751: 749: 746: 745: 729: 726: 725: 708: 704: 699: 696: 695: 676: 673: 672: 656: 653: 652: 627: 622: 601: 597: 583: 578: 563: 559: 550: 546: 541: 538: 537: 518: 515: 514: 498: 495: 494: 478: 475: 474: 433: 430: 429: 393: 389: 365: 361: 359: 356: 355: 332: 329: 328: 318: 312: 278: 275: 274: 244: 241: 240: 216: 213: 212: 185: 182: 181: 161: 158: 157: 140: 135: 134: 132: 129: 128: 127:over the field 107: 103: 101: 98: 97: 81: 78: 77: 55: 52: 51: 38:was defined by 28: 23: 22: 18:Steenrod square 15: 12: 11: 5: 13616: 13606: 13605: 13600: 13586: 13585: 13566: 13553: 13527: 13466:(3): 217–223, 13450: 13389:(3): 213–217, 13373: 13340:(2): 290–320, 13324: 13281: 13248:(1): 198–232, 13232: 13214: 13200: 13192:Academic Press 13178: 13157: 13138: 13105:(1): 150–171, 13089: 13076: 13031: 13013: 12995: 12981: 12955: 12935: 12930: 12926: 12922: 12919: 12916: 12913: 12910: 12905: 12901: 12880: 12875: 12871: 12867: 12864: 12861: 12858: 12855: 12850: 12846: 12831: 12782: 12721:(8): 704–707, 12705: 12678:(3): 329–332, 12661: 12600:(8): 720–726, 12584: 12570: 12555: 12552: 12551: 12550: 12549:to motivic tmf 12538: 12535: 12532: 12527: 12521: 12516: 12510: 12485: 12472: 12467: 12458: 12451: 12448: 12447: 12446: 12440: 12434: 12411: 12408: 12406: 12405: 12401:Ravenel (1986) 12393: 12381: 12379:, p. 280. 12369: 12367:, p. 279. 12357: 12355:, p. 277. 12345: 12320: 12318: 12315: 12314: 12313: 12308: 12303: 12296: 12293: 12289: 12288: 12277: 12274: 12269: 12264: 12259: 12254: 12249: 12244: 12239: 12236: 12233: 12228: 12223: 12220: 12217: 12190: 12186: 12161:term for the ( 12148: 12144: 12131: 12128: 12113: 12108: 12084: 12080: 12059: 12039: 12013: 12008: 11974: 11969: 11935: 11931: 11927: 11894: 11890: 11886: 11881: 11878: 11875: 11872: 11868: 11846:J. Frank Adams 11828: 11825: 11812: 11809: 11806: 11784: 11781: 11777: 11773: 11760:th powers for 11743: 11739: 11714: 11711: 11708: 11705: 11694: 11693: 11682: 11679: 11676: 11670: 11666: 11662: 11659: 11656: 11651: 11648: 11644: 11640: 11637: 11634: 11631: 11628: 11625: 11622: 11619: 11616: 11613: 11599: 11598: 11587: 11584: 11581: 11575: 11571: 11567: 11564: 11561: 11556: 11552: 11548: 11545: 11542: 11539: 11536: 11533: 11530: 11527: 11524: 11498: 11497: 11484: 11479: 11476: 11473: 11470: 11468: 11463: 11459: 11455: 11452: 11449: 11446: 11443: 11440: 11437: 11434: 11431: 11428: 11425: 11422: 11419: 11416: 11413: 11410: 11407: 11404: 11401: 11400: 11397: 11394: 11391: 11388: 11385: 11382: 11379: 11376: 11373: 11370: 11367: 11364: 11361: 11358: 11355: 11352: 11349: 11346: 11343: 11340: 11337: 11336: 11334: 11317:. There is an 11292: 11287: 11251: 11246: 11225: 11222: 11209: 11206: 11203: 11200: 11197: 11192: 11188: 11167: 11164: 11161: 11158: 11153: 11149: 11137: 11136: 11125: 11120: 11114: 11108: 11105: 11102: 11099: 11096: 11093: 11088: 11082: 11076: 11073: 11070: 11067: 11062: 11056: 11039: 11038: 11022: 11018: 11013: 11009: 11006: 11003: 11000: 10995: 10991: 10987: 10984: 10979: 10975: 10971: 10948: 10945: 10942: 10937: 10931: 10917: 10916: 10900: 10896: 10891: 10887: 10862: 10856: 10833: 10830: 10827: 10815: 10812: 10811: 10810: 10799: 10796: 10791: 10787: 10781: 10777: 10773: 10768: 10764: 10758: 10754: 10750: 10745: 10741: 10735: 10731: 10727: 10724: 10721: 10718: 10695: 10692: 10689: 10669: 10666: 10663: 10646: 10643: 10622: 10618: 10613: 10609: 10585: 10581: 10575: 10571: 10550: 10547: 10544: 10522: 10518: 10502: 10501: 10489: 10486: 10483: 10461: 10457: 10453: 10446: 10442: 10436: 10433: 10430: 10426: 10420: 10415: 10412: 10409: 10405: 10401: 10398: 10395: 10390: 10386: 10382: 10379: 10374: 10370: 10366: 10363: 10353: 10341: 10338: 10333: 10329: 10308: 10303: 10299: 10295: 10288: 10284: 10278: 10275: 10272: 10268: 10262: 10257: 10254: 10251: 10247: 10243: 10240: 10235: 10231: 10227: 10224: 10195: 10191: 10164: 10160: 10139: 10136: 10133: 10130: 10127: 10108: 10105: 10100: 10096: 10092: 10080: 10068: 10065: 10062: 10059: 10056: 10037: 10034: 10029: 10025: 10021: 9999: 9995: 9972: 9968: 9947: 9944: 9941: 9917: 9914: 9909: 9905: 9882: 9878: 9851: 9847: 9826: 9823: 9820: 9811:) proved, for 9786: 9782: 9758: 9744:co-commutative 9740: 9739: 9727: 9724: 9721: 9718: 9715: 9712: 9709: 9706: 9703: 9700: 9697: 9694: 9683: 9682: 9669: 9665: 9661: 9656: 9652: 9646: 9643: 9640: 9637: 9634: 9630: 9626: 9623: 9618: 9614: 9610: 9607: 9596: 9595: 9582: 9578: 9574: 9571: 9566: 9562: 9558: 9553: 9550: 9547: 9544: 9541: 9537: 9533: 9530: 9525: 9521: 9517: 9514: 9511: 9497: 9496: 9485: 9482: 9479: 9476: 9473: 9470: 9467: 9434: 9429: 9415: 9412: 9411: 9410: 9397: 9393: 9389: 9386: 9381: 9378: 9375: 9372: 9369: 9366: 9363: 9360: 9357: 9352: 9348: 9344: 9334: 9321: 9317: 9313: 9308: 9305: 9302: 9299: 9296: 9293: 9290: 9285: 9281: 9277: 9267: 9256: 9253: 9250: 9247: 9244: 9239: 9235: 9231: 9228: 9225: 9222: 9217: 9213: 9202: 9189: 9186: 9183: 9179: 9175: 9172: 9167: 9163: 9148: 9147: 9131: 9127: 9121: 9117: 9113: 9110: 9103: 9099: 9093: 9089: 9085: 9082: 9077: 9072: 9068: 9064: 9041: 9038: 9035: 9011: 9000: 8999: 8988: 8981: 8977: 8972: 8968: 8965: 8958: 8954: 8949: 8945: 8942: 8937: 8933: 8929: 8904: 8901: 8898: 8894: 8890: 8887: 8882: 8878: 8857: 8842: 8841: 8828: 8824: 8820: 8817: 8814: 8809: 8805: 8801: 8796: 8792: 8767: 8747: 8744: 8741: 8713: 8710: 8707: 8691: 8688: 8683: 8680: 8667: 8647: 8644: 8641: 8638: 8635: 8632: 8629: 8626: 8623: 8620: 8617: 8612: 8608: 8587: 8567: 8547: 8527: 8507: 8504: 8501: 8481: 8470: 8469: 8457: 8454: 8451: 8448: 8445: 8442: 8439: 8436: 8433: 8430: 8427: 8422: 8418: 8397: 8377: 8374: 8371: 8368: 8364: 8360: 8357: 8352: 8348: 8327: 8312: 8300: 8297: 8294: 8291: 8288: 8268: 8265: 8262: 8258: 8254: 8234: 8231: 8228: 8206: 8202: 8181: 8176: 8172: 8151: 8148: 8145: 8125: 8101: 8090: 8078: 8075: 8072: 8069: 8066: 8044: 8040: 8019: 7999: 7986:, as follows. 7975: 7972: 7968: 7964: 7961: 7958: 7955: 7952: 7949: 7946: 7943: 7940: 7937: 7934: 7931: 7926: 7923: 7920: 7917: 7913: 7892: 7888: 7882: 7878: 7849: 7846: 7843: 7840: 7837: 7832: 7828: 7807: 7787: 7767: 7747: 7744: 7741: 7738: 7735: 7730: 7726: 7705: 7685: 7665: 7656:is any degree 7645: 7633: 7630: 7629: 7628: 7617: 7612: 7609: 7606: 7602: 7595: 7590: 7587: 7582: 7576: 7573: 7568: 7564: 7560: 7555: 7551: 7547: 7524: 7521: 7518: 7507: 7506: 7493: 7490: 7487: 7483: 7476: 7471: 7468: 7463: 7455: 7450: 7447: 7444: 7440: 7436: 7431: 7427: 7421: 7417: 7413: 7410: 7407: 7404: 7399: 7395: 7391: 7388: 7385: 7382: 7379: 7376: 7373: 7370: 7365: 7361: 7357: 7354: 7351: 7337: 7336: 7325: 7322: 7319: 7316: 7311: 7307: 7303: 7300: 7297: 7294: 7289: 7285: 7281: 7278: 7275: 7261: 7260: 7249: 7246: 7241: 7237: 7233: 7230: 7225: 7221: 7217: 7214: 7209: 7205: 7201: 7198: 7195: 7192: 7178: 7177: 7162: 7159: 7156: 7148: 7145: 7142: 7139: 7137: 7135: 7132: 7129: 7124: 7120: 7116: 7113: 7112: 7107: 7103: 7099: 7096: 7094: 7092: 7089: 7086: 7081: 7077: 7073: 7070: 7069: 7066: 7063: 7060: 7058: 7056: 7053: 7050: 7045: 7041: 7037: 7034: 7033: 7008: 7004: 6983: 6980: 6977: 6974: 6971: 6968: 6965: 6954: 6953: 6942: 6939: 6936: 6933: 6930: 6926: 6921: 6917: 6914: 6911: 6907: 6902: 6898: 6893: 6888: 6885: 6880: 6875: 6871: 6855: 6852: 6851: 6850: 6835: 6832: 6829: 6827: 6825: 6822: 6819: 6816: 6811: 6807: 6803: 6800: 6797: 6794: 6791: 6786: 6782: 6778: 6775: 6772: 6769: 6766: 6761: 6757: 6753: 6750: 6747: 6744: 6741: 6736: 6732: 6728: 6725: 6722: 6719: 6716: 6711: 6707: 6703: 6700: 6697: 6694: 6691: 6686: 6682: 6678: 6675: 6672: 6670: 6668: 6663: 6659: 6655: 6650: 6646: 6642: 6639: 6638: 6615: 6610: 6605: 6602: 6597: 6592: 6588: 6584: 6579: 6575: 6554: 6551: 6547: 6542: 6538: 6533: 6528: 6525: 6520: 6515: 6511: 6488: 6483: 6480: 6475: 6470: 6465: 6462: 6457: 6454: 6443: 6442: 6431: 6428: 6424: 6419: 6415: 6410: 6405: 6402: 6397: 6392: 6388: 6384: 6381: 6378: 6374: 6369: 6365: 6360: 6355: 6352: 6347: 6342: 6338: 6334: 6329: 6325: 6321: 6296: 6291: 6288: 6260: 6257: 6253: 6230: 6227: 6223: 6219: 6197: 6193: 6189: 6167: 6162: 6159: 6134: 6131: 6127: 6122: 6118: 6113: 6108: 6105: 6100: 6095: 6091: 6066: 6063: 6059: 6054: 6050: 6045: 6040: 6037: 6032: 6027: 6023: 6000: 5996: 5992: 5981: 5980: 5967: 5963: 5960: 5955: 5950: 5947: 5942: 5937: 5933: 5929: 5926: 5921: 5916: 5913: 5908: 5903: 5899: 5895: 5892: 5887: 5882: 5879: 5874: 5869: 5865: 5839: 5834: 5831: 5814: 5811: 5809: 5806: 5798: 5797: 5786: 5783: 5780: 5775: 5771: 5765: 5761: 5756: 5752: 5747: 5743: 5739: 5734: 5730: 5724: 5719: 5716: 5713: 5709: 5705: 5702: 5699: 5696: 5691: 5687: 5683: 5658: 5654: 5642: 5641: 5630: 5625: 5621: 5617: 5614: 5611: 5606: 5602: 5598: 5595: 5572: 5561: 5560: 5549: 5546: 5543: 5538: 5534: 5530: 5526: 5522: 5517: 5513: 5509: 5504: 5500: 5496: 5493: 5490: 5487: 5482: 5478: 5474: 5447: 5427: 5424: 5419: 5415: 5411: 5407: 5386: 5375: 5374: 5363: 5360: 5357: 5354: 5351: 5346: 5342: 5315: 5295: 5292: 5289: 5284: 5280: 5276: 5273: 5270: 5267: 5264: 5261: 5241: 5238: 5235: 5232: 5229: 5209: 5206: 5203: 5198: 5194: 5190: 5187: 5167: 5155: 5152: 5139: 5136: 5133: 5130: 5127: 5124: 5121: 5118: 5115: 5112: 5109: 5106: 5086: 5066: 5046: 5035: 5034: 5023: 5018: 5014: 5010: 5007: 5004: 4999: 4996: 4993: 4989: 4985: 4982: 4979: 4976: 4973: 4968: 4965: 4962: 4958: 4954: 4949: 4945: 4941: 4938: 4935: 4932: 4929: 4926: 4923: 4920: 4917: 4914: 4900: 4899: 4886: 4874: 4870: 4864: 4861: 4858: 4854: 4850: 4847: 4844: 4841: 4838: 4815: 4812: 4809: 4798: 4797: 4786: 4781: 4777: 4773: 4770: 4767: 4764: 4761: 4758: 4755: 4750: 4746: 4742: 4739: 4736: 4733: 4728: 4724: 4720: 4717: 4714: 4711: 4708: 4705: 4702: 4697: 4693: 4689: 4686: 4672: 4671: 4658: 4646: 4642: 4636: 4633: 4630: 4626: 4622: 4619: 4616: 4613: 4610: 4587: 4584: 4581: 4558: 4555: 4542: 4539: 4536: 4533: 4522: 4521: 4508: 4504: 4500: 4495: 4492: 4489: 4486: 4483: 4479: 4472: 4466: 4463: 4460: 4457: 4454: 4451: 4446: 4443: 4440: 4437: 4434: 4431: 4428: 4425: 4422: 4419: 4416: 4413: 4407: 4399: 4396: 4393: 4390: 4387: 4383: 4379: 4376: 4373: 4368: 4364: 4360: 4355: 4351: 4345: 4342: 4339: 4336: 4333: 4329: 4325: 4319: 4313: 4310: 4307: 4304: 4299: 4296: 4293: 4290: 4287: 4284: 4281: 4278: 4275: 4272: 4266: 4258: 4255: 4252: 4248: 4244: 4241: 4238: 4233: 4229: 4225: 4220: 4216: 4212: 4207: 4203: 4180: 4179: 4166: 4162: 4156: 4153: 4150: 4147: 4144: 4140: 4133: 4127: 4124: 4121: 4118: 4113: 4110: 4107: 4104: 4101: 4098: 4095: 4092: 4089: 4086: 4083: 4080: 4074: 4066: 4063: 4060: 4056: 4052: 4049: 4046: 4041: 4037: 4033: 4028: 4024: 4018: 4014: 3990: 3967: 3964: 3961: 3958: 3938: 3935: 3932: 3929: 3926: 3915: 3914: 3901: 3897: 3893: 3888: 3885: 3882: 3879: 3876: 3872: 3868: 3862: 3856: 3853: 3850: 3847: 3842: 3839: 3836: 3833: 3830: 3824: 3816: 3813: 3809: 3805: 3802: 3797: 3794: 3791: 3787: 3783: 3778: 3774: 3770: 3765: 3761: 3757: 3718: 3715: 3712: 3700: 3699:Adem relations 3697: 3689: 3688: 3677: 3674: 3669: 3665: 3661: 3658: 3655: 3652: 3647: 3643: 3639: 3634: 3631: 3628: 3625: 3622: 3618: 3614: 3611: 3608: 3605: 3602: 3599: 3594: 3590: 3578: 3567: 3564: 3561: 3558: 3555: 3550: 3546: 3525: 3522: 3519: 3516: 3513: 3510: 3507: 3504: 3493: 3481: 3478: 3458: 3436: 3432: 3421: 3407: 3403: 3392: 3380: 3376: 3372: 3368: 3363: 3359: 3356: 3353: 3348: 3345: 3342: 3339: 3336: 3333: 3330: 3327: 3324: 3320: 3316: 3313: 3309: 3305: 3301: 3296: 3292: 3289: 3286: 3281: 3277: 3273: 3268: 3264: 3239: 3236: 3233: 3213: 3202: 3201: 3198: 3187: 3184: 3180: 3175: 3171: 3168: 3165: 3162: 3157: 3154: 3151: 3147: 3143: 3140: 3137: 3133: 3128: 3124: 3121: 3118: 3113: 3109: 3086: 3082: 3078: 3068: 3057: 3054: 3051: 3047: 3042: 3038: 3035: 3031: 3026: 3022: 3019: 3015: 3010: 3006: 3003: 2983: 2961: 2957: 2953: 2939: 2938: 2927: 2924: 2919: 2915: 2911: 2908: 2905: 2902: 2899: 2894: 2890: 2886: 2883: 2878: 2875: 2872: 2869: 2866: 2862: 2858: 2855: 2852: 2849: 2846: 2843: 2838: 2834: 2830: 2819: 2808: 2805: 2802: 2799: 2796: 2791: 2787: 2783: 2763: 2760: 2757: 2754: 2751: 2748: 2745: 2734: 2722: 2719: 2715: 2710: 2706: 2703: 2700: 2695: 2691: 2687: 2684: 2664: 2661: 2658: 2655: 2652: 2649: 2646: 2641: 2637: 2633: 2623: 2609: 2605: 2601: 2591: 2579: 2576: 2573: 2570: 2565: 2561: 2557: 2552: 2548: 2544: 2541: 2538: 2535: 2532: 2529: 2524: 2520: 2516: 2513: 2508: 2504: 2483: 2480: 2477: 2474: 2471: 2451: 2448: 2444: 2439: 2435: 2432: 2429: 2424: 2421: 2418: 2414: 2410: 2407: 2404: 2400: 2395: 2391: 2388: 2385: 2380: 2376: 2372: 2367: 2363: 2359: 2333: 2330: 2327: 2323: 2319: 2314: 2310: 2306: 2301: 2297: 2293: 2277: 2274: 2261: 2258: 2255: 2250: 2246: 2225: 2222: 2219: 2214: 2210: 2189: 2186: 2182: 2178: 2175: 2156: 2134: 2130: 2126: 2123: 2120: 2117: 2114: 2111: 2107: 2103: 2100: 2097: 2094: 2091: 2086: 2082: 2076: 2073: 2070: 2065: 2061: 2056: 2052: 2049: 2046: 2041: 2037: 2016: 2007:for any space 1996: 1993: 1990: 1985: 1981: 1960: 1957: 1954: 1949: 1945: 1924: 1921: 1918: 1913: 1909: 1888: 1885: 1882: 1877: 1873: 1846: 1841: 1836: 1833: 1829: 1825: 1822: 1819: 1816: 1813: 1810: 1807: 1804: 1801: 1798: 1795: 1792: 1789: 1786: 1783: 1780: 1760: 1757: 1754: 1749: 1745: 1724: 1721: 1718: 1713: 1709: 1688: 1666: 1661: 1656: 1644: 1641: 1605: 1600: 1587: 1586: 1570: 1566: 1561: 1556: 1551: 1548: 1545: 1542: 1537: 1532: 1527: 1524: 1521: 1516: 1513: 1510: 1506: 1501: 1494: 1491: 1480: 1475: 1472: 1469: 1465: 1461: 1458: 1456: 1454: 1449: 1444: 1439: 1436: 1431: 1426: 1421: 1416: 1413: 1412: 1398: 1397: 1385: 1380: 1375: 1370: 1367: 1362: 1357: 1352: 1347: 1344: 1339: 1333: 1312: 1309: 1294: 1291: 1287: 1283: 1261: 1257: 1236: 1214: 1210: 1206: 1186: 1183: 1180: 1169: 1168: 1156: 1153: 1150: 1146: 1141: 1137: 1132: 1128: 1123: 1118: 1114: 1111: 1107: 1102: 1098: 1095: 1069: 1044: 1040: 1019: 999: 996: 993: 973: 969: 964: 941: 937: 933: 922: 921: 910: 907: 903: 898: 894: 891: 888: 883: 880: 877: 874: 871: 868: 865: 862: 859: 855: 851: 848: 845: 841: 836: 832: 829: 826: 821: 817: 813: 808: 804: 780: 758: 754: 733: 711: 707: 703: 683: 680: 660: 649: 648: 637: 634: 630: 625: 621: 618: 615: 610: 607: 604: 600: 596: 593: 590: 586: 581: 577: 574: 571: 566: 562: 558: 553: 549: 545: 522: 502: 482: 464: 463: 452: 449: 446: 443: 440: 437: 427: 416: 413: 410: 407: 404: 399: 396: 392: 388: 385: 382: 379: 376: 373: 368: 364: 336: 314:Main article: 311: 308: 288: 285: 282: 248: 226: 223: 220: 189: 165: 143: 138: 123:is the graded 110: 106: 85: 59: 26: 9: 6: 4: 3: 2: 13615: 13604: 13603:Hopf algebras 13601: 13599: 13596: 13595: 13593: 13583: 13579: 13575: 13571: 13567: 13564: 13560: 13556: 13550: 13546: 13542: 13541: 13536: 13532: 13528: 13525: 13521: 13516: 13511: 13507: 13503: 13499: 13495: 13491: 13487: 13482: 13477: 13473: 13469: 13465: 13461: 13460: 13455: 13451: 13448: 13444: 13439: 13434: 13430: 13426: 13422: 13418: 13414: 13410: 13405: 13400: 13396: 13392: 13388: 13384: 13383: 13378: 13374: 13371: 13367: 13363: 13359: 13355: 13351: 13347: 13343: 13339: 13335: 13334: 13329: 13325: 13321: 13317: 13313: 13309: 13305: 13301: 13296: 13291: 13287: 13282: 13279: 13275: 13271: 13267: 13263: 13259: 13255: 13251: 13247: 13243: 13242: 13237: 13233: 13230: 13226: 13225: 13220: 13215: 13211: 13207: 13203: 13197: 13193: 13189: 13188: 13183: 13179: 13176: 13172: 13168: 13164: 13160: 13154: 13150: 13146: 13145: 13139: 13136: 13132: 13128: 13124: 13120: 13116: 13112: 13108: 13104: 13100: 13099: 13094: 13090: 13087: 13083: 13079: 13073: 13069: 13065: 13060: 13055: 13051: 13047: 13040: 13036: 13035:May, J. Peter 13032: 13029: 13025: 13024: 13019: 13014: 13011: 13007: 13006: 13001: 12996: 12993: 12989: 12985: 12984:Allen Hatcher 12982: 12978: 12975:(in French). 12974: 12967: 12953: 12928: 12924: 12920: 12917: 12914: 12911: 12903: 12899: 12873: 12869: 12865: 12862: 12859: 12856: 12848: 12844: 12832: 12829: 12825: 12821: 12817: 12813: 12809: 12805: 12801: 12797: 12793: 12792: 12787: 12786:Cartan, Henri 12783: 12780: 12776: 12771: 12766: 12762: 12758: 12754: 12750: 12746: 12742: 12737: 12732: 12728: 12724: 12720: 12716: 12715: 12710: 12709:Cartan, Henri 12706: 12703: 12699: 12695: 12691: 12686: 12681: 12677: 12673: 12672: 12667: 12662: 12659: 12655: 12650: 12645: 12641: 12637: 12633: 12629: 12625: 12621: 12616: 12611: 12607: 12603: 12599: 12595: 12594: 12589: 12585: 12581: 12577: 12573: 12571:0-226-00523-2 12567: 12563: 12558: 12557: 12533: 12519: 12514: 12498: 12473: 12471: 12468: 12466: 12465:-coefficients 12464: 12459: 12457: 12454: 12453: 12444: 12441: 12438: 12435: 12428: 12421: 12420: 12414: 12413: 12402: 12397: 12391:, p. 47. 12390: 12385: 12378: 12373: 12366: 12361: 12354: 12349: 12335: 12331: 12325: 12321: 12312: 12309: 12307: 12304: 12302: 12299: 12298: 12292: 12275: 12267: 12257: 12252: 12237: 12234: 12231: 12226: 12206: 12205: 12204: 12188: 12184: 12175: 12171: 12167: 12165: 12146: 12142: 12127: 12111: 12078: 12057: 12037: 12029: 12028:contravariant 12011: 11996: 11992: 11988: 11972: 11957: 11953: 11951: 11933: 11929: 11925: 11916: 11914: 11910: 11892: 11888: 11879: 11876: 11873: 11870: 11866: 11857: 11853: 11851: 11847: 11843: 11842:C. T. C. Wall 11838: 11834: 11824: 11810: 11807: 11804: 11782: 11779: 11775: 11771: 11763: 11759: 11741: 11737: 11728: 11712: 11709: 11706: 11703: 11680: 11677: 11674: 11668: 11664: 11657: 11649: 11646: 11642: 11638: 11635: 11632: 11626: 11617: 11611: 11604: 11603: 11602: 11585: 11582: 11579: 11573: 11569: 11562: 11554: 11550: 11546: 11543: 11537: 11528: 11522: 11515: 11514: 11513: 11511: 11507: 11503: 11477: 11474: 11471: 11466: 11461: 11457: 11453: 11450: 11447: 11444: 11438: 11432: 11429: 11426: 11423: 11417: 11408: 11402: 11389: 11380: 11377: 11365: 11356: 11353: 11350: 11344: 11338: 11332: 11323: 11322: 11321: 11320: 11316: 11312: 11308: 11290: 11275: 11271: 11267: 11249: 11235: 11231: 11221: 11204: 11201: 11198: 11190: 11186: 11162: 11159: 11151: 11147: 11123: 11118: 11106: 11103: 11100: 11094: 11086: 11074: 11068: 11060: 11044: 11043: 11042: 11020: 11016: 11011: 11007: 11004: 11001: 10998: 10993: 10989: 10985: 10982: 10977: 10973: 10969: 10962: 10961: 10960: 10943: 10935: 10898: 10894: 10889: 10885: 10878: 10877: 10876: 10860: 10831: 10828: 10825: 10797: 10794: 10789: 10785: 10779: 10775: 10771: 10766: 10762: 10756: 10752: 10748: 10743: 10739: 10733: 10729: 10725: 10722: 10716: 10709: 10708: 10707: 10693: 10690: 10687: 10667: 10664: 10661: 10652: 10642: 10640: 10620: 10616: 10611: 10607: 10583: 10579: 10573: 10569: 10548: 10545: 10542: 10520: 10516: 10507: 10487: 10484: 10481: 10459: 10455: 10451: 10444: 10440: 10434: 10431: 10428: 10424: 10418: 10413: 10410: 10407: 10403: 10399: 10396: 10393: 10388: 10384: 10380: 10372: 10368: 10361: 10354: 10339: 10336: 10331: 10327: 10306: 10301: 10297: 10293: 10286: 10282: 10276: 10273: 10270: 10266: 10260: 10255: 10252: 10249: 10245: 10241: 10233: 10229: 10222: 10215: 10214: 10213: 10211: 10193: 10189: 10180: 10162: 10158: 10134: 10131: 10128: 10106: 10103: 10098: 10094: 10090: 10063: 10060: 10057: 10035: 10032: 10027: 10023: 10019: 9997: 9993: 9970: 9966: 9945: 9942: 9939: 9931: 9915: 9912: 9907: 9903: 9880: 9876: 9867: 9849: 9845: 9824: 9821: 9818: 9810: 9806: 9802: 9784: 9780: 9772: 9756: 9747: 9745: 9725: 9722: 9719: 9716: 9713: 9710: 9707: 9704: 9698: 9692: 9685: 9684: 9667: 9663: 9659: 9654: 9650: 9644: 9641: 9638: 9635: 9632: 9628: 9624: 9616: 9612: 9605: 9598: 9597: 9580: 9576: 9572: 9569: 9564: 9560: 9556: 9551: 9548: 9545: 9542: 9539: 9535: 9531: 9523: 9519: 9515: 9509: 9502: 9501: 9500: 9483: 9480: 9477: 9471: 9468: 9465: 9458: 9457: 9456: 9454: 9450: 9432: 9395: 9391: 9387: 9384: 9379: 9376: 9370: 9367: 9364: 9358: 9355: 9350: 9346: 9342: 9335: 9319: 9315: 9311: 9303: 9300: 9297: 9291: 9288: 9283: 9279: 9275: 9268: 9251: 9248: 9245: 9237: 9229: 9226: 9223: 9220: 9215: 9211: 9203: 9187: 9184: 9181: 9177: 9173: 9170: 9165: 9161: 9153: 9152: 9151: 9129: 9125: 9119: 9115: 9111: 9108: 9101: 9097: 9091: 9087: 9083: 9080: 9075: 9070: 9066: 9062: 9055: 9054: 9053: 9039: 9036: 9033: 9025: 9009: 8986: 8979: 8975: 8970: 8966: 8963: 8956: 8952: 8947: 8943: 8940: 8935: 8931: 8927: 8920: 8919: 8918: 8902: 8899: 8896: 8892: 8888: 8885: 8880: 8876: 8855: 8847: 8826: 8822: 8818: 8815: 8812: 8807: 8803: 8799: 8794: 8790: 8782: 8781: 8780: 8765: 8745: 8742: 8739: 8731: 8727: 8711: 8708: 8705: 8697: 8687: 8679: 8665: 8642: 8639: 8636: 8633: 8630: 8627: 8624: 8621: 8618: 8610: 8606: 8585: 8565: 8545: 8525: 8505: 8502: 8499: 8479: 8452: 8449: 8446: 8443: 8440: 8437: 8434: 8431: 8428: 8420: 8416: 8395: 8372: 8369: 8366: 8362: 8358: 8350: 8346: 8325: 8317: 8316:slant product 8313: 8298: 8295: 8292: 8289: 8286: 8266: 8263: 8260: 8256: 8252: 8232: 8229: 8226: 8204: 8200: 8192:Pulling back 8179: 8174: 8170: 8149: 8146: 8143: 8123: 8115: 8099: 8091: 8076: 8073: 8070: 8067: 8064: 8042: 8038: 8017: 7997: 7989: 7988: 7987: 7970: 7966: 7959: 7956: 7953: 7950: 7947: 7944: 7941: 7935: 7932: 7924: 7921: 7918: 7915: 7911: 7890: 7886: 7880: 7876: 7867: 7863: 7844: 7841: 7838: 7830: 7826: 7805: 7785: 7765: 7742: 7739: 7736: 7728: 7724: 7703: 7683: 7663: 7643: 7636:Suppose that 7615: 7610: 7607: 7604: 7600: 7588: 7585: 7574: 7566: 7562: 7553: 7549: 7545: 7538: 7537: 7536: 7522: 7519: 7516: 7491: 7488: 7485: 7481: 7469: 7466: 7453: 7448: 7445: 7442: 7438: 7434: 7429: 7419: 7415: 7411: 7408: 7402: 7397: 7386: 7380: 7377: 7371: 7363: 7359: 7352: 7349: 7342: 7341: 7340: 7323: 7317: 7309: 7305: 7295: 7287: 7283: 7279: 7276: 7273: 7266: 7265: 7264: 7247: 7244: 7239: 7235: 7231: 7228: 7223: 7219: 7215: 7212: 7207: 7203: 7199: 7196: 7193: 7190: 7183: 7182: 7181: 7160: 7157: 7154: 7143: 7140: 7138: 7130: 7122: 7118: 7114: 7105: 7101: 7097: 7095: 7087: 7079: 7075: 7071: 7064: 7061: 7059: 7051: 7043: 7039: 7035: 7024: 7023: 7022: 7021:we know that 7006: 7002: 6981: 6978: 6972: 6966: 6963: 6940: 6934: 6928: 6924: 6915: 6909: 6905: 6896: 6873: 6869: 6861: 6860: 6859: 6833: 6830: 6828: 6817: 6809: 6805: 6801: 6798: 6792: 6784: 6780: 6776: 6773: 6767: 6759: 6755: 6751: 6748: 6742: 6734: 6730: 6726: 6723: 6717: 6709: 6705: 6701: 6698: 6692: 6684: 6680: 6676: 6673: 6671: 6661: 6657: 6648: 6644: 6640: 6629: 6628: 6627: 6608: 6590: 6586: 6582: 6577: 6573: 6549: 6545: 6536: 6531: 6513: 6509: 6486: 6468: 6455: 6452: 6426: 6422: 6413: 6408: 6390: 6386: 6376: 6372: 6363: 6358: 6340: 6336: 6332: 6327: 6323: 6319: 6312: 6311: 6310: 6294: 6276: 6258: 6255: 6251: 6228: 6225: 6221: 6217: 6195: 6191: 6187: 6165: 6148: 6129: 6125: 6116: 6111: 6093: 6089: 6080: 6061: 6057: 6048: 6043: 6025: 6021: 5998: 5994: 5990: 5961: 5953: 5935: 5931: 5927: 5919: 5901: 5897: 5893: 5885: 5867: 5863: 5855: 5854: 5853: 5837: 5820: 5805: 5803: 5784: 5773: 5769: 5763: 5759: 5754: 5745: 5741: 5732: 5728: 5722: 5717: 5714: 5711: 5707: 5703: 5697: 5689: 5685: 5681: 5674: 5673: 5672: 5656: 5652: 5628: 5623: 5619: 5615: 5612: 5609: 5604: 5600: 5596: 5593: 5586: 5585: 5584: 5570: 5547: 5536: 5532: 5528: 5524: 5515: 5511: 5502: 5498: 5494: 5488: 5480: 5476: 5472: 5465: 5464: 5463: 5461: 5445: 5425: 5417: 5413: 5409: 5405: 5384: 5361: 5358: 5352: 5344: 5340: 5332: 5331: 5330: 5329: 5313: 5290: 5282: 5278: 5274: 5268: 5262: 5259: 5239: 5233: 5230: 5227: 5204: 5196: 5192: 5188: 5185: 5165: 5151: 5137: 5134: 5131: 5128: 5125: 5122: 5119: 5113: 5110: 5107: 5084: 5064: 5044: 5016: 5012: 5005: 4997: 4994: 4991: 4987: 4983: 4980: 4977: 4974: 4971: 4966: 4963: 4960: 4956: 4952: 4947: 4943: 4936: 4930: 4927: 4924: 4921: 4918: 4915: 4905: 4904: 4903: 4884: 4872: 4868: 4862: 4859: 4856: 4852: 4848: 4842: 4836: 4829: 4828: 4827: 4813: 4810: 4807: 4779: 4775: 4768: 4765: 4759: 4756: 4753: 4748: 4744: 4737: 4734: 4726: 4722: 4715: 4712: 4706: 4703: 4700: 4695: 4691: 4684: 4677: 4676: 4675: 4656: 4644: 4640: 4634: 4631: 4628: 4624: 4620: 4614: 4608: 4601: 4600: 4599: 4585: 4582: 4579: 4570: 4568: 4564: 4554: 4540: 4537: 4534: 4531: 4506: 4502: 4498: 4493: 4490: 4487: 4484: 4481: 4477: 4464: 4461: 4458: 4455: 4452: 4449: 4444: 4441: 4435: 4432: 4429: 4420: 4417: 4414: 4397: 4394: 4391: 4388: 4385: 4377: 4374: 4366: 4362: 4358: 4353: 4349: 4343: 4340: 4337: 4334: 4331: 4327: 4323: 4311: 4308: 4305: 4302: 4294: 4291: 4288: 4279: 4276: 4273: 4256: 4253: 4250: 4242: 4239: 4231: 4227: 4223: 4218: 4214: 4210: 4205: 4201: 4193: 4192: 4191: 4189: 4185: 4164: 4160: 4154: 4151: 4148: 4145: 4142: 4138: 4125: 4122: 4119: 4116: 4111: 4108: 4102: 4099: 4096: 4087: 4084: 4081: 4064: 4061: 4058: 4050: 4047: 4039: 4035: 4031: 4026: 4022: 4016: 4012: 4004: 4003: 4002: 3988: 3979: 3965: 3962: 3959: 3956: 3936: 3933: 3930: 3927: 3924: 3899: 3895: 3891: 3886: 3883: 3880: 3877: 3874: 3870: 3866: 3854: 3851: 3848: 3845: 3840: 3837: 3834: 3831: 3828: 3811: 3807: 3803: 3795: 3792: 3789: 3785: 3781: 3776: 3772: 3768: 3763: 3759: 3755: 3748: 3747: 3746: 3744: 3740: 3739:JosĂ© Adem 3736: 3732: 3716: 3713: 3710: 3696: 3694: 3672: 3667: 3663: 3656: 3650: 3645: 3641: 3632: 3629: 3626: 3623: 3620: 3616: 3612: 3606: 3603: 3600: 3592: 3588: 3579: 3565: 3562: 3556: 3548: 3544: 3520: 3514: 3511: 3508: 3505: 3502: 3494: 3479: 3476: 3456: 3434: 3430: 3422: 3405: 3401: 3393: 3370: 3366: 3357: 3354: 3343: 3340: 3337: 3331: 3328: 3325: 3322: 3318: 3303: 3299: 3290: 3287: 3279: 3275: 3271: 3266: 3262: 3253: 3252: 3251: 3237: 3234: 3231: 3211: 3199: 3182: 3178: 3169: 3166: 3155: 3152: 3149: 3145: 3141: 3135: 3131: 3122: 3119: 3111: 3107: 3084: 3080: 3076: 3069: 3055: 3049: 3045: 3033: 3029: 3017: 3013: 3001: 2981: 2959: 2955: 2951: 2944: 2943: 2942: 2922: 2917: 2913: 2909: 2903: 2897: 2892: 2888: 2884: 2876: 2873: 2870: 2867: 2864: 2860: 2856: 2850: 2847: 2844: 2836: 2832: 2828: 2820: 2806: 2803: 2797: 2789: 2785: 2781: 2758: 2752: 2749: 2746: 2743: 2735: 2717: 2713: 2704: 2701: 2693: 2689: 2685: 2682: 2662: 2659: 2656: 2653: 2647: 2639: 2635: 2631: 2624: 2607: 2603: 2599: 2592: 2571: 2563: 2559: 2550: 2546: 2542: 2539: 2530: 2522: 2518: 2514: 2506: 2502: 2481: 2475: 2472: 2469: 2446: 2442: 2433: 2430: 2422: 2419: 2416: 2412: 2402: 2398: 2389: 2386: 2378: 2374: 2370: 2365: 2361: 2357: 2349: 2348: 2347: 2331: 2328: 2325: 2321: 2312: 2308: 2304: 2299: 2295: 2291: 2283: 2273: 2256: 2248: 2244: 2220: 2212: 2208: 2187: 2176: 2173: 2154: 2132: 2124: 2121: 2118: 2115: 2112: 2109: 2092: 2084: 2080: 2071: 2063: 2059: 2054: 2047: 2039: 2035: 2014: 1991: 1983: 1979: 1955: 1947: 1943: 1919: 1911: 1907: 1883: 1875: 1871: 1862: 1844: 1834: 1831: 1823: 1820: 1817: 1814: 1811: 1808: 1805: 1802: 1799: 1796: 1793: 1790: 1787: 1784: 1781: 1778: 1755: 1747: 1743: 1719: 1711: 1707: 1686: 1664: 1654: 1640: 1638: 1633: 1631: 1627: 1623: 1622: 1603: 1568: 1559: 1549: 1543: 1540: 1535: 1522: 1514: 1511: 1508: 1504: 1499: 1492: 1473: 1470: 1467: 1463: 1459: 1457: 1447: 1437: 1429: 1424: 1414: 1403: 1402: 1401: 1378: 1368: 1360: 1355: 1345: 1342: 1337: 1321: 1320: 1319: 1318: 1308: 1292: 1289: 1285: 1281: 1259: 1255: 1234: 1212: 1208: 1204: 1184: 1181: 1178: 1154: 1148: 1144: 1130: 1126: 1121: 1109: 1105: 1093: 1086: 1085: 1084: 1083: 1067: 1060: 1042: 1038: 1017: 997: 994: 991: 971: 967: 939: 935: 931: 905: 901: 892: 889: 878: 875: 872: 866: 863: 860: 857: 853: 843: 839: 830: 827: 819: 815: 811: 806: 802: 794: 793: 792: 778: 756: 752: 731: 709: 705: 701: 681: 678: 658: 632: 628: 619: 616: 608: 605: 602: 598: 588: 584: 575: 572: 564: 560: 556: 551: 547: 543: 536: 535: 534: 520: 500: 480: 472: 467: 450: 447: 444: 441: 435: 428: 411: 408: 405: 397: 394: 390: 380: 377: 374: 366: 362: 354: 353: 352: 350: 334: 327: 323: 317: 307: 305: 300: 286: 283: 280: 272: 268: 264: 260: 246: 237:, and by the 224: 221: 218: 210: 206: 202: 187: 179: 163: 141: 126: 108: 104: 83: 76: 71: 57: 49: 45: 41: 37: 33: 19: 13573: 13570:Wu, Wen-tsĂĽn 13539: 13463: 13457: 13386: 13380: 13337: 13331: 13285: 13245: 13239: 13222: 13186: 13143: 13102: 13096: 13045: 13021: 13003: 12987: 12976: 12972: 12798:(1): 40–58, 12795: 12789: 12718: 12712: 12675: 12669: 12597: 12591: 12561: 12462: 12418: 12396: 12384: 12377:Adams (1974) 12372: 12365:Adams (1974) 12360: 12353:Adams (1974) 12348: 12337:. Retrieved 12334:MathOverflow 12333: 12324: 12290: 12173: 12163: 12133: 11990: 11989: 11954: 11949: 11917: 11912: 11855: 11854: 11830: 11827:Applications 11761: 11757: 11726: 11695: 11600: 11512:. If we put 11509: 11501: 11499: 11314: 11306: 11274:vector space 11269: 11265: 11234:finite field 11227: 11138: 11040: 10918: 10817: 10648: 10638: 10503: 10209: 10178: 9929: 9928:, for every 9800: 9748: 9741: 9498: 9449:Hopf algebra 9417: 9149: 9023: 9001: 8848:if for each 8845: 8843: 8693: 8685: 8471: 8010:with itself 7635: 7632:Construction 7508: 7338: 7262: 7179: 6955: 6857: 6444: 5982: 5816: 5808:Computations 5799: 5643: 5562: 5376: 5157: 5036: 4901: 4799: 4673: 4571: 4560: 4523: 4187: 4183: 4181: 3980: 3916: 3702: 3692: 3690: 3254:Naturality: 3203: 2940: 2350:Naturality: 2279: 1861:ring spectra 1646: 1634: 1630:Serre (1953) 1621:stable range 1620: 1619: 1588: 1399: 1314: 1171:In the case 1170: 923: 650: 468: 465: 319: 301: 238: 204: 125:Hopf algebra 75:prime number 73:For a given 72: 70:cohomology. 35: 29: 13190:. Orlando: 12410:Pedagogical 11305:then write 9771:linear dual 8314:Taking the 6309:the square 6275:cup product 6079:cup product 3449:is the cup 349:cup product 13592:Categories 12588:Adem, JosĂ© 12554:References 12499:– relates 12339:2021-01-15 12317:References 12026:induces a 10083:of degree 10012:of degree 9932:, and for 9895:of degree 9150:such that 8846:admissible 8598:, so that 5802:Wu formula 5644:where the 3949:such that 1899:bimodules 1247:-th power 1010:, the mod 471:suspension 269:) and the 201:cohomology 13490:0027-8424 13413:0027-8424 13354:0003-486X 13295:0903.4997 13278:122407123 13262:0010-2571 13229:EMS Press 13210:316566772 13175:212909028 13119:0003-486X 13054:CiteSeerX 13028:EMS Press 13010:EMS Press 12979:(1): 1–8. 12912:π 12904:∗ 12857:π 12849:∗ 12828:124558011 12812:0010-2571 12745:0027-8424 12694:0040-9383 12624:0027-8424 12083:∞ 11885:→ 11877:− 11837:RenĂ© Thom 11707:∈ 11636:∑ 11547:∑ 11475:∈ 11375:→ 11351:: 11264:of order 11191:∗ 11187:π 11152:∗ 11148:π 11107:⊂ 11104:⋯ 11101:⊂ 11075:⊂ 11002:… 10798:⋯ 10776:ξ 10753:ξ 10730:ξ 10720:→ 10570:ξ 10521:∗ 10504:The only 10456:τ 10452:⊗ 10432:− 10425:ξ 10404:∑ 10394:⊗ 10385:τ 10369:τ 10362:ψ 10328:ξ 10298:ξ 10294:⊗ 10274:− 10267:ξ 10246:∑ 10230:ξ 10223:ψ 10194:∗ 10163:∗ 10132:≥ 10104:− 10061:≥ 10033:− 9994:ξ 9971:∗ 9913:− 9877:ξ 9850:∗ 9785:∗ 9757:ψ 9726:β 9723:⊗ 9711:⊗ 9708:β 9699:β 9693:ψ 9660:⊗ 9629:∑ 9606:ψ 9570:⊗ 9536:∑ 9510:ψ 9481:⊗ 9475:→ 9469:: 9466:ψ 9388:β 9368:− 9301:− 9249:− 9221:≡ 9171:≥ 9109:⋯ 8964:⋯ 8886:≥ 8816:… 8640:⊗ 8637:⋯ 8634:⊗ 8628:⊗ 8619:π 8480:π 8450:⊗ 8447:⋯ 8444:⊗ 8438:⊗ 8429:π 8367:π 8296:⊗ 8293:⋯ 8290:⊗ 8264:× 8261:π 8230:× 8147:× 8124:π 8116:on which 8074:⊗ 8071:⋯ 8068:⊗ 7971:π 7957:⊗ 7954:⋯ 7951:⊗ 7945:⊗ 7922:− 7839:π 7786:π 7644:π 7439:∑ 7310:∗ 7302:→ 7288:∗ 7280:: 7248:⋯ 6967:⁡ 6916:≅ 6892:∞ 6874:∗ 6799:⌣ 6749:⌣ 6699:⌣ 6583:∈ 6474:↪ 6456:: 6383:→ 6333:: 6094:∗ 5962:≅ 5928:≅ 5894:≅ 5755:ν 5733:∗ 5708:∑ 5698:β 5653:α 5620:α 5613:⋯ 5601:α 5594:β 5571:β 5525:ν 5503:∗ 5489:α 5446:α 5423:→ 5406:ν 5385:α 5362:α 5345:∗ 5326:then the 5275:∈ 5237:↪ 5231:: 5197:∗ 5189:∈ 5186:α 5138:β 5132:− 5126:β 5114:β 5111:⁡ 5085:β 4995:− 4978:⋯ 4964:− 4931:β 4928:⁡ 4860:≥ 4853:∑ 4766:⋅ 4713:⋅ 4632:≥ 4625:∑ 4535:≤ 4499:β 4491:− 4462:− 4453:− 4442:− 4433:− 4418:− 4375:− 4363:∑ 4341:− 4324:β 4306:− 4292:− 4277:− 4240:− 4228:∑ 4211:β 4152:− 4120:− 4109:− 4100:− 4085:− 4048:− 4036:∑ 3884:− 3849:− 3838:− 3832:− 3815:⌋ 3801:⌊ 3786:∑ 3657:⌣ 3617:∑ 3604:⌣ 3515:⁡ 3341:− 3315:→ 3272:: 3164:Σ 3142:≅ 3053:→ 3037:→ 3021:→ 3005:→ 2982:β 2904:⌣ 2861:∑ 2848:⌣ 2753:⁡ 2686:∈ 2660:⌣ 2564:∗ 2507:∗ 2479:→ 2473:: 2409:→ 2371:: 2318:→ 2305:: 2249:∗ 2213:∗ 2185:→ 2174:η 2133:∗ 2122:∧ 2116:∧ 2099:→ 2085:∗ 2064:∗ 2060:π 2055:⊗ 2040:∗ 1984:∗ 1948:∗ 1912:∗ 1876:∗ 1872:π 1748:∗ 1712:∗ 1490:← 1479:∞ 1464:⨁ 1430:∗ 1361:∗ 1152:→ 1136:→ 1113:→ 1097:→ 1068:β 876:− 850:→ 812:: 595:→ 557:: 445:⌣ 439:↦ 387:→ 259:th powers 156:of order 13572:(1952), 13524:16589251 13447:16589250 13320:14167493 13184:(1986). 13037:(1970), 12779:16589542 12671:Topology 12658:16589167 12427:archived 12295:See also 11725:then if 11309:for the 8112:to be a 7696:points, 3981:For odd 3917:for all 1057:and the 651:for all 180:for mod 50:for mod 13582:0051510 13563:0145525 13515:1063757 13506:0054965 13468:Bibcode 13438:1063756 13429:0054964 13391:Bibcode 13370:0022071 13362:1969172 13312:2402812 13270:0060234 13167:0226634 13135:0099653 13127:1969932 13086:0281196 12820:0068219 12761:0065161 12723:Bibcode 12702:0649764 12649:1063640 12640:0050278 12602:Bibcode 12580:1083550 11991:Theorem 11911:, then 11856:Theorem 11848:of the 11504:is the 9837:, that 9807: ( 8732:) (for 8698:) (for 8092:Choose 5817:On the 5077:. Here 4565: ( 3741: ( 3733: ( 42: ( 13580:  13561:  13551:  13522:  13512:  13504:  13496:  13488:  13445:  13435:  13427:  13419:  13411:  13368:  13360:  13352:  13318:  13310:  13276:  13268:  13260:  13208:  13198:  13173:  13165:  13155:  13133:  13125:  13117:  13084:  13074:  13056:  12826:  12818:  12810:  12777:  12770:534145 12767:  12759:  12751:  12743:  12700:  12692:  12656:  12646:  12638:  12630:  12622:  12578:  12568:  12166:-local 11993:. The 11500:where 11178:, and 10319:where 9002:where 7798:, and 7339:Hence 6956:where 347:, the 211:) for 13498:88781 13494:JSTOR 13421:88780 13417:JSTOR 13358:JSTOR 13316:S2CID 13290:arXiv 13274:S2CID 13123:JSTOR 13042:(PDF) 12969:(PDF) 12824:S2CID 12753:88981 12749:JSTOR 12632:88494 12628:JSTOR 12430:(PDF) 12423:(PDF) 11276:over 11272:is a 11268:. If 10352:, and 9864:is a 8318:with 7866:1953b 7862:1953a 6277:. In 3536:then 2774:then 2494:, so 267:1953b 263:1953a 13549:ISBN 13520:PMID 13486:ISSN 13443:PMID 13409:ISSN 13350:ISSN 13258:ISSN 13206:OCLC 13196:ISBN 13171:OCLC 13153:ISBN 13115:ISSN 13072:ISBN 12808:ISSN 12775:PMID 12741:ISSN 12690:ISSN 12654:PMID 12620:ISSN 12576:OCLC 12566:ISBN 11797:for 11696:for 11583:> 11230:2007 10818:The 10649:The 10535:for 10485:> 9943:> 9809:1958 9455:map 9037:> 8743:> 8730:1955 8726:1954 8696:1953 8558:and 7158:> 6626:and 5057:and 4826:put 4811:> 4800:For 4598:put 4572:For 4567:1982 4524:for 4190:and 4186:< 4182:for 3960:< 3934:> 3743:1952 3735:1952 3509:> 3235:> 2747:> 2675:for 2282:1962 995:> 924:The 326:ring 284:> 273:for 209:1947 44:1955 34:, a 13510:PMC 13476:doi 13433:PMC 13399:doi 13342:doi 13300:doi 13250:doi 13107:doi 13064:doi 12891:et 12800:doi 12765:PMC 12731:doi 12680:doi 12644:PMC 12610:doi 12463:Z/2 11987:): 11907:of 11601:or 11508:of 11313:of 10641:). 10508:of 10474:if 9799:of 9234:mod 8844:is 8338:in 8162:to 7903:in 6964:deg 6013:on 3512:deg 3495:If 2750:deg 2736:If 2236:on 1971:on 1486:lim 1274:is 30:In 13594:: 13578:MR 13559:MR 13557:, 13547:, 13533:; 13518:, 13508:, 13502:MR 13500:, 13492:, 13484:, 13474:, 13464:39 13462:, 13441:, 13431:, 13425:MR 13423:, 13415:, 13407:, 13397:, 13387:39 13385:, 13366:MR 13364:, 13356:, 13348:, 13338:48 13314:. 13308:MR 13306:. 13298:. 13272:, 13266:MR 13264:, 13256:, 13246:27 13244:, 13227:, 13221:, 13204:. 13194:. 13169:, 13163:MR 13161:, 13151:, 13131:MR 13129:, 13121:, 13113:, 13103:67 13082:MR 13080:, 13070:, 13062:, 13044:, 13026:, 13020:, 13008:, 13002:, 12986:, 12971:. 12822:, 12816:MR 12814:, 12806:, 12796:29 12794:, 12773:, 12763:, 12757:MR 12755:, 12747:, 12739:, 12729:, 12719:40 12717:, 12698:MR 12696:, 12688:, 12676:21 12674:, 12652:, 12642:, 12636:MR 12634:, 12626:, 12618:, 12608:, 12598:38 12596:, 12574:. 12425:, 12332:. 12168:) 12126:. 11823:. 11758:p′ 11510:SV 11307:SV 11220:. 9746:. 8728:, 8678:. 7864:, 7758:, 7197::= 6982:1. 6834:0. 5804:. 5150:. 5108:Ad 4925:Ad 4652:Sq 4553:. 4188:pb 3250:. 3056:0. 2272:. 1639:. 1632:. 1307:. 306:. 299:. 265:, 13478:: 13470:: 13401:: 13393:: 13344:: 13322:. 13302:: 13292:: 13252:: 13212:. 13109:: 13066:: 12994:. 12977:7 12966:" 12954:p 12934:) 12929:2 12925:Z 12921:; 12918:n 12915:, 12909:( 12900:H 12879:) 12874:2 12870:Z 12866:; 12863:n 12860:, 12854:( 12845:H 12802:: 12733:: 12725:: 12682:: 12612:: 12604:: 12582:. 12537:) 12534:2 12531:( 12526:A 12520:/ 12515:/ 12509:A 12484:C 12342:. 12276:. 12273:) 12268:p 12263:F 12258:, 12253:p 12248:F 12243:( 12238:t 12235:, 12232:s 12227:A 12222:t 12219:x 12216:E 12189:2 12185:E 12174:p 12164:p 12147:2 12143:E 12112:p 12107:F 12079:E 12058:p 12038:p 12012:p 12007:F 11973:p 11968:F 11950:k 11934:k 11930:q 11926:S 11913:n 11893:n 11889:S 11880:1 11874:n 11871:2 11867:S 11811:2 11808:= 11805:p 11783:i 11780:2 11776:q 11772:S 11762:p 11742:I 11738:P 11727:V 11713:V 11710:S 11704:f 11681:2 11678:= 11675:p 11669:i 11665:x 11661:) 11658:f 11655:( 11650:i 11647:2 11643:q 11639:S 11633:= 11630:) 11627:f 11624:( 11621:) 11618:x 11615:( 11612:P 11586:2 11580:p 11574:i 11570:x 11566:) 11563:f 11560:( 11555:i 11551:P 11544:= 11541:) 11538:f 11535:( 11532:) 11529:x 11526:( 11523:P 11502:F 11478:V 11472:v 11467:x 11462:q 11458:v 11454:+ 11451:v 11448:= 11445:x 11442:) 11439:v 11436:( 11433:F 11430:+ 11427:v 11424:= 11421:) 11418:v 11415:( 11412:) 11409:x 11406:( 11403:P 11396:] 11393:] 11390:x 11387:[ 11384:[ 11381:V 11378:S 11372:] 11369:] 11366:x 11363:[ 11360:[ 11357:V 11354:S 11348:) 11345:x 11342:( 11339:P 11333:{ 11315:V 11291:q 11286:F 11270:V 11266:q 11250:q 11245:F 11208:) 11205:f 11202:m 11199:t 11196:( 11166:) 11163:o 11160:k 11157:( 11124:. 11119:2 11113:A 11098:) 11095:2 11092:( 11087:2 11081:A 11072:) 11069:1 11066:( 11061:2 11055:A 11037:, 11021:n 11017:2 11012:q 11008:S 11005:, 10999:, 10994:2 10990:q 10986:S 10983:, 10978:1 10974:q 10970:S 10947:) 10944:n 10941:( 10936:2 10930:A 10915:, 10899:i 10895:2 10890:q 10886:S 10861:2 10855:A 10832:2 10829:= 10826:p 10795:+ 10790:8 10786:x 10780:3 10772:+ 10767:4 10763:x 10757:2 10749:+ 10744:2 10740:x 10734:1 10726:+ 10723:x 10717:x 10694:y 10691:+ 10688:x 10668:2 10665:= 10662:p 10639:A 10621:i 10617:2 10612:q 10608:S 10584:i 10580:2 10574:1 10549:2 10546:= 10543:p 10517:A 10500:. 10488:2 10482:p 10460:i 10445:i 10441:p 10435:i 10429:n 10419:n 10414:0 10411:= 10408:i 10400:+ 10397:1 10389:n 10381:= 10378:) 10373:n 10365:( 10340:1 10337:= 10332:0 10307:. 10302:i 10287:i 10283:p 10277:i 10271:n 10261:n 10256:0 10253:= 10250:i 10242:= 10239:) 10234:n 10226:( 10210:A 10190:A 10179:A 10159:A 10138:) 10135:0 10129:k 10126:( 10107:1 10099:k 10095:p 10091:2 10081:k 10067:) 10064:1 10058:k 10055:( 10036:2 10028:k 10024:p 10020:2 9998:k 9967:A 9946:2 9940:p 9930:k 9916:1 9908:k 9904:2 9881:k 9846:A 9825:2 9822:= 9819:p 9801:A 9781:A 9738:. 9720:1 9717:+ 9714:1 9705:= 9702:) 9696:( 9668:j 9664:P 9655:i 9651:P 9645:k 9642:= 9639:j 9636:+ 9633:i 9625:= 9622:) 9617:k 9613:P 9609:( 9581:j 9577:q 9573:S 9565:i 9561:q 9557:S 9552:k 9549:= 9546:j 9543:+ 9540:i 9532:= 9529:) 9524:k 9520:q 9516:S 9513:( 9484:A 9478:A 9472:A 9433:p 9428:F 9396:k 9392:P 9385:= 9380:1 9377:+ 9374:) 9371:1 9365:p 9362:( 9359:k 9356:2 9351:p 9347:q 9343:S 9320:k 9316:P 9312:= 9307:) 9304:1 9298:p 9295:( 9292:k 9289:2 9284:p 9280:q 9276:S 9255:) 9252:1 9246:p 9243:( 9238:2 9230:1 9227:, 9224:0 9216:j 9212:i 9188:1 9185:+ 9182:j 9178:i 9174:p 9166:j 9162:i 9146:, 9130:n 9126:i 9120:p 9116:q 9112:S 9102:1 9098:i 9092:p 9088:q 9084:S 9081:= 9076:I 9071:p 9067:q 9063:S 9040:2 9034:p 9010:I 8987:, 8980:n 8976:i 8971:q 8967:S 8957:1 8953:i 8948:q 8944:S 8941:= 8936:I 8932:q 8928:S 8903:1 8900:+ 8897:j 8893:i 8889:2 8881:j 8877:i 8856:j 8827:n 8823:i 8819:, 8813:, 8808:2 8804:i 8800:, 8795:1 8791:i 8766:p 8746:2 8740:p 8712:2 8709:= 8706:p 8666:p 8646:) 8643:B 8631:B 8625:A 8622:, 8616:( 8611:0 8607:H 8586:p 8566:B 8546:A 8526:n 8506:n 8503:= 8500:p 8468:. 8456:) 8453:B 8441:B 8435:A 8432:, 8426:( 8421:0 8417:H 8396:X 8376:) 8373:A 8370:, 8363:/ 8359:E 8356:( 8351:i 8347:H 8326:c 8311:. 8299:B 8287:B 8267:X 8257:/ 8253:E 8233:X 8227:E 8205:n 8201:u 8180:. 8175:n 8171:X 8150:X 8144:E 8100:E 8089:. 8077:B 8065:B 8043:n 8039:X 8018:n 7998:u 7974:) 7967:/ 7963:) 7960:B 7948:B 7942:A 7939:( 7936:, 7933:X 7930:( 7925:i 7919:q 7916:n 7912:H 7891:c 7887:/ 7881:n 7877:u 7848:) 7845:A 7842:, 7836:( 7831:i 7827:H 7806:c 7766:A 7746:) 7743:B 7740:, 7737:X 7734:( 7729:q 7725:H 7704:u 7684:n 7664:n 7616:. 7611:i 7608:+ 7605:n 7601:x 7594:) 7589:i 7586:n 7581:( 7575:= 7572:) 7567:n 7563:x 7559:( 7554:i 7550:q 7546:S 7523:i 7520:+ 7517:n 7492:i 7489:+ 7486:n 7482:x 7475:) 7470:i 7467:n 7462:( 7454:n 7449:0 7446:= 7443:i 7435:= 7430:n 7426:) 7420:2 7416:x 7412:+ 7409:x 7406:( 7403:= 7398:n 7394:) 7390:) 7387:x 7384:( 7381:q 7378:S 7375:( 7372:= 7369:) 7364:n 7360:x 7356:( 7353:q 7350:S 7324:. 7321:) 7318:X 7315:( 7306:H 7299:) 7296:X 7293:( 7284:H 7277:q 7274:S 7245:+ 7240:2 7236:q 7232:S 7229:+ 7224:1 7220:q 7216:S 7213:+ 7208:0 7204:q 7200:S 7194:q 7191:S 7161:1 7155:k 7144:0 7141:= 7134:) 7131:x 7128:( 7123:k 7119:q 7115:S 7106:2 7102:x 7098:= 7091:) 7088:x 7085:( 7080:1 7076:q 7072:S 7065:x 7062:= 7055:) 7052:x 7049:( 7044:0 7040:q 7036:S 7007:1 7003:H 6979:= 6976:) 6973:x 6970:( 6941:, 6938:] 6935:x 6932:[ 6929:2 6925:/ 6920:Z 6913:) 6910:2 6906:/ 6901:Z 6897:; 6887:P 6884:R 6879:( 6870:H 6831:= 6821:) 6818:x 6815:( 6810:0 6806:q 6802:S 6796:) 6793:x 6790:( 6785:2 6781:q 6777:S 6774:+ 6771:) 6768:x 6765:( 6760:1 6756:q 6752:S 6746:) 6743:x 6740:( 6735:1 6731:q 6727:S 6724:+ 6721:) 6718:x 6715:( 6710:2 6706:q 6702:S 6696:) 6693:x 6690:( 6685:0 6681:q 6677:S 6674:= 6667:) 6662:2 6658:x 6654:( 6649:2 6645:q 6641:S 6614:) 6609:8 6604:P 6601:C 6596:( 6591:4 6587:H 6578:2 6574:x 6553:) 6550:2 6546:/ 6541:Z 6537:; 6532:8 6527:P 6524:C 6519:( 6514:4 6510:H 6487:8 6482:P 6479:C 6469:4 6464:P 6461:C 6453:f 6430:) 6427:2 6423:/ 6418:Z 6414:; 6409:8 6404:P 6401:C 6396:( 6391:6 6387:H 6380:) 6377:2 6373:/ 6368:Z 6364:; 6359:8 6354:P 6351:C 6346:( 6341:4 6337:H 6328:2 6324:q 6320:S 6295:8 6290:P 6287:C 6259:i 6256:2 6252:H 6229:i 6226:2 6222:q 6218:S 6196:0 6192:q 6188:S 6166:6 6161:P 6158:C 6133:) 6130:2 6126:/ 6121:Z 6117:; 6112:2 6107:P 6104:C 6099:( 6090:H 6065:) 6062:2 6058:/ 6053:Z 6049:; 6044:2 6039:P 6036:C 6031:( 6026:2 6022:H 5999:2 5995:q 5991:S 5979:, 5966:Z 5959:) 5954:2 5949:P 5946:C 5941:( 5936:4 5932:H 5925:) 5920:2 5915:P 5912:C 5907:( 5902:2 5898:H 5891:) 5886:2 5881:P 5878:C 5873:( 5868:0 5864:H 5838:2 5833:P 5830:C 5785:. 5782:) 5779:) 5774:X 5770:/ 5764:k 5760:Y 5751:( 5746:i 5742:w 5738:( 5729:f 5723:n 5718:1 5715:= 5712:k 5704:= 5701:) 5695:( 5690:i 5686:q 5682:S 5657:k 5629:, 5624:n 5616:+ 5610:+ 5605:1 5597:= 5548:, 5545:) 5542:) 5537:X 5533:/ 5529:Y 5521:( 5516:i 5512:w 5508:( 5499:f 5495:= 5492:) 5486:( 5481:i 5477:q 5473:S 5426:Y 5418:X 5414:/ 5410:Y 5359:= 5356:) 5353:1 5350:( 5341:f 5314:Y 5294:) 5291:Y 5288:( 5283:0 5279:H 5272:] 5269:Y 5266:[ 5263:= 5260:1 5240:X 5234:Y 5228:f 5208:) 5205:X 5202:( 5193:H 5166:X 5135:P 5129:P 5123:= 5120:P 5117:) 5105:( 5065:t 5045:s 5022:) 5017:p 5013:s 5009:( 5006:P 5003:) 4998:1 4992:p 4988:s 4984:t 4981:+ 4975:+ 4972:s 4967:1 4961:p 4957:t 4953:+ 4948:p 4944:t 4940:( 4937:P 4934:) 4922:s 4919:+ 4916:1 4913:( 4885:i 4880:P 4873:i 4869:t 4863:0 4857:i 4849:= 4846:) 4843:t 4840:( 4837:P 4814:2 4808:p 4785:) 4780:2 4776:s 4772:( 4769:P 4763:) 4760:t 4757:s 4754:+ 4749:2 4745:t 4741:( 4738:P 4735:= 4732:) 4727:2 4723:t 4719:( 4716:P 4710:) 4707:t 4704:s 4701:+ 4696:2 4692:s 4688:( 4685:P 4657:i 4645:i 4641:t 4635:0 4629:i 4621:= 4618:) 4615:t 4612:( 4609:P 4586:2 4583:= 4580:p 4541:b 4538:p 4532:a 4507:i 4503:P 4494:i 4488:b 4485:+ 4482:a 4478:P 4471:) 4465:1 4459:i 4456:p 4450:a 4445:1 4439:) 4436:i 4430:b 4427:( 4424:) 4421:1 4415:p 4412:( 4406:( 4398:1 4395:+ 4392:i 4389:+ 4386:a 4382:) 4378:1 4372:( 4367:i 4359:+ 4354:i 4350:P 4344:i 4338:b 4335:+ 4332:a 4328:P 4318:) 4312:i 4309:p 4303:a 4298:) 4295:i 4289:b 4286:( 4283:) 4280:1 4274:p 4271:( 4265:( 4257:i 4254:+ 4251:a 4247:) 4243:1 4237:( 4232:i 4224:= 4219:b 4215:P 4206:a 4202:P 4184:a 4165:i 4161:P 4155:i 4149:b 4146:+ 4143:a 4139:P 4132:) 4126:i 4123:p 4117:a 4112:1 4106:) 4103:i 4097:b 4094:( 4091:) 4088:1 4082:p 4079:( 4073:( 4065:i 4062:+ 4059:a 4055:) 4051:1 4045:( 4040:i 4032:= 4027:b 4023:P 4017:a 4013:P 3989:p 3966:j 3963:2 3957:i 3937:0 3931:j 3928:, 3925:i 3900:k 3896:q 3892:S 3887:k 3881:j 3878:+ 3875:i 3871:q 3867:S 3861:) 3855:k 3852:2 3846:i 3841:1 3835:k 3829:j 3823:( 3812:2 3808:/ 3804:i 3796:0 3793:= 3790:k 3782:= 3777:j 3773:q 3769:S 3764:i 3760:q 3756:S 3717:2 3714:= 3711:p 3693:p 3676:) 3673:y 3668:j 3664:P 3660:( 3654:) 3651:x 3646:i 3642:P 3638:( 3633:n 3630:= 3627:j 3624:+ 3621:i 3613:= 3610:) 3607:y 3601:x 3598:( 3593:n 3589:P 3566:0 3563:= 3560:) 3557:x 3554:( 3549:n 3545:P 3524:) 3521:x 3518:( 3506:n 3503:2 3492:. 3480:n 3477:2 3457:p 3435:n 3431:P 3406:0 3402:P 3379:) 3375:Z 3371:p 3367:/ 3362:Z 3358:, 3355:X 3352:( 3347:) 3344:1 3338:p 3335:( 3332:n 3329:2 3326:+ 3323:m 3319:H 3312:) 3308:Z 3304:p 3300:/ 3295:Z 3291:, 3288:X 3285:( 3280:m 3276:H 3267:n 3263:P 3238:2 3232:p 3212:p 3186:) 3183:2 3179:/ 3174:Z 3170:; 3167:X 3161:( 3156:1 3153:+ 3150:k 3146:H 3139:) 3136:2 3132:/ 3127:Z 3123:; 3120:X 3117:( 3112:k 3108:H 3085:i 3081:q 3077:S 3050:2 3046:/ 3041:Z 3034:4 3030:/ 3025:Z 3018:2 3014:/ 3009:Z 3002:0 2960:1 2956:q 2952:S 2926:) 2923:y 2918:j 2914:q 2910:S 2907:( 2901:) 2898:x 2893:i 2889:q 2885:S 2882:( 2877:n 2874:= 2871:j 2868:+ 2865:i 2857:= 2854:) 2851:y 2845:x 2842:( 2837:n 2833:q 2829:S 2807:0 2804:= 2801:) 2798:x 2795:( 2790:n 2786:q 2782:S 2762:) 2759:x 2756:( 2744:n 2733:. 2721:) 2718:2 2714:/ 2709:Z 2705:; 2702:X 2699:( 2694:n 2690:H 2683:x 2663:x 2657:x 2654:= 2651:) 2648:x 2645:( 2640:n 2636:q 2632:S 2608:0 2604:q 2600:S 2590:. 2578:) 2575:) 2572:x 2569:( 2560:f 2556:( 2551:n 2547:q 2543:S 2540:= 2537:) 2534:) 2531:x 2528:( 2523:n 2519:q 2515:S 2512:( 2503:f 2482:Y 2476:X 2470:f 2450:) 2447:2 2443:/ 2438:Z 2434:; 2431:X 2428:( 2423:n 2420:+ 2417:m 2413:H 2406:) 2403:2 2399:/ 2394:Z 2390:; 2387:X 2384:( 2379:m 2375:H 2366:n 2362:q 2358:S 2332:n 2329:+ 2326:m 2322:H 2313:m 2309:H 2300:n 2296:q 2292:S 2260:) 2257:X 2254:( 2245:E 2224:) 2221:E 2218:( 2209:E 2188:E 2181:S 2177:: 2155:E 2129:] 2125:X 2119:E 2113:E 2110:, 2106:S 2102:[ 2096:) 2093:X 2090:( 2081:E 2075:) 2072:E 2069:( 2051:) 2048:E 2045:( 2036:E 2015:X 1995:) 1992:X 1989:( 1980:E 1959:) 1956:E 1953:( 1944:E 1923:) 1920:E 1917:( 1908:E 1887:) 1884:E 1881:( 1845:p 1840:F 1835:H 1832:, 1828:S 1824:, 1821:p 1818:S 1815:M 1812:, 1809:U 1806:M 1803:, 1800:O 1797:M 1794:, 1791:U 1788:K 1785:, 1782:O 1779:K 1759:) 1756:E 1753:( 1744:E 1723:) 1720:E 1717:( 1708:E 1687:E 1665:p 1660:F 1655:H 1604:p 1599:F 1569:) 1565:) 1560:p 1555:F 1550:; 1547:) 1544:n 1541:, 1536:p 1531:F 1526:( 1523:K 1520:( 1515:k 1512:+ 1509:n 1505:H 1500:( 1493:n 1474:0 1471:= 1468:k 1460:= 1453:) 1448:p 1443:F 1438:H 1435:( 1425:p 1420:F 1415:H 1396:, 1384:) 1379:p 1374:F 1369:H 1366:( 1356:p 1351:F 1346:H 1343:= 1338:p 1332:A 1293:i 1290:2 1286:q 1282:S 1260:i 1256:P 1235:p 1213:1 1209:q 1205:S 1185:2 1182:= 1179:p 1167:. 1155:0 1149:p 1145:/ 1140:Z 1131:2 1127:p 1122:/ 1117:Z 1110:p 1106:/ 1101:Z 1094:0 1043:i 1039:P 1018:p 998:2 992:p 972:2 968:/ 963:Z 940:i 936:q 932:S 909:) 906:p 902:/ 897:Z 893:; 890:X 887:( 882:) 879:1 873:p 870:( 867:i 864:2 861:+ 858:n 854:H 847:) 844:p 840:/ 835:Z 831:; 828:X 825:( 820:n 816:H 807:i 803:P 779:p 757:i 753:P 732:n 710:n 706:q 702:S 682:q 679:S 659:i 636:) 633:2 629:/ 624:Z 620:; 617:X 614:( 609:i 606:+ 603:n 599:H 592:) 589:2 585:/ 580:Z 576:; 573:X 570:( 565:n 561:H 552:i 548:q 544:S 521:Y 501:X 481:Y 451:. 448:x 442:x 436:x 415:) 412:R 409:; 406:X 403:( 398:n 395:2 391:H 384:) 381:R 378:; 375:X 372:( 367:n 363:H 335:R 287:2 281:p 247:p 225:2 222:= 219:p 188:p 164:p 142:p 137:F 109:p 105:A 84:p 58:p 20:)

Index

Steenrod square
algebraic topology
Henri Cartan
1955
cohomology operations
prime number
Hopf algebra
cohomology operations
cohomology
1947
1953a
1953b
Bockstein homomorphism
generalized cohomology theory
Cohomology operation
natural transformation
ring
cup product
suspension
Bockstein operation
short exact sequence
Eilenberg–Maclane spectra
Cartan (1954–1955
Serre (1953)
dual Steenrod algebra
ring spectra
1962
Wen-tsĂĽn Wu
1952
José Adem

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

↑