Commutative algebra Definition
Betti numbers of a module
Builds on Local ringResidue fieldFinitely generated moduleTor functorProjective resolutionFree moduleNoetherian ring
Definition
Let be a Noetherian local ring with residue field . Let be a finitely generated -module. For each , the module is annihilated by , so it is a finite-dimensional -vector space. The -th Betti number of is
In the graded case, is graded by degree, , and is a finitely generated graded -module. Then each is graded, and the graded Betti numbers are .
Remarks
Equivalently, is the rank of the free module in a minimal free resolution , that is, one whose differentials have all entries in .
For and , the Koszul complex is a minimal resolution, so , , , and the nonzero graded Betti numbers are , , .
The ranks in a resolution that is not minimal are not the Betti numbers. For over , the resolution , with the second summand mapped identically, has ranks , while .
is the least number of generators of , and the largest with is the projective dimension of when it is finite.
Reading path
To understand this page from the ground up, read these 8 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Finitely generated module concept
- Free module concept
- Local ring concept
- Noetherian ring concept
- Projective resolution concept
- Residue field concept
- Tor functor concept
- Betti numbers of a module definition
Further reading
About this page
| Tag | 1313JFBBAD |
|---|---|
| URI | m2://1313JFBBAD |
| Kind | definition |
| Writing | W0 stub |
| MSC | 13D02, 13D07 |
| Defines | Betti numbers of a module |
| Uses | Local ring, Residue field, Finitely generated module, Tor functor, Projective resolution, Free module, Noetherian ring |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.