Generalized local ring: Difference between revisions
(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...) |
m (formatting) |
||
| Line 5: | Line 5: | ||
A [[graded ring|positively graded]] [[commutative unital ring]] ''R'' is termed a '''generalized local ring''' if its degree 0 part is [[local ring|local]] and [[Noetherian ring|Noetherian]], and ''R'' is a finitely generated as an algebra over its degree 0 part. | A [[graded ring|positively graded]] [[commutative unital ring]] ''R'' is termed a '''generalized local ring''' if its degree 0 part is [[local ring|local]] and [[Noetherian ring|Noetherian]], and ''R'' is a finitely generated as an algebra over its degree 0 part. | ||
==Metaproperties== | |||
==Uniqueness of maximal ideal== | ===Uniqueness of maximal ideal=== | ||
A generalized local ring has a unique maximal homogeneous ideal. | A generalized local ring has a unique maximal homogeneous ideal. | ||
Revision as of 18:44, 3 January 2009
Definition
Symbol-free definition
A positively graded commutative unital ring R is termed a generalized local ring if its degree 0 part is local and Noetherian, and R is a finitely generated as an algebra over its degree 0 part.
Metaproperties
Uniqueness of maximal ideal
A generalized local ring has a unique maximal homogeneous ideal.