# Questions tagged [projective-modules]

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

115
questions

**0**

votes

**0**answers

49 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

**0**answers

146 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

147 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

34 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

86 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

132 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

131 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

589 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

326 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

110 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

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

**3**

votes

**0**answers

77 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

435 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

113 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

72 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

204 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

93 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

129 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

622 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

171 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

51 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

97 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

34 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

209 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

174 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

398 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

124 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

264 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

126 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

505 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

244 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

271 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

216 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

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

**8**

votes

**1**answer

458 views

### When is countable direct-product of projective modules again projective ?

Let $R$ be a commutative ring with unity. The Bass-Papp theorem states that any countable direct sum of injective $R$-modules is injective iff $R$ is Noetherian . Chase's theorem states that any ...

**2**

votes

**1**answer

388 views

### On graded projective modules

If $R$ is a PID, then we know that any projective module over $R$ is free. Is there any graded version of this? That is, let us call a graded commutative ring $R=\oplus _{g \in G} R_g$ a graded PID if ...

**4**

votes

**1**answer

206 views

### Why does there exist a non-split sequence with the condition that $\mathrm{pd} M=\infty$?

Why does there exist a non-split sequence with the condition that $\mathrm{pd} M = \infty$?
Remarks.
I am reading
Andrzej Skowroński, Sverre O.Smalø, Dan Zacharia: On the Finiteness of the Global ...

**3**

votes

**1**answer

287 views

### On integral domains over which special kind of modules are projective

For an integral domain $R$ let $\mathrm{Frac}(R)$ denote its field of fractions. Then $R$ is embedded in $\mathrm{Frac}(R)$ and we can consider $\mathrm{Frac}(R)$ as an $R$-module.
Can we ...

**2**

votes

**1**answer

145 views

### Is projectivity preserved by invariants?

Let $f:R\rightarrow S$ be a homomorphism of (commutative) rings with unity and suppose that $G$ is a group acting on $R$ and $S$ in such a way that $f\sigma=\sigma f$ for every $\sigma\in G$. Denote ...

**8**

votes

**1**answer

193 views

### Graded and projective (but not bounded below) module that is not graded-projective?

Let $A = \bigoplus_{n = 0}^\infty A_n$ be a graded algebra over a field $k$ that is locally finite: each $A_n$ is a finite-dimensional $k$-vector space. We say that a graded left $A$-module $P = \...

**9**

votes

**1**answer

623 views

### Kaplansky conjecture (consequences)

The Kaplansky conjecture says that: for any field $F$ and any torsion free group $G$, the group ring $F[G]$ does not have nontrivial idempotent elements.
Questions
Do we assume that $F$ has any ...

**5**

votes

**3**answers

385 views

### Non-free projective pearls (general and Abelian)

A pearl is an ordered pair $\ \mathbf P:=(G\,\ S),\ $ where $\ G\ $ is a group, and $\ S\ $ is a non-empty subset of G which does not contain the neutral element of $\ G\ $ (i.e. not 1 in the ...

**3**

votes

**2**answers

155 views

### Operations on semi-hereditary rings

I am learning about left (right) semi-hereditary rings, and got stuck with the following questions. Just to recall that being left semi-hereditary means that every finitely generated submodule of a ...

**2**

votes

**0**answers

118 views

### Is a ring with stable range 2 2-Hermite?

Let $R$ be a (possibly non-commutative) ring. The left stable range of $R$ (denoted $sr_l(R)$) is the smallest $n$ such that every left unimodular row of length $>n$ is reducible. A similar ...

**4**

votes

**1**answer

1k views

### If a quotient ring is a projective module then the ideal is principal

I've been studying projective modules in Rotman, as well as the topic of localization. Now on the Wikipedia article about them, there's an example of a locally free module that is not projective.
The ...

**2**

votes

**1**answer

166 views

### Morphisms in K-theory: comparison of two pictures

Algebraic $K_0$ group for an algebra $A$ may be defined in terms of stable isomorphism classes of idempotents in $M_n(A)$ or equivalently in terms of isomorphism clasess of finitely generated ...

**4**

votes

**1**answer

165 views

### Projectives in the category of modular representations of Lie algebras

Let $\mathfrak{g}$ be a semi-simple Lie algebra (eg. $\mathfrak{g} = \mathfrak{sl}_n$), defined over an algebraically closed field $\textbf{k}$ with characteristic $p >> 0$. The center $Z(U\...

**6**

votes

**1**answer

147 views

### Why is $\operatorname{nr}_{F[G]}:K_1(F[G])\to Z(F[G])^\times$ a bijection?

Let $A$ be a finite dimensional semisimple $F$-algebra and $K_1(A)$ the Whitehead group of $A$.
By splitting $A$ into its Wedderburn components, the reduced norm map $\operatorname{nr}_A:K_1(A)\to Z(...