Related papers: Direct products and the contravariant hom-functor

Let $G$ be a topological group and $A$ a topological $G$-module (not necessarily abelian). In this paper, we define $H^{0}(G,A)$ and $H^{1}(G,A)$ and will find a six terms exact cohomology sequence involving $H^{0}$ and $H^{1}$. We will…

Let $G$ be the group of rational points of a split connected reductive group over a nonarchimedean local field of residue characteristic $p$. Let $I$ be a pro-$p$ Iwahori subgroup of $G$ and let $R$ be a commutative quasi-Frobenius ring. If…

We describe new combinatorial methods for constructing an explicit free resolution of Z by ZG-modules when G is a group of fractions of a monoid where enough least common multiples exist (``locally Gaussian monoid''), and, therefore, for…

This paper gives an explicit structure theorem for the symmetric group acting on the symmetric algebra of its natural module. Let $G$ be the symmetric group on $x_1,..., x_n$ and let $d_i$ be the $i^{\text{th}}$ elementary symmetric…

Let $G_1,G_2$ be real reductive groups and $(\pi,V)$ a smooth, irreducible, admissible representation of $G_1 \times G_2$. We prove that $(\pi,V)$ is the completed tensor product of $(\pi_i,V_i)$, $i=1,2$, where $(\pi_i,V_i)$ is a…

For a closed, connected direct product Riemannian manifold $(M, g)=(M_1\times\cdots\times M_l, g_1\oplus\cdots\oplus g_l)$, we define its multiconformal class $ [\![ g ]\!]$ as the totality $\{f_1^2g_1\oplus \cdots\oplus f_l^2g_l\}$ of all…

Let \(G\) and \(H\) be graphs, and let \(G\times H\) denote their direct product. For a graph \(G\), let \(\operatorname{im}(G)\) be the largest integer \(t\) such that \(G\) contains a \(K_t\)-immersion. Collins, Heenehan, and McDonald…

Criteria are obtained for a filter F of subsets of a set I to be an intersection of finitely many ultrafilters, respectively, finitely many \kappa-complete ultrafilters for a given uncountable cardinal \kappa. From these, general results…

Let $G$ be a group of homeomorphisms of a topological space $X$. $G$ is $\textit{(properly) isometrizable}$ if there exists a $G$-invariant (proper) gauge structure on $X$. $G$ is $\textit{equiregular}$ if for every $x \in X$ and every open…

Let V be a compact Kahler manifold. Let G' be a commutative subgroup of Aut(V) and U the set of elements of zero entropy of G'. Then U is a group and G' is isomorphic to the direct product of groups U and G where G is a subgroup of G' such…

Let $\varphi$ and $\varphi'$ be two homotopic actions of the topological group $G$ on the topological space $X$. To an object $A$ in the $G$-equivariant derived category $D_{\varphi}(X)$ of $X$ relative to the action $\varphi$ we associate…

Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a…

We exhibit in this article a contraction of the direct product Lie algebra $g\oplus g$ of a finite-dimensional complex Lie algebra $g$ onto the semi-direct product Lie algebra $g\rtimes g$, where the first factor $g$ is viewed as a trivial…

We introduce a procedure based on computational algebraic geometry to determine whether two algebras are isomorphic. We then apply it to show that if $R$ is a commutative unital ring in which $2$ is not invertible, $G$ is a group of order…

Let $G$ be a group. We say that an element $f\in G$ is {\em reversible in} $G$ if it is conjugate to its inverse, i.e. there exists $g\in G$ such that $g^{-1}fg=f^{-1}$. We denote the set of reversible elements by $R(G)$. For $f\in G$, we…

If $\mathbb{F}_{q}$ is a finite field, $C$ is a vector subspace of $\mathbb{F}_{q}^{n}$ (linear code), and $G$ is a subgroup of the group of linear automorphisms of $\mathbb{F}_{q}^{n}$, $C$ is said to be $G$-invariant if $g(C)=C$ for all…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. Let $\mathcal{P}$ be the class of all $I$-generated $R$-modules $M$ (i.e. there is an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$) and let…

We compute the homotopy groups of the $C_2$ fixed points of equivariant topological modular forms at the prime $2$ using the descent spectral sequence. We then show that as a $\mathrm{TMF}$-module, it is isomorphic to the tensor product of…

Given a countable group G, we consider the sets S_factor(G), S_eqrel(G), of subgroups F of the positive real line for which there exists a free ergodic probability measure preserving action G on X such that the fundamental group of the…

A finitely generated group $G$ is called strongly scale-invariant if there exists an injective homomorphism $f:G\to G$ such that $f(G)$ is a finite index subgroup of $G$ and such that $\cap_{n\geq 0} f^n(G)$ is finite. Nekrashevych and Pete…