# Questions tagged [projective-modules]

For questions about projective modules over a ring and projective objects in related categories.

129
questions

**4**

votes

**1**answer

98 views

### Are finitely presented algebras over VNRs projective?

Question: Let $A$ be a commutative von Neumann regular ring, and $B$ an $A$-algebra of finite presentation, i.e. $B = A[x_1, \ldots, x_n]/(f_1, \ldots, f_m)$. Is $B$ a projective $A$-module?
In the ...

**4**

votes

**0**answers

117 views

### Rings such that torsion-free/flat/projective modules are flat/projective/free

While thinking about this question (and specifically YCor's remarks), I tried to remember what can be said about rings such that every torsion-free module is free, and I could not; and such things, ...

**2**

votes

**2**answers

472 views

### Characterization of projective modules in terms of Ext groups

This is from Hartshrone exercise 6.6 part (a).
Let $A$ be a regular local ring and $M$ be a finitely generated $A$-module, prove the following
$M$ is projective $\iff$ $\operatorname{Ext}^{i}(M,A)=\{...

**3**

votes

**2**answers

252 views

### Projective modules restricted to smooth curves

I asked this question on Stack Exchange, but no one answered this.
I want to prove a coherent sheaf $M$ on $X$ is locally free if and only if this is true for $M|_{X'}$ ,
for all smooth curves $X'$ ...

**3**

votes

**1**answer

140 views

### Is a tower of locally-free modules locally a tower of free modules?

Suppose we have a (commutative, unital) ring $R$ and a (commutative, unital) $R$-algebra $A$ such that $A$ is projective of constant rank $n$ as an $R$-module. This condition is equivalent to there ...

**7**

votes

**2**answers

283 views

### tangent bundle on noncommutative manifold

Using the Serre-Swan's theorem, one can do vector bundle theory on noncommutative manifold $(A,H,D)$, by replacing vector bundle by finitely generated projectve module $M$. For the construction of ...

**1**

vote

**2**answers

222 views

### When splitting of short exact sequence preserves the kernels

This is a problem that I thought at first was obvious but that became less clear the more I thought about it. Assume we have a finitely generated algebra $A$ over a field $k$, and a short exact ...

**6**

votes

**1**answer

101 views

### On the finiteness of an Auslander-Reiten component

I am reading a paper called A NOTE ON THE RADICAL OF A MODULE CATEGORY by
CLAUDIA CHAIO AND SHIPING LIU. This is Theorem 2.7:
And this is part of it's proof, in which the direction (2) $\Rightarrow $ ...

**-1**

votes

**1**answer

117 views

### infinite left degrees

I am reading a paper called A NOTE ON THE RADICAL OF A MODULE CATEGORY by
CLAUDIA CHAIO AND SHIPING LIU. This is a part of the paper:
Definition: Let $f: X \rightarrow Y$ be an irreducible morphism ...

**1**

vote

**1**answer

108 views

### About composition factors [closed]

I am reading a paper called A NOTE ON THE RADICAL OF A MODULE CATEGORY by
CLAUDIA CHAIO AND SHIPING LIU. This is part of the proof of Lemma 2.3
$A$ is assumed to be an Artin algebra and mod(A) the ...

**1**

vote

**1**answer

146 views

### Question on simple modules and projective covers

I have the following question:
Let $A$ be an Artin algebra. Let $S_1$ and $S_2$ be simple modules in $\text{mod}(A)$ and let $P(S_1)$ be the projective cover of $S_1$. Let $f: P(S_1) \rightarrow S_2$ ...

**3**

votes

**2**answers

146 views

### Question on injective hulls

How can I show the following:
Let $f: M \rightarrow N$ be a morphism in $\text{mod}(A)$, where $A$ is an Artin algebra. Suppose $f \neq 0$. Then there exists a simple module $S$ with its injective ...

**0**

votes

**1**answer

81 views

### injective hull and projective cover of simple modules are indecomposable

Let $A$ be an Artinian algebra. Let $S$ be a simple module over $A$. Let $\pi: S \rightarrow I$ be the injective hull and $\tau: P \rightarrow S$ be the projective cover of $S$. Then $I$ and $P$ must ...

**6**

votes

**1**answer

107 views

### Finitely presented modules admitting projective covers

A ring $R$ is called semi-perfect if every finitely generated $R$-module has a projective cover, and it can be proved that this is equivalent to say that the category consisting of the finitely ...

**0**

votes

**0**answers

59 views

### When is a height one prime ideal projective?

Let $A$ be a ring and $(0) \neq P\subset A$ be a prime ideal.
If $A$ is a noetherian domain and if $P,$ seen as an $A$-module, is projective then the height of $P$ is 1.
(Matsumura, Commutative ring ...

**0**

votes

**1**answer

384 views

### Separability of $\mathbb{C}[x]$ over its $\mathbb{C}$-subalgebras

For commutative rings $R \subseteq S$,
recall that $S$ is separable over $R$, if $S$ is a projective $S \otimes_R S$-module, via $f: S \otimes_R S \to S$ given by: $f(s_1 \otimes_R s_2)=s_1s_2$.
...

**4**

votes

**1**answer

186 views

### Trace ideal of a projective module

In his 1969 paper "On projective modules of finite rank", Wolmer Vasconcelos writes
Let $M$ be a projective $R$-module... The trace of $M$ is defined to be the image of the map $M \otimes_R ...

**5**

votes

**0**answers

41 views

### Ring with different graded and ungraded global dimensions

Let $A$ be a $\mathbb N$-graded ring. One can consider the two categories $M_A^g$ and $M_A^u$ of graded and ungraded modules over $A$. Both have, say, enough projectives, hence one can compute various ...

**1**

vote

**1**answer

94 views

### Second summand to make projective module free

Suppose there's a projective $R$-module $P$ (non-free). We know that there is another $R$-module $M$ such that $P\oplus M$ is free over $R$. Is there a way to write down such an $M$ in terms of $P$?
...

**4**

votes

**1**answer

157 views

### Projective (or injective) object in a subcategory

Let $\mathcal{A}$ be an abelian category and $\mathcal{B}$ be a full subcategory of $\mathcal{A}$. Suppose that $\mathcal{B}$ is abelian and that the inclusion of $\mathcal{B}$ in $\mathcal{A}$ is ...

**5**

votes

**1**answer

133 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 \...

**2**

votes

**0**answers

46 views

### Non-singular rings which are Rickart

A ring $R$ is said to be a right Rickart ring if the right annihilator of any element in $R$ is of the form $eR$ for some idempotent $e \in R$.
It turns out that a ring $R$ is right Rickart iff every ...

**10**

votes

**2**answers

729 views

### Is every locally free module of rank $1$ over a commutative ring concretely invertible?

Since this subject is full of misunderstandings (see here, here, here, and here) let us fix a precise terminology.
Let $A$ be a commutative ring and $P$ an $A$-module.
I) We'll say that $P$ is a ...

**9**

votes

**1**answer

374 views

### Bézout ring with non-trivial Picard group?

[I asked this on stackexchange here a few weeks ago to no response]
A ring is called Bézout when its finitely generated ideals are principal.
Q: Is there a nice example of a Bézout ring $R$ with ...

**1**

vote

**1**answer

139 views

### Hom functor and arbitrary coproducts

Let $M$ be a finitely generated $R$-module. It's easy to check that, in this case, $\mathbf{Hom}(M,-)$ preserves infinite sums. Now suppose that $M$ is projective. Is the
reciprocal true? That is, if ...

**8**

votes

**2**answers

475 views

### Basis for free modules over an affine domain

Let $A=k[x_1,\cdots,x_r]/I$ for some prime ideal $I$ and some field $k$. Consider the free $A$-module $A^n$.
Question 1. Given an element $e\in A^n$, is there a method to tell whether $e$ can be ...

**4**

votes

**0**answers

80 views

### Weyl theorem - possible corollary - alternative characterization of projective representation of $Z_N\times Z_N$

For an integer $N$, let $\omega=e^{2i\pi/N}$ and $A$, $B$ be the clock and shift operators:
$A=\left(\begin{matrix}
1 & 0 & \cdots & 0 \\
0 & \omega & \cdots & 0 \\
\vdots &...

**8**

votes

**1**answer

451 views

### Property of the trace on finitely generated projective modules

Let $A$ be a commutative ring with unit and let $P$ be a projective $A$-module finitely generated. By definition, there exists an $A$-module $P'$ such that $P\oplus P'$ is free of finite rank $r$. If $...

**2**

votes

**1**answer

117 views

### A weak Schur's lemma for non-semisimple finite dimensional algebras

Let $B \subseteq C$ be an inclusion of finite dimensional (associative) algebras over a field $k$. Assume that $C$ is a free $B$-module. Let $\bigoplus_i U_i$ be
a decomposition of $B$ into ...

**1**

vote

**0**answers

87 views

### Lifting idempotents and projective coverings — reference request

Let $R$ be a (non-commutative, unital) ring with Jacobson radical $J$, write $\overline{R}=R/J$ and denote the quotient map $R\to \overline{R}$ by $a\mapsto \overline{a}$.
It is easy to see that if ...

**2**

votes

**1**answer

208 views

### A module associated to an endomorphism of a vector bundle

Let $E$ be a vector bundle over a compact connected Hausdorff space $X$. To an endomorphism $\alpha \in End(E)$, we associate a $C(X)-$ module $\Gamma(E,\alpha)$ consisting of all $\beta\in End(E)$ ...

**5**

votes

**0**answers

97 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 $...

**4**

votes

**0**answers

132 views

### Projective modules over maximal orders of central simple algebras

In "Supersingular K3 surfaces" by TetsuJi Shioda, when proving Theorem 3.5 (Deligne) he considers a supersingular elliptic curve $C$ over an algebraic closed field of $\text{char}\ p>0$ and let $R ...

**7**

votes

**1**answer

757 views

### Moduli space of flat connections over a Riemann surface

If I understand correctly, in the Refs below:
We can see that the moduli space of SU($N$) flat connections over a torus, is equivalent to a complex projective space $\mathbb{P}^{N-1}$
Namely,
$$
M_{\...

**2**

votes

**0**answers

176 views

### Moduli space is a Calabi-Yau manifold?

I asked a question here where a moduli space of flat connection is related to the $n$-dimensional complex projective space:
$$\Bbb E/S_n \cong \Bbb P^{n-1}. $$
This is related to a 4d SU(N) Yang-...

**1**

vote

**1**answer

52 views

### Decomposing semihereditary rings

Let $R$ be a commutative semihereditary ring (i.e. every finitely generated ideal of $R$ is projective https://en.wikipedia.org/wiki/Hereditary_ring). Then is $R$ a finite direct product of Prufer ...

**1**

vote

**1**answer

98 views

### Decomposing Noetherian hereditary rings of Krull dimension $1$ into product of hereditary domains (i.e. Dedekind domains)

Let $R$ be a commutative Noetherian hereditary ring (https://en.wikipedia.org/wiki/Hereditary_ring) of Krull dimension $1$. Then is it true that $R$ is a finite direct product of Dedekind domains ?

**1**

vote

**0**answers

35 views

### Numerator-cancellable Modules

I don't know why there is no investigation of the cancellability of quotients in category of modules. What I mean by cancellability of quotients in category of modules is the following :
Let $R$ be a ...

**5**

votes

**1**answer

217 views

### Are these two constructions of $K_0(A)$ isomorphic?

The following question is extracted from this question on MSE, which got no answer so far, probably because it was a bit hidden by another question which a posteriori was totally obvious.
Let $A$ be ...

**1**

vote

**0**answers

236 views

### structure of flat modules over a DVR

I. Kaplansky has proved that if a torsion free module (over a complete DVR) is countably generated and does not contains infinitely divisible elements then it is free.
Is there any analog of this ...

**3**

votes

**1**answer

401 views

### A projective (or free) $\mathbb{Z}\pi_1$-module

Suppose that $Z$ is a finite wedge of spheres containing circles and there exist maps $f:Y\to Z$ and $g:Z\to Y$ so that $g\circ f\simeq 1_Y$. Assume that there exists a map $h:X\to Y$ which induces ...

**1**

vote

**0**answers

138 views

### A question concerning a short exact sequence with an action

Let $A$ and $D$ be two non-trivial abelian groups and $B,C$ be two non-abelian groups. Also, let $C$ is a free group and acts on $A,B,D$.
Let $0\to A \xrightarrow{f}B\xrightarrow{g}C\to 0$ be a ...

**2**

votes

**1**answer

288 views

### Finitely generated submodule of non-finitely generated projective module is contained in some proper direct summand ?

Let $P$ be a non-finitely generated projective module over a commutative Noetherian ring. Is every finitely generated submodule of $P$ contained in some finitely generated direct summand of $P$ ? Or ...

**2**

votes

**1**answer

154 views

### When can every countably generated submodule of a a non-countably generated projective module be contained in a countably generated direct summand ?

One answer to this Lemma on infinitely generated projective modules shows that every finitely generated module of a non-countably generated projective module is contained in a countably generated ...

**8**

votes

**1**answer

600 views

### Adjoints of scalar extension and scalar coextension

Let $h\colon R\rightarrow S$ be a morphism of commutative rings. We consider the following functors (I am aware that the notations may be different in other contexts):
$h^*$: Scalar extension by ...

**5**

votes

**0**answers

91 views

### Finitely generated submodules of projectives lie inside f. g. projectives?

Let $R$ be a (not necessarily commutative) ring.
If $M$ is a finitely generated submodule of a projective module $P$, is there a finitely generated projective submodule $P'$ such that
$M \subseteq P'...

**7**

votes

**1**answer

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

**7**

votes

**1**answer

284 views

### Role of stably free modules in algebraic geometry

For any ring $R$, a non-zero module $S$ is stably free if $S\oplus R^a$ is free ($a\geq 1$). This may be an overly vague question, but I am wondering in what contexts do stably free modules arise in ...

**2**

votes

**1**answer

221 views

### Does $A\oplus M_n(R)\cong B\oplus M_n(R)$ imply $A\cong B$? $R$ Dedekind domain

Let $R$ be a Dedekind domain and $A, B$ be finitely generated projective $M_n(R)$-modules. Is it true that
$A\oplus M_n(R)\cong B\oplus M_n(R)\:\:\Rightarrow\:\:A\cong B$?
Here, the isomorphism is ...

**9**

votes

**2**answers

563 views

### The projective covers of Artinian module

The injective hull for a module always exists, however over certain rings modules may not have projective covers. I have a question.
If $A$ is an Artinian module on a Noetherian local ring $R$ then $...