Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
For questions about projective modules over a ring and projective objects in related categories.
8
votes
Accepted
Let $R$ be an associative ring with 1. Let $M$ be a product if infinitely many copies of $R$...
No.
Let $R$ be the ring of eventually constant sequences of integers, and let $e_i\in R$ be the sequence whose $i^{th}$ term is 1, with all other terms zero.
Then if $I$ is the annihilator of an eleme …
6
votes
Accepted
Why can't one modify Kaplansky's proof to conclude that every projective module is a direct ...
In the last paragraph of Kaplansky's proof, the construction could yield an infinite number of non-zero $x_{ij}$, even if each $M_i$ is finitely generated. The infinite matrix he produces will have fi …
6
votes
Baer's criterion for projective modules
I think the paper "Whitehead Test Modules" by Jan Trlifaj (Trans. AMS 348 (1996), 1521-1554) and the references in it, answer your question positively for perfect rings, but show that a negative answe …
3
votes
Operations on semi-hereditary rings
The answer to (2) is "no" even for hereditary rings. For example, if $S=T$ is the algebra of upper triangular $2\times 2$ matrices (or, more generally, pretty much any finite dimensional hereditary al …
4
votes
Accepted
Let $M$ be a $R$-Bimodule that happens to be projective, is its associated left $R \otimes R...
No. A ring $R$ for which $R$ is projective as a left $R\otimes_{\mathbb Z}R^{op}$-module is sometimes called separable over ${\mathbb Z}$.
This is equivalent to the splitting, as a surjection of $R\o …
4
votes
Accepted
Finitely presented modules admitting projective covers
Such rings were called "$F$-semiperfect", and more recently (thanks to rschweib for the information) "semiregular".
One characterization is that these are the rings $R$ such that $\bar{R}=R/J(R)$, the …
5
votes
Why does there exist a non-split sequence with the condition that $\mathrm{pd} M=\infty$?
Since $S$ has infinite projective dimension, there is some indecomposable summand $M$ of $\Omega^n(S)$ that has infinite projective dimension.
For simple modules $T$ of finite injective dimension, $\ …
9
votes
The projective covers of Artinian module
Take $R=\mathbb{Z}_p$, the $p$-adic integers, and $A=\mathbb{Q}_p/\mathbb{Z}_p$. Then $A$ is an Artinian $R$-module, but doesn't have a projective cover.
[Since $R$ is local, projectives are free. I …
4
votes
Accepted
Finitely generated submodule of non-finitely generated projective module is contained in som...
Bass showed, in Corollary 4.5 of
Bass, H., Big projective modules are free, Ill. J. Math. 7, 24-31 (1963). ZBL0115.26003,
that every projective module for a connected Noetherian commutative ring is …
15
votes
Accepted
Why do we want $p$-permutation modules in splendid equivalences?
The motivation for the definition was an attempt to explain structurally the phenomenon of an "isotypy". This makes sense for arbitrary blocks, but let's stick to principal blocks for simplicity.
Sup …
5
votes
Must a finitely generated projective module over a group ring with vanishing coinvariants be...
This isn't an area that I'm expert on, and it's quite possible there's a much more elementary and/or more general answer.
But if the Bass Conjecture on Hattori-Stallings ranks for group rings is true …
3
votes
Accepted
When splitting of short exact sequence preserves the kernels
The answer is "no" unless $A=k$.
Let $a\in A\setminus k$, and let $l_2$ and $l_1$ be the first and second rows of the commutative diagram
$$\require{AMScd}
\begin{CD}
0@>>>A@>\begin{pmatrix}1\\0\end{p …
2
votes
Accepted
A weak Schur's lemma for non-semisimple finite dimensional algebras
No, not necessarily.
Consider the case $B=kH$, $C=kG$ of finite group algebras over a field $k$, where $H\leq G$. I'll write $\downarrow$ and $\uparrow$ for restriction and induction. This case has a …
8
votes
Accepted
Adjoints of scalar extension and scalar coextension
If $X$ is an $R$-module, there is a natural map $M\otimes_RX\to\text{Hom}_R\left(\text{Hom}_R(X,R),M\right)$ given by $m\otimes x\mapsto[\varphi\mapsto m\varphi(x)]$ that is easily checked to be an is …