Related papers: Quotient rings of $H\mathbb{F}_2 \wedge H\mathbb{F…
We extend Wood's graph theoretic interpretation of certain quotients of the mod $2$ dual Steenrod algebra to quotients of the mod $p$ dual Steenrod algebra where $p$ is an odd prime and to quotients of the $C_2$-equivariant dual Steenrod…
We calculate the mod-two cohomology of all alternating groups together, with both cup and transfer product structures, which in particular determines the additive structure and ring structure of the cohomology of individual groups. We show…
We describe a Hopf ring structure on the direct sum of the cohomology groups $\bigoplus_{n \geq 0} H^* \left( W_{B_n}; \mathbb{F}_2 \right)$ of the Coxeter groups of type $B_n$, and an almost-Hopf ring structure on the direct sum of the…
We establish connectedness criteria for graphs associated to monomials in certain quotients of the mod 2 dual Steenrod algebra. We also investigate questions about trees and Hamilton cycles in the context of these graphs. Finally, we…
In the paper "The Steenrod algebra and its dual", J.Milnor determined the structure of the dual Steenrod algebra which is a graded commutative Hopf algebra of finite type. We consider the affine group scheme $G_p$ represented by the dual…
We consider a theory of noncommutative Gr\"obner bases on decreasingly filtered algebras whose associated graded algebras are commutative. We transfer many algorithms that use commutative Gr\"obner bases to this context. As an important…
A non-connected neither of finite type Hopf algebra $\mathcal{F}_{0}$ is defined over $\mathbb{Z}/ 2\mathbb{Z}$ and its hom dual turns out to be a tensor product of polynomial algebras. Certain quotient Hopf algebras include the Steenrod…
In this paper, the K_2 group of F_2 coefficients group algebra of a noncommutative group with 8 elements(dihedral group D_4 ) is calculated,which is divided into three parts:The first part is the introduction of basic knowledge related to…
We write $\mathbb P$ for the polynomial algebra in one variable over the finite field $\mathbb Z_2$ and $\mathbb P^{\otimes t} = \mathbb Z_2[x_1, \ldots, x_t]$ for its $t$-fold tensor product with itself. We grade $\mathbb P^{\otimes t}$ by…
In this paper, we construct the Grothendieck ring of a class of 2$n^2$-dimension semisimple Hopf Algebras $H_{2n^2}$, which can be viewed as a generalization of the 8-dimension Kac-Paljutkin Hopf algebra $K_8$. All irreducible…
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…
For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology,…
In this paper we completely classify which graded polynomial R-algebras in finitely many even degree variables can occur as the singular cohomology of a space with coefficients in R, a 1960 question of N. E. Steenrod, for a commutative ring…
We describe the dualization of the algebra of secondary cohomology operations in terms of generators extending the Milnor dual of the Steenrod algebra. In this way we obtain explicit formulae for the computation of the E_3-term of the Adams…
We describe a few properties of the non semi-simple associative algebra H = M_3 + (M_{2|1}(Lambda2))_0, where Lambda2 is the Grassmann algebra with two generators. We show that H is not only a finite dimensional algebra but also a (non…
The aim of this paper is to study sub-algebras of the $\mathbb{Z}/2$-equivariant Steenrod algebra (for cohomology with coefficients in the constant Mackey functor $\mathbb{F}_2$) which come from quotient Hopf algebroids of the…
The mod 2 Steenrod algebra $\mathcal{A}_2$ can be defined as the quotient of the mod 2 Leibniz--Hopf algebra $\mathcal{F}_2$ by the Adem relations. Dually, the mod 2 dual Steenrod algebra $\mathcal{A}_2^*$ can be thought of as a sub-Hopf…
We give an algorithm to determine finitely many generators for a subgroup of finite index in the unit group of an integral group ring $\mathbb{Z} G$ of a finite nilpotent group $G$, this provided the rational group algebra $\mathbb{Q} G$…
G. Walker and R. Wood proved that in degree $2^n-1-n$, the space of indecomposable elements of $\Bbb F_2[x_1,\ldots,x_n]$, considered as a module over the mod 2 Steenrod algebra, is isomorphic to the Steinberg representation of $GL_n(\Bbb…
Let F be a field, let G be its absolute Galois group, and let R(G, k) be the representation ring of G over a suitable field k. In this preprint we construct a ring homomorphism from the mod 2 Milnor K-theory k_*(F) to the graded ring gr…