Related papers: Direct products and the contravariant hom-functor

Let $G$ be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of $G$. This resolution is used to define…

Let $G$ denote a possibly discrete topological group admitting an open subgroup $I$ which is pro-$p$. If $H$ denotes the corresponding Hecke algebra over a field $k$ of characteristic $p$ then we study the adjunction between $H$-modules and…

This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…

We consider a functor from the category of groups to itself $G\mapsto \mathbb Z_\infty G$ that we call right exact $\mathbb Z$-completion of a group. It is connected with the pronilpotent completion $\hat G$ by the short exact sequence…

Various monoidal categories, including suitable representation categories of vertex operator algebras, admit natural Grothendieck-Verdier duality structures. We recall that such a Grothendieck-Verdier category comes with two tensor products…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

Let $G$ be a $\mathbb{Q}_p$-split reductive group with connected centre and Borel subgroup $B=TN$. We construct a right exact functor $D^\vee_\Delta$ from the category of smooth modulo $p^n$ representations of $B$ to the category of…

We reformulate the definition of a zero product determined algebra in terms of tensor products and obtain necessary and sufficient conditions for an algebra to be zero product determined. These conditions allow us to prove that the direct…

Let $G$ be the Klein Four-group and let $k$ be an arbitrary field of characteristic 2. A classification of indecomposable $kG$-modules is known. We calculate the relative cohomology groups $H_\{chi}^i(G,N)$ for every indecomposable…

First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature…

We prove that if $G=(\mathbb{Z}/2)^r$ acts freely and cellularly on a finite-dimensional CW-complex $X$ homotopy equivalent to $\mathbb{R}P ^{n_1} \times \cdots \times \mathbb{R} P ^{n_k}$ with trivial action on the mod-$2$ cohomology, then…

Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion…

It is a classical theorem that the free product of ordered groups is orderable. In this note we show that, using a method of G. Bergman, an ordering of the free product can be constructed in a functorial manner, in the category of ordered…

Let $M$ be a compact one--manifold, and let $\mathrm{Diff}^{1+\mathrm{bv}}(M)$ denote the group of $C^1$ orientation preserving diffeomorphisms of $M$ whose first derivatives have bounded variation. We prove that if $G$ is a group which is…

Let $S$ be a complex reductive group acting holomorphically on a complex Lie group $N$ via holomorphic automorphisms. Let $K(S)\subset S$ be a maximal compact subgroup. The semidirect product $G := N\rtimes K(S)$ acts on $N$ via…

Given a finite group G and a G-space X, we show that a direct sum $F_G (X) = \bigoplus_{n \geq 0}K_{G_n} (X^n) \bigotimes \C$ admits a natural graded Hopf algebra and $\lambda$-ring structure, where $G_n$ denotes the wreath product $G \sim…

Let $\mathcal C$ be a class of modules over a ring $R$, closed under direct sums over index sets of cardinality $\kappa$ and isomorphisms, and such that the isomorphism classes form a set. The monoid of modules $V(\mathcal C)$ encodes the…

An element $g$ of a group is called reversible if it is conjugate in the group to its inverse. An element is an involution if it is equal to its inverse. This paper is about factoring elements as products of reversibles in the group…

Let $R$ be an arbitrary ring and $(-)^+=\Hom_{\mathbb{Z}}(-, \mathbb{Q}/\mathbb{Z})$ where $\mathbb{Z}$ is the ring of integers and $\mathbb{Q}$ is the ring of rational numbers, and let $\mathcal{C}$ be a subcategory of left $R$-modules and…

We study in this article stable homology of automorphism groups of free groups with coefficients twisted by a poynomial functor. We show that this homology is zero for a reduced covariant polynomial functor. For a reduced contravariant…