User contributions for Masnevets
3 January 2009
- 19:1419:14, 3 January 2009 diff hist +13 m Generalized local ring →Stronger properties: multivariate link current
- 19:1319:13, 3 January 2009 diff hist +55 m Minimal resolution →Metaproperties: formatting current
- 19:1219:12, 3 January 2009 diff hist +13 m Hilbert syzygy theorem multivariate polynomial ring link current
- 19:1119:11, 3 January 2009 diff hist +1,599 N Hilbert syzygy theorem New page: {{curing metaproperty satisfaction}} ==Name== This result is termed the '''Hilbert syzygy theorem'''. ==Statement== ===Verbal statement=== Minimal resolutions over a [[polynomial ring ...
- 18:5418:54, 3 January 2009 diff hist +757 N Minimal resolution New page: ==Definition== ===Symbol-free definition=== A '''minimal resolution''' of a module over a generalized local ring is a graded free resolution (possibly infinite in length) ter...
- 18:4618:46, 3 January 2009 diff hist +155 Free resolution added uniqueness up to chain homotopy current
- 18:4418:44, 3 January 2009 diff hist 0 m Generalized local ring formatting
- 18:4118:41, 3 January 2009 diff hist +529 N Generalized local ring New page: ==Definition== ===Symbol-free definition=== A positively graded commutative unital ring ''R'' is termed a '''generalized local ring''' if its degree 0 part is [[local...
- 18:4118:41, 3 January 2009 diff hist +142 Graded ring →Definition: added notion of positively graded current
- 18:3318:33, 3 January 2009 diff hist +24 N Local redirect current
- 18:2518:25, 3 January 2009 diff hist +413 N Injective resolution New page: ==Definition== ===Symbol-free definition=== An '''injective resolution''' of a module over a commutative unital ring is an exact sequence of modules (possibly infinite in len... current