Related papers: Hom$_*$ commuting with filtered products

We study properties of a group, abelian group, ring, or monoid $B$ which (a) guarantee that every homomorphism from an infinite direct product $\prod_I A_i$ of objects of the same sort onto $B$ factors through the direct product of finitely…

We prove in ZFC that if $G$ is a (right) $R$-module such that the groups $\Hom_R(\prod_{i\in I}G_i,G)$ and $\prod_{i\in I}\Hom_R(G_i,G)$ are naturally isomorphic for all families of $R$-modules $(G_i)_{i\in I}$ then G=0. The result is valid…

In all $\kappa$-accessible additive categories, $\kappa$-pure monomorphisms and $\kappa$-pure epimorphisms are well-behaved, as shown in our previous paper arXiv:2311.02418. This is known to be not always true in $\kappa$-accessible…

The aim of the paper is to describe autocompact objects in Ab5-categories, i.e. objects in cocomplete abelian categories with exactness preserving filtered colimits of exact sequences, whose covariant Hom-functor commutes with copowers of…

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…

Let $(S, \n)$ be a commutative noetherian local ring and $\omega\in\n$ be non-zerodivisor. This paper deals with the behavior of the category $\mon(\omega, \cp)$ consisting of all monomorphisms between finitely generated projective…

We present a simple extension of the classical Hilton-Eckmann argument classically used to prove that the endomorphism monoid of the unit object in a monoidal category is commutative. It allows us to recover in a uniform way well-known…

Definition. Let $\kappa$ be an infinite cardinal, let {X(i)} be a (not necessarily faithfully indexed) set of topological spaces, and let X be the product of the spaces X(i). The $\kappa$-box product topology on X is the topology generated…

Let $R$ be an associative ring with identity. This paper investigates the structure of the monomorphism category of large $R$-modules and establishes connections with the category of contravariant functors defined on finitely presented…

We briefly report on our result that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then their cross-product is equal to the product of $A$ itself with a subalgebra isomorphic to $H$ and commuting with…

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

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…

Let $I$ denote an ideal of a local ring $(R,\mathfrak{m})$ of dimension $n$. Let $M$ denote a finitely generated $R$-module. We study the endomorphism ring of the local cohomology module $H^c_I(M), c = \grade (I,M)$. In particular there is…

For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map…

Let $G$, $H$ be groups and $\kappa$ be a cardinal. A bijection $f:G\to H$ is caled on asymorphism if, for any $X\in[G]^{<\kappa}$, $Y\in[H]^{<\kappa}$, there exist $X'\in[G]^{<\kappa}$, $Y'\in[H]^{<\kappa}$ such that for all $x\in G$ and…

For a rigid object $M$ in an algebraic triangulated category $\mathcal{T}$, a functor pr$(M)\to\mathcal{H}^{[-1,0]}({\rm proj}\, A)$ is constructed, which essentially takes an object to its `presentation', where pr$(M)$ is the full…

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…

Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of…

We study the category $\operatorname{Morph}(\operatorname{Mod} R)$ whose objects are all morphisms between two right $R$-modules. The behavior of objects of $\operatorname{Morph}(\operatorname{Mod} R)$ whose endomorphism ring in…

An additive category in which each object has a Krull-Remak-Schmidt decomposition -- that is, a finite direct sum decomposition consisting of objects with local endomorphism rings -- is known as a Krull-Schmidt category. A Hom-finite…