Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathfrak{C}$ be the category of ($\mathbb{Z}$)-graded-commutative rings. Does this category have limits in it?

I am particulary interested in power series rings over a field. Is there a reasonable way to view such a ring as a graded ring?

Let $R = k[x]$ be a graded ring. Let $I=(x)$ be a graded ideal. Is $\varprojlim R/I^n$ an element of $\mathfrak{C}$?

share|improve this question
    
Since this category has product and equalizers, it has limits. –  Andrew Jul 28 '12 at 2:05
add comment

1 Answer

Are you asking how to put a grading on, say, the ring of p adic integers?

The limit you wrote down is isomorphic in the category of rings to the ring of power series over $k$. A grading is a decomposition into direct sums. But power series have infinitely many terms...This is a kind of vague explanation for why I think it isn't possible.

share|improve this answer
    
so you claim that this category does not have limits? –  anonymous Oct 28 '11 at 9:06
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.