# Tagged Questions

**7**

votes

**1**answer

165 views

### Why can't one modify Kaplansky's proof to conclude that every projective module is a direct sum of its finitely generated projetive submodules?

Due to the examples given in the answer to this question, I know that the conclusion is of course incorrect. But by reading Kaplansky's proof of theorem 1 in this paper and replacing every occurrence ...

**4**

votes

**1**answer

207 views

### Inverse limit of Gorenstein local rings is again Gorenstein?

If we have the system of surjective ring homomorphisms
$f_{i,i+1}: R_{i+1} \twoheadrightarrow R_i$
for an arbitrary $i \geq 0$ such that all $R_i$ are Gorenstein local ring. Let us put
...

**1**

vote

**0**answers

59 views

### An invariant number of modules over Auslander Gorenstein modules

Given an Auslander Gorenstein $R$ of injective dimension $\mu$, one can associate with each finitely generated module $M$ with a number $\varepsilon_{\mu}(M)$, which is the number of the ...

**1**

vote

**1**answer

94 views

### When for every module $M$, $|E(M)| = |M|$

Is there a non-semisimple ring $R$ such that for any left $R$-module $M$, $|E(M)| = |M|$ ? (where $E(M)$ is the injective hull of $M$ and $|M|$ is the cardinality of $M$)

**4**

votes

**1**answer

175 views

### Algebra structure $Tor(A,A)$

This is a question i asked on math.stackexchange but i didn't get any answer.
Let $A$ be algebra over commutative ring $k$ and $P_{\bullet}=(P_i,d_i)\rightarrow A$, $k$ projective resolution. Then we ...

**4**

votes

**1**answer

116 views

### Localizations of hereditary rings

It is known that if a commutative Noetherian ring $R$ is hereditary then for any maximal ideal $M$ the localization $R_M$ is also hereditary. Is the Noetherian assumption necessary?

**4**

votes

**0**answers

217 views

### Ext groups of affine scheme

Let $A$ be a commutative ring. $\textbf{Spec}(A)$ is the the
spectrum of $A$. $M$ and $N$ are $A$-modules. $\tilde{M}$ and
$\tilde{N}$ are sheaves associated on $\textbf{Spec}(A)$
respectively.
I ...

**0**

votes

**0**answers

69 views

### algebras of infinite injective dimension

Are there any connected graded Noetherian algebra of infinite injective dimension but has a balanced dualizing complex?
Thanks a lot.

**4**

votes

**1**answer

177 views

### Two-sided bar construction

On page 4 of this paper by H. Abbaspour, the author defines the two-sided bar construction
$$B(A,A,A):=A\otimes T(s\bar{A})\otimes A$$
of a differential graded algebra $(A,d_A)$ (over a field).
The ...

**6**

votes

**1**answer

108 views

### Abelian groups injective over their endomorphism

Let $M$ be an abelian group and let $R = \mbox{End}_\Bbb{Z}(M)$. Under what conditions (on $M$), $_RM$ is injective!?

**1**

vote

**0**answers

49 views

### injective dimension of dualizing complex

Let $R$ be a balanced dualizing complex of a Noetherian connected graded algebras $A$. Dose one always have $\text{id}_A R = \text{id}_{A^{op}} R$?
Thanks a lot.

**1**

vote

**0**answers

44 views

### Duality of morphisms induced by multiplication of regular normal element

I was confused by the sequence of modules in [Yekiutieli and Zhang, Rings with Auslander dualizing complex, p.33, l.-10]. The question is that: why is the second morphism right multiplication of $t$?
...

**2**

votes

**0**answers

56 views

### Quotient categories and essential extension

Let $A$ be a right Noetherian positively graded ring. Let $Gr(A)$ be the category of right graded $A$-modules, and $Tors(A)$ be the full subcategory of $Gr(A)$ of torsion modules. Let $QGr(A)$ be the ...

**7**

votes

**1**answer

171 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 ...

**4**

votes

**2**answers

214 views

### on a characterisation of regular D-modules

Let $X$ be a smooth variety over a field of characteristic zero. Let $M$ be in the derived category of holonomic $\mathcal{D}_{X}$-modules, $D^{b}_{h}(\mathcal{D}_{X})$.
We know that if we assume ...

**6**

votes

**1**answer

280 views

### Dualizing Complexes

Let $R$ be a dualizing complex of a Noetherian graded algebra $A$ (not necessary commutative). For any $M\in D_c^b(A)$, there is a natural morphism
$$
\theta: R\Gamma_m(M) \to ...

**4**

votes

**1**answer

374 views

### “as close to being semisimple as it can possibly be.”

I had originally asked this question on math stack exchange but I think maybe it's more appropriate to ask it here.
In the paper of Beilinson, Ginzburg and Soergel entitled "Koszul Duality ...

**3**

votes

**1**answer

218 views

### Resolutions chain homotopic to projective ones

Motivation. In my research I have a situation where a monoid $M$ is acting by nice cellular maps on a contractible cell complex and so the augmented chain complex is a resolution of the trivial module ...

**0**

votes

**2**answers

139 views

### Flatness and tensor product of rings

Let $R_1$ and $R_2$ be two subrings of the ring $R$ which commute in $R$ so that we have a ring homomorphism $R_1\otimes_\mathbb{Z} R_2\rightarrow R$. Assume that $R$ is flat over $R_1$ and $R_2$. Is ...

**9**

votes

**0**answers

221 views

### Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if
(i) $R$ has finite left and right injective dimension (in which case it turns out ...

**2**

votes

**0**answers

142 views

### About free resolutions of graded commutative algebras

Hi, I'm having troubles in adapting certain algebraic constructions to graded cases.
We know that if $A$ is a commutative ring and $a_1,...,a_k$ are elements on $A$, there is a construction of the ...

**1**

vote

**1**answer

599 views

### question on an exercise on homological algebra?

Suppose R has finite global dimension n, N is a f.g. module, F is a free module and Ext^n(N,F) is not equal to zero, then Ext^n(N, R) is not trival either.
Note, HERE R is not Noetherian necessarily.
...

**6**

votes

**0**answers

139 views

### Depth for non-commutative rings

The depth of a ring or module is one of the most basic invariants in commutative ring theory.
Q1: Is there also a powerful notion of depth for non-commutative rings ?
By a search in mathscinet, I ...

**15**

votes

**3**answers

775 views

### Characterising categories of vector spaces

Consider the category $FdVect_k$ of finite dimensional $k$-vector spaces, for some given field. It is abelian, semisimple, in that each object is a finite sum of simple objects (of which there is only ...

**1**

vote

**0**answers

199 views

### Generalization of traces

Hello all,
I already asked this question here, I hope it is ok to repeat it.
A trace can be defined for endomorphisms of dualizable objects in a closed symmetric monoidal category. More concretely, ...

**7**

votes

**2**answers

960 views

### Global dimensions of non-commutative rings

This is related to my previous question: When is a quantum affine space $\mathbb{A}^{n}$ Calabi-Yau? I now would like to know the global dimension of the ring $R=\mathbb{C}\langle ...

**4**

votes

**0**answers

137 views

### Endomorphismrings of maximal submodules.

The question I am interested in answering is the following:
Suppose that for a pair of $d$-dimensional modules $M$ and $N$ over a $k$-algebra ($k$ a field) $R$ we have that $\dim_k ...

**2**

votes

**1**answer

433 views

### Solid Rings and Tor

A solid ring is a ring $R$ such that the multiplication
$R\otimes_{\mathbb{Z}} R \to R$ is an isomorphism.
These were classified by Bousfield and Kan; they are
subrings of $R\subseteq\mathbb{Q}$,
...

**5**

votes

**1**answer

377 views

### Generators of the derived category

For a ring $R$, which is a finite-dimensional algebra over a field, the category of finite-dimensional, projective, right $R$-modules, $\mathcal{P}_R$ is generated by the indecomposable projective ...

**3**

votes

**1**answer

371 views

### About the category of chain complexes and Grothendieck categories.

Given an abelian category $\mathcal{A}$ the category of chain complexes over $\mathcal{A}$ is again an abelian category. If $\mathcal{A}$ is a Grothendieck category then the category of chain ...

**3**

votes

**1**answer

515 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. ...

**3**

votes

**2**answers

373 views

### An example where finitistic dimension does not equal right global dimension?

The (right) big finitistic dimension of a ring is Findim$(R) =$ sup{proj.dim(M) | $M$ a right $R$-module of finite projective dimension}. The (right) little finitistic dimension findim$(R)$ is the sup ...

**7**

votes

**1**answer

481 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 ...

**6**

votes

**2**answers

1k views

### Algebra Counterexample Request: Linear Quotients

A result of Herzog, Hibi, and Zheng in "Monomial ideals whose powers have a linear resolution" states that:
Theorem: Let $I\subseteq\Bbbk[x_1,\ldots,x_n]$ be a monomial ideal generated in degree 2. ...

**16**

votes

**7**answers

1k 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. ...

**4**

votes

**1**answer

322 views

### Ostensibly different products on Ext-groups

The following is presumably not the greatest generality in which this question makes sense.
Given a ring $k$, graded-commutative if it helps, and a Hopf-algebra $A$ over $k$, there is a Yoneda ...

**2**

votes

**2**answers

500 views

### Commutative Ring of Finite Global Dimension

The only examples of commutative rings of finite global dimension I know are either:
Dedekind domains (and fields as a degenerate special case)
Regular local rings
Rings constructed from the ...

**5**

votes

**2**answers

374 views

### Is there any transitivity for separable algebras?

If $R$ is a commutative ring (with $1$), then an $R$-algebra $A$ is said to be separable if $A$ is projective as an $A$-$A$-bimodule. (The notion of an "$A$-$A$-bimodule" includes the requirement that ...

**3**

votes

**2**answers

578 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？

**6**

votes

**0**answers

316 views

### Quantum polynomial rings and singularities

Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{-1}[x_1,...x_n]$ generated as a graded ring in degree 1 with ...

**13**

votes

**3**answers

770 views

### Can a module be an extension in two really different ways?

(Edit: I've realized that there was an error in my reasoning when I was convincing myself that these two formulations are equivalent. Hailong has given a beautiful affirmative answer to my first ...

**8**

votes

**1**answer

544 views

### Extensions of an infinite product of copies of Z by Z

The question is simple:
Let $P$ be an infinite direct product of copies of $\mathbb Z$. Do there exist any nontrivial extensions
$$0 \to \mathbb Z \to E \to P \to 0$$
in the category of commutative ...

**3**

votes

**1**answer

241 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 ...

**3**

votes

**2**answers

165 views

### Equivariant maps of “higher order”

Given a group $G$, a ring $R$ and two $R[G]$-modules $M,N$. Then one can consider $Hom_R(M,N)$ and define inductively submodules $A_0,A_1,...$ via
$A_0:=0$
$A_{n+1}:=\{ \;f\; |\; \forall\; g\in G: ...

**7**

votes

**2**answers

887 views

### A question on curved algebras, papers by Positselski and E. Segal

I am trying to understand something about curved dg algebras as studied by Positselski, E. Segal. These come up in mirror symmetry and when one wants to study Kozsul duality for algebras that are more ...

**5**

votes

**2**answers

869 views

### Best exposition of the Proof of the Hilbert Syzygy Theorem by Eilenberg-Cartan

Where can I find a comprehensive treatment of this important result at the level of a very advanced undergraduate/beginning graduate student? What works develop the relevant material in a cohesive and ...

**7**

votes

**4**answers

1k views

### What is a “block” in an abelian category?

In the literature and in some posts here, there has been variation in the undefined use of the term "block" for a category of modules over a ring, or more abstractly an abelian category (all of which ...

**5**

votes

**1**answer

332 views

### Does a finite dimensional algebra having a Cartan matrix with determinant 1 imply finite global dimension (possibly with more hypotheses)?

Let $A$ be your favorite finite dimensional algebra, and $P_i$ be a sets of representatives for the indecomposible projectives (or PIMs, if you like). Then we have the Cartan matrix $C$ of the ...

**20**

votes

**0**answers

2k views

### Sums of injective modules, products of projective modules?

Under what assumptions on a noncommutative ring R does a countable direct sum of injective left R-modules necessarily have a finite injective dimension?
Analogously, under what assumptions on R does ...

**5**

votes

**1**answer

1k views

### What are tame and wild hereditary algebras?

What are tame and wild hereditary algebras?
Are they related to hereditary rings? (Those are rings for which every left (resp. right) ideal is projective, equivalently, for which every left (resp. ...