Timeline for Dimension of a module (which is not necessarily finite)
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2016 at 18:09 | comment | added | Jason Starr | No, and Remy van Dobben de Bruyn already explained the examples. The graded $R$-module $M = \oplus_n (R/R_+)(n)^{\oplus P(n)}$ has the specified length function, but it has support equal to $R_+ = \oplus_{n>0} R_n$. So the dimension is $0$. | |
| Mar 25, 2016 at 17:23 | history | asked | Cusp | CC BY-SA 3.0 |