Related papers: Direct products and the contravariant hom-functor

Lazard correspondence provides an isomorphism of categories between finitely generated nilpotent pro-$p$ groups of nilpotency class smaller than $p$ and finitely generated nilpotent $\mathbb{Z}_p$-Lie algebras of nilpotency class smaller…

Let $M$ be a left $R$-module. We define the \emph{homomorphism submodule graph} $\Gamma_{\mathrm{Hom}}(M)$ as the simple graph whose vertices are the proper submodules of $M$, with an edge between distinct vertices $N_1$ and $N_2$ if and…

The power graph $P(G)$ of a finite group $G$ is the graph with vertex set $G$ and two distinct vertices are adjacent if either of them is a power of the other. Here we show that the power graph $P(G_1 \times G_2)$ of the direct product of…

Let G be a finite group. We show that the rational homotopy groups of symmetric products of the G-equivariant sphere spectrum are naturally isomorphic to the rational homology groups of certain subcomplexes of the subgroup lattice of G.

For an associative ring $R$, let $P$ be an $R$-module with $S=\End_R(P)$. C.\ Menini and A. Orsatti posed the question of when the related functor $\Hom_R(P,-)$ (with left adjoint $P\ot_S-$) induces an equivalence between a subcategory of…

Let G be a compact Lie group, and consider the variety Hom(Z^k,G) of representations of Z^k into G. We view this as a based space by designating the trivial representation to be its base point. We prove that the fundamental group of this…

Let $G$ be a group and let $E$ be a functor from small $\Z$-linear categories to spectra. Also let $A$ be a ring with a $G$-action. Under mild conditions on $E$ and $A$ one can define an equivariant homology theory of $G$-simplicial sets…

We investigate infinite dimensional modules for an affine group scheme $\mathbb G$ of finite type over a field of positive characteristic $p$. For any subspace $X \subset \mathcal O(\mathbb G)$ of the coordinate algebra of $\mathbb G$, we…

Hard to summarize concisely; here are the high points. The first two statements below are ring-theoretic; in these R is a nontrivial ring, R^\omega, and \bigoplus_\omega R are the direct product, respectively direct sum, of countably many…

Let $R = k[x_1, \ldots, x_n]$ be a polynomial ring over a field $k$ of characteristic zero and $\cR$ be the formal power series ring $k[[x_1, \ldots, x_n]]$. If $M$ is a $\D$-module over $R$, then $\cR \otimes_R M$ is naturally a…

For any torsion-free hyperbolic group $\Gamma$ and any group $G$ that is fully residually $\Gamma$, we construct algorithmically a finite collection of homomorphisms from $G$ to groups obtained from $\Gamma$ by extensions of centralizers,…

In this paper, leveraging the recent achievements of researchers, we have revisited the family of ideals of product of commutative rings. We demonstrate that if $ \{ R_\alpha \}_{\alpha \in A} $ is an infinite family of rings, then $ \left|…

Let $G$ be a finite group. A finite collection of elements from $G$, where the order is disregarded and repetitions are allowed, is said to be a product-one sequence if its elements can be ordered such that their product in $G$ equals the…

We consider the contraderived category of left contramodules over a right linear topological ring $\mathfrak R$ with a countable base of neighborhoods of zero. Equivalently, this is the homotopy category of unbounded complexes of projective…

If $N \subset \R$ is a separable II$_1$-factor, the space $\Hom(N,\R)$ of unitary equivalence classes of unital *-homomorphisms $N \to \R$ is shown to have a surprisingly rich structure. If $N$ is not hyperfinite, $\Hom(N,\R)$ is an…

In this paper we enumerate the necessary and sufficient conditions for the weak modular product of two simple graphs to be perfect. The weak modular product differs from the direct product by also encoding non-adjacencies of the factor…

If $G$ is a finite group or a torus, it is known that there is an isomorphism between the Grothendieck group of homotopy representations and that of generalized homotopy representations for $G$. We prove that there is such an isomorphism…

Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its…

We consider finitely presented,residually finite groups $G$ and finitely generated normal subgroups $A$ such that the inclusion $A\hookrightarrow G$ induces an isomorphism from the profinite completion of $A$ to a direct factor of the…

Let $G$ and $H$ be locally compact groups. We will show that each contractive Jordan isomorphism $\Phi\colon L^1(G)\to L^1(H)$ is either an isometric isomorphism or an isometric anti-isomorphism. We will apply this result to study isometric…