All Questions
26 questions
34
votes
1
answer
5k
views
Freyd-Mitchell's embedding theorem
Freyd–Mitchell's embedding theorem states that: if $A$ is a small abelian category, then there exists a ring R and a full, faithful and exact functor $F\colon A \to R\text{-}\mathrm{Mod}$.
I have been ...
- 3,004
15
votes
2
answers
2k
views
When is bar-cobar duality an equivalence?
Let $A$ be an augmented differential graded algebra over a field $k$. I will write $BA$ for its bar construction (whose homology is $Tor^A(k, k)$). This is a co-augmented differential graded ...
- 4,133
10
votes
1
answer
1k
views
Is there a way to define a prime ideal object via diagrams in the category of rings?
I like to think in terms of commutative diagrams rather than referring to elements. So to me a group is really a group object, i.e. an object with some maps satisfying certain commutative diagrams. ...
- 30.3k
10
votes
1
answer
1k
views
Equivalent descriptions of Coherent Groups
Attending a series of lectures, I have recently been exposed to the notion of Coherent groups, defined as following:
Def: A group $G$ is called Coherent if every finitely generated subgroup $H$ of $G$...
- 493
10
votes
1
answer
307
views
Rings where all indecomposable projective modules are finitely generated
Let $X$ be the class of (unital, associative and not necessarily commutative) rings $R$ where every indecomposable projective $R$-module is finitely generated.
Question 1: Is there a nice equivalent ...
- 26.5k
9
votes
3
answers
1k
views
Poincaré duality for (co)homology of Lie algebras?
Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements.
In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200, it ...
- 1,589
9
votes
1
answer
1k
views
When does the homological dimension of a tensor product equal the sum of dimensions?
The notion of dimension I prefer most is right global dimension, but the question can also be asked for other notions (e.g. weak dimension, injective dimension, Krull dimension). Letting $d$ be ...
- 30.3k
7
votes
0
answers
228
views
Terminology for vanishing of Hochschild homology with symmetric coefficients?
In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying $H^n(A,M)=0$...
- 25.8k
6
votes
1
answer
244
views
What is a Serre-smooth algebra?
Let $A$ be an $R$-algebra.
In the book "Noncommutative Geometry and Cayley-smooth Orders" by Le Bruyn one can find the notion of "Serre-smooth" in the introduction.
But no formal ...
- 26.5k
6
votes
1
answer
203
views
Question on a subcategory being extension-closed
In the article "Homological theory of noetherian rings" by Idun Reiten from 1996, it was stated that it seems to be not known whether the subcategory $\operatorname{Tr}(\Omega^i(\mathrm{mod}\...
- 26.5k
5
votes
1
answer
367
views
Reference request: locally erasable delta-functor is universal
It is well-documented that an erasable delta-functor $(F^n,\delta)$ is universal. However, in 'small' abelian categories (in the technical sense or otherwise), there aren't always enough objects to ...
- 28.7k
5
votes
0
answers
112
views
Finitely generated projective modules over Noetherian endomorphism ring
Let $\mathcal A$ be a locally Noetherian Grothendieck abelian category and $M\in \mathcal A$ be a Noetherian object. Set $B:=\text{End}_{\mathcal A}(M)$. Let $B$-mod be the category of finitely ...
- 413
5
votes
0
answers
140
views
Open problems about Morita and derived invariants
Are there properties of rings of which one does not know whether they are Morita or derived invariances?
For a recent such example for Morita invariance, see https://www.sciencedirect.com/science/...
- 26.5k
4
votes
2
answers
299
views
Relation of the first Hochschild cohomology and the outer automorphism group
Let $R$ be a ring.
Qeustion: Is it true that the first Hochschild cohomology of $R$ is zero if and only if the outer automorphism group of $R$ is finite?
(It is not true, by the two answers. Is it ...
- 26.5k
4
votes
1
answer
273
views
Homological characterisation of standardly stratified algebras using Ext
Let A be a finite dimensional algebra and $S_1,S_2,...,S_n$ the simple $A$-modules and $P_1,..,P_n$ the indecomposable projective $A$-modules. For $i=1,...,n$, define the standard module $\Delta_i$ as ...
- 26.5k
4
votes
1
answer
133
views
Second cohomology group of the contact Lie algebra $K_3$
Let $F$ be a field of characteristic zero and, for all $n>0$, consider the contact Lie algebra $K_{2n+1}$. It follows from Corollary 3 of the paper [V. Guillemin - S. Shnider: Some stable results ...
- 630
4
votes
0
answers
93
views
Vershik's conjecture about generic quadratic algebras
Is it still unknown whether very general (lying in a countable intersection of some Zariski opens in corresponding Grassmannian) quadratic algebras $R$ with $\operatorname{dim} R_2 < \frac{3}{4}(\...
- 4,600
4
votes
0
answers
51
views
Generalization of semi-hereditarity
Let $R$ be a ring. A left $R$-module $K$ is called an $N$-th kernel if there are projective left $R$-modules $P_1, \ldots P_N$ and a short exact sequence
$$ 0\rightarrow K \rightarrow P_N \rightarrow \...
- 858
3
votes
1
answer
385
views
Concrete examples of derived categories
What examples of abelian categories $\mathcal{A}$ are there such that the derived category $\mathcal{D}(\mathcal{A})$ can be described concretely? For example, is there a concrete way of describing $\...
- 1,474
3
votes
1
answer
173
views
$\Omega$ for noetherian semiperfect rings
Let $A$ be a a two-sided noetherian semiperfect ring and assume that the injective dimension of the left and right regular modules are equal to $n \geq 1$.
Let $\Omega^n(mod A)$ be the category of $n$-...
- 26.5k
3
votes
1
answer
153
views
Artinian Tor modules (Reference request)
I am looking for a reference for the following basic fact:
Let $R$ be a noetherian ring, let $M$ be an artinian $R$-module, let $N$ be a finitely generated $R$-module, and let $i\in\mathbb{N}$. ...
- 6,700
2
votes
1
answer
255
views
Does anyone have a copy of Salce's paper "Cotorsion theories for abelian groups"?
The paper "Cotorsion theories for abelian groups" by L. Salce, was published in 1979 in Symposia Math. 21, pages 1-21. According to Google Scholar, it's been cited 233 times, and I keep seeing ...
- 30.3k
2
votes
1
answer
149
views
Baer sums of extensions
Apologies in advance if this question is too basic, I looked briefly through Weibel and the stacks project and couldn't find any relevant reference.
Let $\mathcal{A}$ denote an abelian category, and ...
- 2,907
2
votes
0
answers
138
views
Construction of a certain long exact sequence
Let $A$ be a noetherian ring (not necessarily commutative) or for simplicity even a finite dimensional algebra over a field.
Let $X$ and $U$ be finitely generated $A$-modules and let $add(U)$ be the ...
- 26.5k
2
votes
0
answers
65
views
Projective dimension of the functions with compact support
Let $X$ be a locally compact Hausdorff space. And $C(X)$ the ring of all continous real-valued functions and $J(X)$ the ideal of such functions with compact support.
It is known that $X$ is ...
- 26.5k
1
vote
1
answer
174
views
Reference for a result of Auslander about the global dimension
One of Auslanders famous theorems is that he proved that the global dimension of a semiprimary ring is equal to the maximum of the projective dimensions of the simple modules of the ring. This result ...
- 26.5k