# Tagged Questions

156 views

### Is a projective module of constant finite rank finitely generated?

If $R$ is a (commutative) ring and $P$ is a projective $R$-module, then every localization of $P$ at a prime of $R$ is free by Kaplansky's theorem, and has a well-defined rank. If these ranks are all ...
440 views

### A weak version of Bass' conjecture

Let $A$ be a finitely generated $\mathbb{Z}$-algebra which is a UFD. Then (a special case of) the Bass conjecture states that $K_0(A)$ is a finitely generated abelian group. As far as I am aware, this ...
33 views

### Metabolic vs stably metabolic

Let $A$ be a commutative ring with unit. A non-degenerate symmetric bilinear form $\phi$ on a finitely generated projective $A$-module $P$ is called metabolic if there is a direct summand $L$ of $P$ ...
163 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, ...
196 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 ...
384 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 ...
840 views

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

Is every finitely generated projective $\mathbf{Z}[x]$-module free?
407 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 ...
475 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 ...
335 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 ...
233 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 ...
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, ...
344 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 ...
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 ...
493 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 ...
599 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.
522 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$: ...
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 ...