Kappa-Slender Modules
For an arbitrary infinite cardinal $\kappa$, we define classes of coordinatewise $\kappa$-slender and tailwise $\kappa$-slender modules as well as related classes of $h\kappa$-modules and initiate a study of these classes.
arXiv subjects
Publications and source records attributed to Radoslav Dimitric.
For an arbitrary infinite cardinal $\kappa$, we define classes of coordinatewise $\kappa$-slender and tailwise $\kappa$-slender modules as well as related classes of $h\kappa$-modules and initiate a study of these classes.
This paper establishes grounds for deeper exploration into the question of dual nature of mathematics as an abstract discipline and as a concrete science. It is argued, as one of the consequences of the discussion, that the division into "pure" and "applied" mathematics is artificial. The criterion of creativity and applicability outside of the original context is used as a litmus test. It is emphasized that great societies and cultural environments produce great mathematics and individual mathematicians.
In a sufficiently rich category, such as a category of R-modules, and a given infinite cardinal $κ$, we examine classes $\Cal H^κ_*$ of objects M, such that the following natural monomorphism is an isomorphism: $$\prod_{i\in I}}^κ\hbox{\rm Hom}\,(M, A_i)\cong \hbox{\rm Hom}\,(M, \prod_{i\in I}}^κ A_i),$$ for every family of objects $\{A_i, i\in I\}$ ($\prod^κ$ denotes the subproduct of all the vectors with support $<κ$).
In this note, we are working within the category $\rmod$ of (unitary, left) $R$-modules, where $R$ is a {\bf countable} ring. It is well known (see e.g. Kiełpiński & Simson [5], Theorem 2.2) that the latter condition implies that the (left) pure global dimension of $R$ is at most 1. Given an infinite index set $A$, and a family $M_\al\in\rmod$, $\al\in A$ we are concerned with the conditions as to when the $R$-module $$\prod/\coprod=\prod_{\al\in A}M_\al/\bigoplus_{\al\in A}M_\al$$ is or is not algebraically compact. There are a number of special results regarding this question and this note is meant to be an addition to and a generalization of the set of these results. Whether the module in the title is algebraically compact or not depends on the numbers of algebraically compact and non-compact modules among the components $M_\al$.
Given an upward directed set $I$ we consider surjective $I$-inverse systems $\{X_\al,f_{\al\be}:X_\be\lra X_\al| \al\leq\be\in I\}$, namely those inverse systems that have all $f_{\al\be}$ surjective. A number of properties of $I$-inverse systems have been investigated; such are the Mittag-Leffler condition, investigated by Grothendieck and flabby and semi-flabby $I$-inverse systems studied by Jensen. We note that flabby implies semi-flabby implies surjective implies Mittag-Leffler. Some of the results about surjective inverse systems have been known for some time. The aim of this note is to give a series of equivalent statements and implications involving surjective inverse systems and the systems satisfying the Mittag-Leffler condition, together with improvements of established results, as well as their relationships with the already known, but scattered facts. The most prominent results relate cardinalities of the index sets with right exactness of the inverse limit functor and the non-vanishing of the inverse limit -- connections related to cohomological dimensions.