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

learn more… | top users | synonyms

2
votes
3answers
179 views

is the tensor product of projective modules again projective?

Let $R$ be a commutative ring and let $A_1$ and $A_2$ be (not necessarily commutative) $R$-algebras. Under which conditions on $A_1$ and $A_2$ is the following true: For every projective $A_1$-module ...
5
votes
0answers
124 views
+50

Projective modules over noncommutative tori?

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...
3
votes
0answers
87 views

Sum of projective submodules of a projective over a semihereditary ring

Sorry in advance if this is too silly. Let $R$ be a right semihereditary ring and $P$ a projective right $R$-module. It is well-known that finitely generated (thus projective) submodules of $P$ form a ...
0
votes
1answer
106 views

Projective Modules/Algebras: decomposition of linear functions, and the rank formula

Let $A$ be a ring, $B$ a finite projective $A$-algebra, and $C$ a finite projective $B$-algebra. We can show that $C$ is also finite and projective when regarded as an $A$-algebra (by, for instance, ...
2
votes
1answer
55 views

Action of GL(2,O_k) on 1d subspaces of (O_k)^2

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$. Let $M$ be a rank $1$ projective module over $\mathcal{O}_k$ (in other words, $M$ is a projective module such that $k ...
9
votes
1answer
181 views

An analogue of the Bass-Quillen conjecture with power or Laurent series

The famous Quillen-Suslin theorem (formerly known as Serre's problem/conjecture) states that every projective module over $k[x_1,\dots, x_n]$ is free for $k$ a field. Replacing $k$ by a more general ...
3
votes
0answers
216 views

Rejects and injectives

Let $A$ be any ring and consider modules on the left. For $M$ $A$-module, the trace $Tr(M,A)$ is a two-sided ideal of $A$. If $A$ is a unitary ring then: $Tr(P,A)P=P$, for $P$ projective; ...
0
votes
0answers
102 views

When does the rank of a module behave sub-multiplicatively under tensoring?

Let $\cal{E}$ be a finitely generated projective bimodule over a (noncommutative) algebra $A$. Moreover, let us assume that $\cal{E}$ is of finite rank $n$. The tensor product $ \cal{E} \otimes_A ...
5
votes
1answer
370 views

Baer's criterion for projective modules

Let $R$ be a commutative ring. If necessary, assume that $R$ has any convenient properties you like. Is there some $R$-module $Q$ such that an $R$-module $P$ is projective if and only if ...
0
votes
2answers
328 views

Let $M$ be a $R$-Bimodule that happens to be projective, is its associated left $R \otimes R^{op}$-module projective too?

Let $k$ be a commutative ring, a $R$-Bimodule $M$ over a $k$-algebra $R$ is a $k$-module with two actions of $R$ on $M$, on the left and on the right, the classical example of this being $R$ itself ...
11
votes
2answers
788 views

Is every projective $\mathbf{Z}[x]$-module free?

Is every finitely generated projective $\mathbf{Z}[x]$-module free?
1
vote
2answers
267 views

For finite group G and field k of char=p, if P,P′ are projective k[G]-modules with [P]=[P′], is it true that P=P′ ?

That is: is it true that if projective k[G]-modules have same composition factors then they are isomorphic? This is easy to see for char(k)=0, or if G is a composition of a p-group and a p′-group. ...
4
votes
3answers
379 views

Are the global sections of a vector bundle a projective module?

Given a scheme $X$ with structure sheaf $\mathcal{O}_X$, we can associate to each $\mathcal{O}_X$-module $\mathcal{F}$ its global sections $\Gamma(\mathcal{F})$, which gets the structure of a ...
0
votes
1answer
227 views

why a projective module is a projective cover for its largest semisimple quotient?

Why a projective module is a projective cover for its largest semisimple quotient? That is - why the projection on the quotient is an essential morphism in this case?
4
votes
0answers
299 views

Kaplansky's theorem and Axiom of choice

Kaplansky in his paper titled by Projective Modules gave an important and essential theorem as follow: Theorem: Let $R$ be a ring, $M$ an $R$-module which is a direct sum of (any number of) countably ...
5
votes
2answers
723 views

On the difference between a projective chain complex and a level-wise projective chain complex

Let R be an associative ring with a unit, and consider the standard projective model structure of non-negatively graded (left) R-module, $Ch_R$. A map $f:M\to N$ in $Ch_R$ is a weak equivalence if it ...
1
vote
2answers
385 views

Projective Modules and their Determinants, Extended or not?

Let $A$ be a commutative noetherian ring, and let $P$ be a projective $A[T]$-module with constant rank $n$. Let $L$ be the determinant of $P$, $\wedge^n(P)$. We say that $P$ (resp. $L$) is extended ...
0
votes
1answer
282 views

Nakayama algebra

Let A be a self-injective connected Nakayama algebra. What is the Loewy length of any indecomposable projective A-module?
3
votes
2answers
546 views

Indecomposable projectives correspond to irreducibles - reference

Hello, We have the following assertion: In an abelian category that has enough projectives and in which every object has finite length, indecomposable projectives correspond bijectively to ...
2
votes
1answer
466 views

When are two projective modules of equal rank isomorphic?

Let $R$ be a commutative ring and let $M,N$ be two finitely generated projective $R$-modules which have equal rank (not necessarily constant). What kind of general results are there concerning the ...
0
votes
1answer
493 views

Projectivity and faithfully flatness (module theory) [closed]

Is it true that every projective module is faithfully flat, if not what is a counter example. Thanks!
2
votes
2answers
785 views

Projective modules and tensor products

My question(s) relate(s) to pp51-52 of Local Representation Theory by JL Alperin -- the relevant pages are contained in the Google Books preview ...
3
votes
1answer
476 views

Perfect complexes and RGamma(X,F) without mentioning derived categories

Let $A$ be a commutative noetherian ring. Let $K_{parf}(A)$ be the full subcategory of the homotopy category $K(A)$ of $A$-modules whose objects are bounded complexes of finitely generated ...
0
votes
1answer
229 views

Completion of unimodular rows

Is the unimodular row $(x,y,z)$ completable over the ring $({\mathbb Z}/2{\mathbb Z})[x,y,z,y',z']/\langle x^2+yy'+zz'-1 \rangle$ ?
2
votes
1answer
332 views

Commutator tensors and submodules

Let $k$ be a commutative ring with $1$, and let $B$ be a submodule of a $k$-module $A$. For every $n\in\mathbb N$ and every $k$-module $V$, let $K^n\left(V\right)$ denote the kernel of the canonical ...
3
votes
1answer
231 views

Freeness of modules along ring homomorphisms

This question arises from my discussion with a Master student. It concerns with the following situation: let $\phi: R \to S$ be a homomorphism between Noetherian commutative rings. Suppose the ...
2
votes
1answer
293 views

Descriptions of projectives (injectives) in category of D-modules

Is there any work describing (indecomposable)projectives, injectives in category of D-modules on some flag variety? I wonder whether someone has used quivers(say Auslander-Reiten sequences)to ...
8
votes
3answers
1k views

Example of a projective module which is not a direct sum of f.g. submodules?

This semester I am teaching a graduate course in commutative algebra, and I have been taking the occasion to try to look at the proofs of some the results in my basic source material (Matsumura, ...
1
vote
1answer
331 views

Unimodular column property

Hi, I know that if $R$ is a ring such that every projective $R$-module finitely generated is free then $R$ has the unimodular column property. I would like to know if there is a ring $R$ that doesn't ...
15
votes
6answers
1k views

Nonfree projective module over a regular UFD?

What is the simplest example of a domain $R$ which is regular (in particular Noetherian) and factorial which admits a finitely generated projective module that is not free? In fact I'll be at least ...
1
vote
3answers
475 views

Stably free module not finitely generated is free

Hi. I have read that stably free modules not finitely generated are free; this is proved in M.R. Gabel, stably free projectives over commutative rings, Thesis, Brandeis Univ., Waltham, MA 1972. But ...
2
votes
1answer
573 views

Projective modules over semi-local rings

Let $R$ be a semi-local ring, and $M$ a finite projective $R$-module. If the localizations $M_m$ have the same rank for all maximal ideals $m$ of $R$ then $M$ is free.
5
votes
2answers
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 ...
6
votes
3answers
504 views

Projective dimension of zero module

Is there any consensus on what the projective dimension of the zero module should be? Here are three statements one commonly encounters in textbooks, sometimes with or without the condition $M\neq 0$: ...
3
votes
4answers
1k views

projective module

Is it true that if $\mbox{Ext}^{1}_{A}(P,A/I)=0 \ \forall I$ then P is projective? Similar statements are true for flat and injective modules, but I'm beginning to suspect that projective modules ...
7
votes
1answer
611 views

A ring on which all finitely generated projectives modules are free but not all projectives are free?

Dear all, Sorry if the question is naive: any nice example of such a ring or, better, of a class of such rings?
37
votes
2answers
3k views

What is the insight of Quillen's proof that all projective modules over a polynomial ring are free?

One of the more misleadingly difficult theorems in mathematics is that all finitely generated projective modules over a polynomial ring are free. It involves some of the most basic notions in ...
17
votes
2answers
2k views

A finitely generated, locally free module over a domain which is not projective?

This is a followup to a previous question What is the right definition of the Picard group of a commutative ring? where I was worried about the distinction between invertible modules and rank one ...
13
votes
3answers
1k views

What is the right definition of the Picard group of a commutative ring?

This is a rather technical question with no particular importance in any case of actual interest to me, but I've been writing up some notes on commutative algebra and flailing on this point for some ...
4
votes
1answer
238 views

Does the non-commutative Chern class depend on the choice of connection?

In classical geometry the calculation of the Chern classes of a vector bundle using a connection is independent of the choice of connection. Does any such result hold for projective modules in ...