Articles of projective module

“Direct sums of injective modules over Noetherian ring is injective” and its analogue

I have a commutative algebra class and I heard the theorem from the professor: Let $R$ be a Noetherian ring and $\{E_i : i\in I\}$ be a collection of injective $R$-modules then $\bigoplus_{i\in I} E_i$ is also injective. My questions are: How to prove that? My professor does not talk about the proof of it […]

Analogue of Baer criterion for testing projectiveness of modules

In order to test injectivity of a module $M$ it suffices to check if every linear map from an arbitrary ideal extends to the ring or not. Similarly in order to check the flatness of a module $M$ it suffices to check whether tensoring with it preserves injectivity of $0 \to I \to R$. Is […]

Hartshorne II Ex 5.9(a) or R. Vakil Ex 15.4.D(b): Saturated modules

The question is basically like this: Prove that if $S_{\cdot}$ is a finitely generated (in degree 1) graded ring over a field $k$ and $M_{\cdot}$ is finitely generated, then the saturation map $M_{n}\rightarrow\Gamma(\text{Proj}S_{\cdot},\widetilde{M(n)_{\cdot}})$ is an isomorphism for large $n$. The hint in [Hartshorne] says we can follow the hint in the proof of Theorem 5.19. […]

Is the intersection of two f.g. projective submodules f.g.?

Let $R$ be a commutative unital ring and $M$ a finitely generated projective $R$-module. My question is: if $N_1$ and $N_2$ are f.g. projective submodules of $M$, is $N_1 \cap N_2$ f.g.? Is it projective? (Surely the answer is no but I haven’t been able to find a counterexample. Also, sorry for the lack of […]

Are projective modules “graded projective”?

Let $A^{\bullet}$ be a graded commutative algebra. Denote by $A^{\bullet}$-mod the category of graded modules over $A^{\bullet}$. Let $A$ be $A^{\bullet}$ considered as an algebra (we forgot grading). Finally let $A$-mod be category of modules over $A$. So we have an oblivion functor $$ Obl: A^{\bullet}-{\rm mod} \rightarrow A-{\rm mod}.$$ Consider $P^{\bullet} \in A^{\bullet}$-mod such […]

If a direct sum has a projective cover, must the summands have projective covers?

In “Cover of a direct summand” it is asked to show that if a direct sum has a projective cover, and if one of the summands has a projective cover, then so does the other. I gave a solution that works for any class $\mathcal{X}$ closed under direct sums and direct summands, however I use […]

Cover of a direct summand

Let $L,N$ be $R$-modules. If $L$ and $L \oplus N$ have projective covers, is it true that $N$ admits a projective cover?

Projectivity of $B$ over $C$, given $A \subset C \subset B$

I have found a result concerning projectivity of a certain ring extension: Lemma 2.64. This says the following: Let $A$ be an integral domain or a noetherian ring, $B$ an $A$-algebra, $C$ an $A$-subalgebra of $B$. Assume that $B$ is a f.g. flat $A$-module and $C$ is a f.g. free $A$-module. Then $B$ is a […]

Separability of $A \subseteq C$ implies separability of $B \subseteq C$, where $A \subseteq B \subseteq C$

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$). My question: Assume $A \subseteq B \subseteq C$ are commutative rings, such that $C$ is separable over $A$. Is $C$ separable over […]

Finitely generated projective modules are isomorphic to their double dual.

Let $P$ be a finitely generated projective module. Prove that $P\cong \operatorname{Hom}_{R}(\operatorname{Hom}_{R}(P,R),R)$.