# Tagged Questions

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

107 views

161 views

### Which varieties are flat degenerations of projective space?

Let $V$ be a vector space over a field with discrete valuation and let $R$ be its ring of integers. Which varieties can be reached as the special fiber of a flat degeneration over $R$, when the ...
90 views

### An invariant submodule of a projective module

This is a basic question (not research level) which has already been asked on SE by someone else but doesn't yet have an answer so I'd like to repost it on MO. Let $R$ be a commutative ring with ...
147 views

### Why do we want $p$-permutation modules in splendid equivalences?

First Rickard (in Splendid Equivalences: Derived Categories and Permutation Modules ) and then Rouquier (Block theory via stable and Rickard equivalences, Appendix A.1) define splendid equivalences ...
212 views

### A technical question about affine grassmanian

For a commutative ring $R$, consider $R[[t]]$-modules $$t^k R[[t]]^n \subset M \subset t^{-k} R[[t]]^n \subset R((t))^n.$$ It is known that if $t^{-k} R[[t]]^n / M$ is finitely generated projective $R$...
54 views

183 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 ...
129 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 ...
247 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$ ...
82 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. ...
687 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 ...
294 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 ...
77 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)$).
298 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 ...
582 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 ...
485 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 ...
356 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 ...
588 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 ...
99 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$ ...
239 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 ...
1k views

351 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 ...
259 views

560 views

343 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?
509 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 ...
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 ...
507 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 ...
314 views

### Nakayama algebra

Let A be a self-injective connected Nakayama algebra. What is the Loewy length of any indecomposable projective A-module?
754 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 ...
525 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 ...
606 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!
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 ...