All Questions
Tagged with homological-algebra modules
95 questions
58
votes
5
answers
8k
views
How to make Ext and Tor constructive?
EDIT: This post was substantially modified with the help of the comments and answers. Thank you!
Judging by their definitions, the $\mathrm{Ext}$ and $\mathrm{Tor}$ functors are among the most non-...
- 33.8k
32
votes
7
answers
4k
views
"Sums-compact" objects = f.g. objects in categories of modules?
Hello,
Let us call an object of an additive category sumpact (contraction of "sums" and "compact") if taking $Hom$ from it (considered as functor from the category to $Ab$) commutes with coproducts. ...
- 5,562
27
votes
5
answers
14k
views
Flat module and torsion-free module
All rings in this question are integral.
It is known that flat modules are torsion-free. Conversely, torsion-free modules over Prüfer domain (in particular, Dedekind domain) are flat, please see here. ...
- 951
11
votes
1
answer
1k
views
Higher "Cartan-Eilenberg" Resolutions
I am a number theory graduate student learning a bit of homological algebra, and I am curious about higher complexes in abelian categories. I apologize if my post is slightly vague as I am not an ...
user1437
10
votes
3
answers
1k
views
Dual of a bimodule
For a noncommutative ring $R$, and an $R$-$R$-bimodule $B$, is there a "correct/natural" notion of a dual bimodule? I am interested, really, when $B$ is projective as a left $R$-module.
Note: ...
10
votes
0
answers
950
views
Dimensions of dual vector spaces
Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...
- 18.7k
9
votes
3
answers
2k
views
Is every additive, left exact functor isomorphic to a hom functor?
Let $A$ be an Artin algebra, $\text{mod}\,A$ the category of finitely generated $A$-modules and $\text{Ab}$ the category of abelian groups. Is every additive, covariant, left-exact functor $F:\text{...
- 696
9
votes
1
answer
224
views
What is the largest subcategory $C$ of a module category over an Artin algebra, such that $C$ is Krull-Schmidt (and abelian)? Does $C$ exist?
Let $A$ be an Artin algebra, $\text{Mod}\,A$ the category of $A$-modules and $\text{mod}\,A$ the category of finitely generated $A$-modules. It is well-known that $\text{mod}\,A$ is a Krull-Schmidt ...
- 696
9
votes
1
answer
255
views
Multiplicity of $Ext^{d-t}(M,\omega_R)$, ($d=\dim R, t=\dim M$)
Let $R=\bigoplus_{i \geq 0} R_i$ be a Cohen-Macaulay graded ring ($R_0$ is a field and $R$ is generated by $R_1$) of dimension $d$ with canonical module $\omega_R$, and $M$ a graded Cohen-Macaulay $R$-...
- 3,031
8
votes
1
answer
399
views
Is the category of chain complexes a reflexive or coreflexive subcategory of the category of functors?
Let $A$ be an abelian category (you can assume additional conditions for its goodness). Let $\mathrm{Seq}(A) = \mathrm{Func}(\mathbb{Z}, A)$, where $\mathbb{Z}$ is the standard order category on ...
- 6,962
8
votes
1
answer
1k
views
Surjectivity of a map on inverse limits
(The following is crossposted from Math.SE, where the question did not receive any answers.)
I am looking for a proof of the following lemma from P. Gabriel's Des catégories abéliennes (Chap. IV, §3, ...
- 1,042
7
votes
1
answer
267
views
If $M \otimes -$ is continuous, why is $M$ f.g. projective? Alternative proof
Let $R$ be a commutative ring and $M$ be some $R$-module such that $M \otimes -$ is continuous (i.e. preserves all limits). Then one can show that $M$ is f.g. projective.
One way to prove this is to ...
- 5,482
7
votes
1
answer
246
views
Rings in which every module has an injective image
Consider the class of rings $R$ with identity such that any left $R$-module has a non-zero injective homomorphic image. Any such ring is clearly a left V-ring. Is it true that any such ring must be ...
- 157
7
votes
1
answer
180
views
Complexity of rational $\mathrm{GL}_{n(r)}$-modules
Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G=\mathrm{GL}_n(k)$ for some natural number $n$. For any integer $r\ge 1$, let $G_{(r)}$ denote the $r$th Frobenius ...
- 768
7
votes
1
answer
300
views
Does $ \text{mult}(R / I) = d_{1} \cdots d_{r} $ imply that $ (f_{1},\ldots,f_{r}) $ is an $ R $-regular sequence?
We define the multiplicity of an $ R $-module $ M $ of dimension $ d > 0 $ to be
$$
\text{mult}(M) \stackrel{\text{df}}{=} \text{LC}(P_{M}) \cdot (d - 1)!,
$$
where $ P_{M} $ denotes the Hilbert ...
- 211
7
votes
0
answers
275
views
Split epimorphism of modules - does the finite case imply the infinite case?
Let $k$ be a field, $A$ a finite dimensional $k$-algebra, $X$ a finite dimensional indecomposable (left) $A$-module and $M$ an infinite dimensional (left) $A$-module. Suppose further we have an ...
- 696
6
votes
1
answer
311
views
Factoring through projective modules is an equivalence relation
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\PHom{PHom}$I'm reading about stable module categories, and I have a question about the definition of the maps. Let $R$ be a ring, and take (left) ...
6
votes
1
answer
2k
views
A Hom-Tensor identity - $\text{Hom}_{R}(P,B)\otimes _SC \cong \text{Hom}_{R}(P,B \otimes_S C) $
let $R,S$ be associative algebras over $\mathbb{C}$. Let $\mathcal{C} \subseteq$ $R$-Mod be a full abelain subcategory of $R$-Mod which is the category of $R$-modules. Let $B$ and $C$ be, a $(R,S)$-...
- 61
6
votes
1
answer
361
views
How to check whether a module is an n-th syzygy
Given a finite dimensional algebra $A$, define $\Omega^{n}(mod-A)$ (modules here are always finite dimensional) to be the full subcategory of projective modules or modules $M$ such that $M \cong \...
- 26.5k
6
votes
1
answer
2k
views
$\mathbb Z_n[x_1^\pm,\dots,x_D^\pm]$-modules extended from $\mathbb Z_n$
Let $n$ be a positive integer and let $\mathbb Z_n=\mathbb Z/n \mathbb Z$. Consider the ring of Laurent polynomials $R=\mathbb Z_n[x_1^\pm,\dots,x_D^\pm]$. $R$-modules of the form $M=M_0 \otimes_{\...
- 344
5
votes
1
answer
332
views
Must the inclusion of an indecomposable module in the direct sum of two copies always split?
We consider finitely generated modules over an Artin algebra. Let $X$ be an indecomposable module and let $f:X \longrightarrow X \oplus X$ a monomorphism. Must $f$ always be a split monomorphism?
- 696
5
votes
1
answer
235
views
Concept of an exact ideal of a module category
Let $R$ be a ring and $\text{Mod}\,R$ the category of (left) $R$-modules. Consider an ideal $\mathcal{I}$ of $\text{Mod}\,R$. For $R$-modules $X$ and $Y$ let $\mathcal{I}(X,Y)$ be the collection of ...
- 696
5
votes
1
answer
173
views
Projective module which splits off sequence of submodules, but not the sum
Does there exist an example of a module $X$ over some ring $R$ together with submodules $T_i$ such that:
$X$ is projective,
$X$ splits as an internal direct sum $X\cong T_1\oplus T_2\oplus \ldots \...
- 858
5
votes
1
answer
410
views
Behavior of the projective dimension of modules in a continuous chain of extensions
Let $R$ be an arbitrary ring. Let $D$ be the class of $R$-modules of projective dimension less than or equal to a natural number $n$. If $L$ is the direct union of a continuous chain of submodules ${...
- 111
5
votes
0
answers
94
views
A Galois connection arising from discussion concerning flat module and pure exact sequence
There is some sort of symmetry in the definition of flat module and pure short exact sequence which can be made precise as follows.
Let $R$ be a ring (with unit), $\mathcal{R}$ be the class of all ...
- 51
5
votes
0
answers
158
views
On existence of finitely generated projective generator with commutative endomorphism ring in ${}_R Mod$
Let $R$ be a ring with unity (not necessarily commutative). Let ${}_R Mod$ be the category of left $R$-modules. If ${}_R Mod$ has a projective generator with commutative endomorphism ring , then does $...
- 1,209
4
votes
1
answer
459
views
A similar construction to Ext, can we describe it better and does it have any use?
Let $R$ be a ring and $\text{Mod}\,R$ the category of $R$ modules. For two $R$-modules $X,Y$ one can define $\text{Ext}_R^n(X,Y)$ as follows. We take an injective resolution $0\rightarrow Y\rightarrow ...
- 696
4
votes
1
answer
198
views
Does hereditary and connected imply that the underlying ring $k$ of a $k$-algebra is a field?
All rings are assumed to be associative and have a 1. Let $k$ be a commutative artininan ring and $R$ a finitely generated $k$-algebra. Is it true that if $R$ is connected and hereditary, then $k$ is ...
- 696
4
votes
1
answer
107
views
For a finite dimensional $k$-Algebra $A$ does infinite representation type imply $(\text{rad}_A^{\omega})^2 \neq 0$?
Let $k$ be a field, $A$ a finite dimensional $k$-Algebra, $\text{mod}\,A$ the category of finite dimensional left $A$-modules and $\text{rad}_A$ the collection of radical morphisms in $\text{mod}\,A$. ...
- 696
4
votes
1
answer
564
views
Nondegenerate pairings versus perfect pairings for finitely generated projective modules
Let $R$ be a (not necessarily commutative) ring, $M$ a left $R$-module, and $N$ a right $R$-module. We say that a pairing
$$
\langle -,-\rangle:M \otimes_R N \to R
$$
is non-degenerate if, for all $n \...
- 145
4
votes
1
answer
205
views
Let A be an Artin algebra. What happens if the limit and inverse limit are the same in mod A?
Let $A$ be an Artin algebra and $\text{mod}\,A$ the category of finite length modules. Further, let $X_0 \longrightarrow X_1 \longrightarrow X_2 \longrightarrow ...$ and $Y_0 \longleftarrow Y_1 \...
- 696
4
votes
1
answer
133
views
Existence of small projective dimensioned modules
Suppose $A$ is a (if necessary unital) associative ring and $I$ is a left ideal in $A$. Let $\operatorname{pd}(M)$ denote the projective dimension of a left $A$-module $M$.
Then do either of the ...
- 128
4
votes
1
answer
357
views
Surjectivity of natural map of rings
$\DeclareMathOperator\Hom{Hom}$Let $A$ be an integral domain and $P$ be a prime ideal in $A$. We denote $B=A/P$ then is the following natural map
$$\Hom_A(P,A)\otimes_A B\to \Hom_A(P,B)$$ surjective?
...
- 585
4
votes
1
answer
290
views
When does $\operatorname{Ext}_C^1(M,N_i)=0$ imply $\operatorname{Ext}_C^1\left(M,\lim\limits_\longleftarrow N_i\right)=0$?
Let $C$ be an abelian category. Suppose that $(N_i)_{i\in I}$ is an inverse system of objects in $C$. Under which conditions does the hypothesis that $$\operatorname{Ext}_C^1(M,N_i)=0\quad\forall i\...
- 143
4
votes
1
answer
554
views
locally noetherian categories and the category of quasi-coherent sheaves over a noetherian scheme
It is known that a ring $R$ is noetherian if and only if direct sums of injective $R$-modules
are injective if and only if every injective $R$-module is a direct sum of indecomposable injective $R$-...
- 63
4
votes
1
answer
186
views
Exact sequences with two FL-modules
Let $R$ be a ring. An $R$-module $M$ is called FL (FP) if it has a finite resolution consisiting of finitely generated free (projective) modules.
Given an exact sequence of $R$-modules, $0\to M_1\to ...
- 1,418
4
votes
1
answer
241
views
Questions in the paper "The category of good modules over a quasi-hereditary algebra has almost split sequences"
I am reading the paper "The category of good modules over a quasi-hereditary algebra has almost split sequences", the link is here:https://pub.uni-bielefeld.de/publication/1780235.
In the paper, $A$ ...
- 775
4
votes
1
answer
480
views
Splitness of commutative diagrams
Consider the following commutative diagram in the category of $R$-modules where $R$ is an associative ring with identity and all modules are unital.
$
\newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #...
- 141
4
votes
0
answers
363
views
A projective module over a domain that is not faithfully flat?
Let $R$ be a (noncommutative) unital ring which is a domain and let $\mathcal{N}$ be a non-zero projective (right) module. Projectivity of course implies that $\mathcal{N}$ is flat, but does the fact ...
- 435
4
votes
0
answers
74
views
self-cogenerator rings
Let $\mathbb{U}$ be a non-empty set (class) of objects of a
category $C$. An object $B$ in $C$ is said to be cogenerated by
$\mathbb{U}$ or $\mathbb{U}$-cogenerated if, for every pair of
distinct ...
- 41
3
votes
2
answers
379
views
Zeros of higher Ext functors
I'm trying to understand module classes that are defined as the kernels of higher Ext functors (e.g., arising here; as this paper suggests, I'm coming at this problem outside of module theory). One ...
- 508
3
votes
1
answer
299
views
RIng that is flat over a subring as a right module but not as a left module
What is an example of a ring $R$ and a subring $S \subseteq R$ such that $R$ is flat as a right module but not flat as a left module.
The following question is my motivation:
Faithful flatness for ...
- 305
3
votes
1
answer
244
views
Left module which cannot be made into a bimodule?
Let $A$ be a noncommutative unital algebra, defined over $\mathbb{C}$ say. What is an example of a left $A$-module $M$ that does not admit a right $A$-module structure giving $M$ the structure of a ...
3
votes
1
answer
364
views
Is there an $A$ such that $B$ injective iff 1st Ext functor vanishes?
In the category of $\mathbb{Z}$-modules, there exists a module $A$---for instance $\bigoplus_{k=2}^\infty \mathbb{Z}/k\mathbb{Z}$---such that a $\mathbb{Z}$-module $B$ is injective iff $\operatorname{...
- 3,079
3
votes
1
answer
339
views
If the Hom-space of finite length modules is generated by single elements, must the elements be conjugate?
Let $A$ be an Artin $k$-algebra for a commutative artinian ring $k$ (e.g. $A$ is a finite dimensional algebra over a field $k$). Let $X,Y$ be finite length left $A$-modules. If $\text{Hom}_A(X,Y)$ is ...
- 696
3
votes
1
answer
240
views
Split monomorphisms of modules - does the finite case imply the infinite case?
Let $k$ be a field, $A$ a finite dimensional $k$-algebra, $X$ a finite dimensional indecomposable (left) $A$-module and $M$ an infinite dimensional (left) $A$-module. Further $X\subseteq M$ and for ...
- 696
3
votes
1
answer
995
views
An example of a tensor product consisting of only simple tensors?
Hy guys. I'm doing some independent analysis which makes use of the tensor product of modules (over commutative rings with unit 1, and ring homomorphisms map $1 \mapsto 1$). Let $\pi: A' \to A$ be a ...
- 33
3
votes
2
answers
1k
views
Let $M$ be a $R$-Bimodule that happens to be projective, is its associated left $R \otimes R^{op}$-module projective too?
Let $k$ be a commutative ring, a $R$-Bimodule $M$ over a $k$-algebra $R$ is a $k$-module with two actions of $R$ on $M$, on the left and on the right, the classical example of this being $R$ itself ...
- 417
3
votes
1
answer
301
views
If a bimodule is "generated" by single elements, must the elements be conjugate?
Let $A$ and $B$ be Artin $k$-algebras for a commutative artinian ring $k$ (e.g. $A$ and $B$ are finite dimensional $k$-algebras for a field $k$). Let $M$ be an $A$-$B$-bimodule of finite length over $...
- 696
3
votes
2
answers
755
views
What is the characteristic of the module over Jacobson semisimple ring？
We know a ring R is semisimple ring iff every module over R is semisimple，a ring R is von-Neumann regular ring iff every module over R is flat，What about the Jacobson semisimple ring？
- 391