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

**0**

votes

**0**answers

45 views

### One-sided endomorphism rings of centred bimodules

Let R be an associative unital ring. An R-bimodule M is called centred bimodule if M = R*Z(M), where Z(M)={m:rm=mr,∀r∈R}, i.e., M is generated as an R-module by the set of R-centralizing elements. ...

**3**

votes

**0**answers

106 views

### Seeking an unpublished manuscript by Tetsuro Okuyama

Several papers in representation theory attribute the notion of relatively projective modules to Tetsuro Okuyama's manuscript "A generalization of projective covers of modules over finite group ...

**6**

votes

**1**answer

188 views

### Vector bundles on open (affine) curves

It is well-known by Grothendieck (or earlier by Dedekind-Weber) that every vector bundle on $\mathbb{P}^1_k$ for $k$ a field decomposes into a sum of the line bundles $\mathcal{O}(k)$.
As ...

**10**

votes

**2**answers

434 views

### Every finitely generated flat modules is projective over a commutative ring with a finite number of minimal primes?

Over a commutative ring $R$, a finite type locally free (weak sense) module for which the rank function is locally constant is projective.
If we notice that for each minimal prime $p$ of the ring, ...

**7**

votes

**1**answer

226 views

### Jordan-Hölder-like statements for modules with $\Delta$-filtrations over a quasihereditary algebra

Definitions
Let $A$ be an Artin algebra (for instance, take $A$ to be a finite dimensional algebra over some field) and label the isomorphism classes of simple $A$-modules by the elements of a ...

**2**

votes

**1**answer

91 views

### Projective dimension of a quotient ring

Assume $A$ and $B$ are commutative algebras with $1$, $B = A[z] = A[Z]/(h(Z))$,
$Z$ an indeterminate.
The first comment in this question says that, if $A$ is noetherian, then
$pd_{B\otimes_A B}(B) ...

**2**

votes

**1**answer

148 views

### Deciding whether a non-f.g. non-divisible flat module is projective or not

Assume $S= R[T]/(f)= R[w]$ is a flat non-divisible $R$-module, where $R$ is a noetherian UFD, $T$ is an indeterminate over $R$, and $f\in R[T]$ is a non-monic polynomial of positive degree.
Can we ...

**0**

votes

**1**answer

128 views

### Is it possible to generalize a result of Wang?

Assume $A$ and $B$ are commutative algebras with $1$.
There is a nice result of Wang, Corollary 8, which says the following: "Let $B = A[z] = A[Z]/(h(Z))$. Then $B$ is a separable algebra over $A$ if ...

**7**

votes

**2**answers

173 views

### Must a finitely generated projective module over a group ring with vanishing coinvariants be trivial?

Let $G$ be a (possibly infinite) group. Let $\mathbb{Z}[G]$ be its integral group ring and let $P$ be a finitely generated projective module over $\mathbb{Z}[G]$. Suppose that the coinvariants of $P$ ...

**2**

votes

**0**answers

76 views

### Ultraproducts and subobjects of projectives

Usually the question whether the class of projective algebras in a given variety is closed under taking subalgebras seems to be quite hard. In varieties with well understood dual geometry (e. g. ...

**13**

votes

**2**answers

610 views

### Does projective imply flat?

Let $\mathcal C$ be an abelian category equipped with a closed symmetric monoidal structure. This implies in particular that the monoidal structure $\otimes$ is right exact in each variable. I care ...

**4**

votes

**1**answer

275 views

### Homomorphisms from projective modules

Let $B$ be a $A$-algebra which is free of finite rank as $A$-module. Let $X$ be a finitely generated projective left $B$ module. (So $X$ is also a f.g. projective $A$ module.) Are these homomorphism ...

**3**

votes

**0**answers

70 views

### Projective dimension of ring over its center

If $A$ is a ring and $Z(A)$ is its center then what is a sufficient condition for the projective dimension of $A$ over $Z(A)$ (ie: $pd_{Z(A)}(A)$) to be finite?
(Assuming that $A\neq Z(A)$).

**2**

votes

**1**answer

275 views

### Example of a Frobenius algebra that is not projective over a Frobenius subalgebra

I'd like to know an example of a Frobenius algebra $A$, with a subalgebra $B$ that is itself a Frobenius algebra, such that $A$ is not projective as a left $B$-module. I don't require any ...

**10**

votes

**1**answer

575 views

### $q$-Deformed Quillen–Suslin Theorem for the Quantum Vector Spaces?

Define n-quantum vector space to be the algebra
$$
{\mathbb C}_q^n := \mathbb{C}\left< x_i \mid i =1, \ldots, N\right>/\left<x_i x_j = q x_j x_i \mid i<j\right>.
$$
For $q=1$, we get ...

**5**

votes

**1**answer

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

**7**

votes

**2**answers

338 views

### When is/isn't the monoidal unit compact projective?

I am interested in developing intuition for when the monoidal unit in a closed monoidal abelian category is or isn't compact projective. As such, my question is not looking for a yes/no answer, but ...

**4**

votes

**1**answer

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

**2**

votes

**0**answers

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

**7**

votes

**1**answer

228 views

### Why can't one modify Kaplansky's proof to conclude that every projective module is a direct sum of its finitely generated projetive submodules?

Due to the examples given in the answer to this question, I know that the conclusion is of course incorrect. But by reading Kaplansky's proof of theorem 1 in this paper and replacing every occurrence ...

**5**

votes

**3**answers

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

**7**

votes

**2**answers

410 views

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

**4**

votes

**0**answers

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

**2**

votes

**1**answer

268 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

**1**answer

61 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

**1**answer

303 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

**0**answers

253 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

**0**answers

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

**6**

votes

**1**answer

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

**2**

votes

**2**answers

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

**12**

votes

**2**answers

972 views

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

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

**1**

vote

**2**answers

303 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

**3**answers

506 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

**1**answer

322 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

**0**answers

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

**7**

votes

**2**answers

1k 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

**2**answers

477 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

**1**answer

305 views

### Nakayama algebra

Let A be a self-injective connected Nakayama algebra. What is the Loewy length of any indecomposable projective A-module?

**5**

votes

**2**answers

694 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

**1**answer

503 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

**1**answer

573 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

**2**answers

875 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

**1**answer

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

**-1**

votes

**1**answer

282 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

**1**answer

348 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

**1**answer

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

**2**

votes

**1**answer

297 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

**3**answers

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

**1**answer

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

**17**

votes

**6**answers

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