New answers tagged modules
0
votes
Exact sequences with two FL-modules
Yes, this is true.
Let $K_0(R)$ be the Grothendieck group of $R$ and $\widetilde K_0(R)=K_0(R)/\langle [R]\rangle$.
Then $[P]=0$ in $\widetilde K_0(R)$ if and only if $P$ is stably free.
For any $...
7
votes
How to make Ext and Tor constructive?
Jarl Flaten and I have developed the theory of Ext groups constructively in homotopy type theory, and have formalized most of the results in Coq. We use Yoneda's resolution-free approach to Ext, so ...
Top 50 recent answers are included
Related Tags
modules × 593ac.commutative-algebra × 237
ra.rings-and-algebras × 173
rt.representation-theory × 107
homological-algebra × 86
ct.category-theory × 52
projective-modules × 44
ag.algebraic-geometry × 41
linear-algebra × 40
reference-request × 35
noncommutative-algebra × 29
gr.group-theory × 27
tensor-products × 21
injective-modules × 19
noncommutative-rings × 17
finite-groups × 16
nt.number-theory × 15
abelian-groups × 15
local-rings × 15
lie-algebras × 14
flatness × 12
polynomials × 11
ideals × 11
abelian-categories × 10
group-rings × 10