Questions tagged [projective-modules]

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

Filter by
Sorted by
Tagged with
0
votes
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
3answers
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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(...