We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and representation theory. In addition to a Hopf ring presentation, we give geometric cocycle representatives and explicitly determine the structure as an algebra over the Steenrod algebra. All calculations are explicit, with an additive basis which has a clean graphical representation. We also briefly develop related Hopf ring structures on rings of symmetric invariants and end with a generating set consisting of Stiefel-Whitney classes of regular representations v2. Added new results on varieties which represent the cocycles, a graphical representation of the additive basis, and on the Steenrod algebra action. v3. Included a full treatment of invariant theoretic Hopf rings, refined the definition of representing varieties, and corrected and clarified references.
Texas Christian University（德克萨斯基督教大学）；University of Pennsylvania（宾夕法尼亚大学）；University of Louisiana at Lafayette（路易斯安那大学拉斐特分校）；University of Oregon（俄勒冈大学）；University of the Virgin Islands（维尔京群岛大学）
本文提出链环补空间的 bar 上同调作为同调球中链环的新不变量，它构成 Hopf 代数，可通过曲面及其交曲线计算，并定义了张量 Hopf 代数的典范子空间，编码并超越 Milnor 不变量。
