Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [graded-rings-modules]

The tag has no usage guidance.

6
votes
1answer
115 views

Is $[Im:(x)][Im:(y,z)]\subseteq Im$ in $k[x,y,z]$?

Let $k$ be a field and $S=k[x,y,z]$. Let $m=(x,y,z)$ and $I\subseteq m$ a proper homogeneous ideal in $S$. Is this true that we always have: $$[Im:(x)][Im:(y,z)]\subseteq Im \ ?$$ In a paper we ...
15
votes
3answers
408 views

Graded analogues of theorems in commutative algebra

Many theorems in commutative algebra hold true in a ($\mathbb{Z}$-)graded context. More precisely, we can take any theorem in commutative algebra and replace every occurrence of the word commutative ...
3
votes
1answer
131 views

Global dimension of a graded algebra

Let $A= \bigoplus\limits_{n=0}^{\infty}{A_n}$ be an $\mathbb{N}$-graded algebra with semisimple $A_0$. Question: Do we have that the global dimension of $A$ is equal to $\sup \{i \geq 0 | Ext_A^i(...
3
votes
1answer
91 views

Projective dimension of graded modules

Short version: Why is the projective dimension of a graded module the same as the projective dimension of its underlying ungraded module? Longer version: Let $G$ be a commutative group, let $R$ ...
9
votes
2answers
310 views

Divided power algebra is artinian as a module over the polynomial ring

I already asked this on math.stackexchange.com, but did not receive much responses. I hope this is also appropriate for mathoverflow. In the paper Homological algebra on a complete intersection, with ...
8
votes
1answer
185 views

The different gradings of a graded ring, and their schemes

Let $(A,g)$ be a graded commutative ring, where $A$ denotes the commutative ring, and $g$ its grading. What can be said about the set $\mathcal{G}_A := \{ \mathrm{Proj}\Big((A,g)\Big)\ \vert\ g \}$? ...
6
votes
1answer
171 views

Is every (left) graded-Noetherian graded ring (left) Noetherian?

I call a $\mathbb{Z}$-graded (non-commutative, associative, unital) ring $A$ (left) graded-Noetherian if every homogeneous (left) ideal is finitely generated, and (left) Noetherian if it is (left) ...
1
vote
0answers
31 views

Hilbert functions of graded modules generated by mapped generators

I need to prove the following claim for my work. Intuitively, the claim should hold as it is analogous to the concept of an initial module, but a rigorous approach for the same I cannot find. Any help ...
5
votes
0answers
191 views

Can the Artin-Rees lemma be derived from Krull Intersection theorem?

The Krull Intersection theorem states that : For a finitely generated module $M$ over a Noetherian ring $R$ and any ideal $I$ of $R$, we have $I(\cap_{k=1}^{\infty}I^k M)=\cap_{k=1}^{\infty}I^k M$ . ...
0
votes
0answers
84 views

Hochster-Roberts theorem

I am trying to understand this theorem, and as an example I try this case: Let $R=\mathbb{C}[z_1^{\pm},\ldots,z_n^{\pm}]^{S_n}$ be the algebra of Laurent polynomials. Now $R$ should be somehow ...
1
vote
1answer
171 views

If $A\subset B$, what to say about their $\operatorname{Proj}$?

Let $k$ be a field and $A$ and $B$ be two graded $k$-algebras satisfying $A\subset B$. The $\operatorname{Proj}$ construction is not functorial but is there nothing to say about $\operatorname{Proj}(A)...
2
votes
1answer
228 views

On graded projective modules

If $R$ is a PID, then we know that any projective module over $R$ is free. Is there any graded version of this? That is, let us call a graded commutative ring $R=\oplus _{g \in G} R_g$ a graded PID if ...
1
vote
0answers
51 views

References on infinite dimensional graded algebras

I am currently working on some generalisations of known results in 2-category theory, and I have been stymied trying to find references that discuss `graded-finite dimensional' algebras over a field - ...
1
vote
1answer
139 views

Providing a grading for the polynomial ring over a commutative unital graded ring

Let $R$ be a commutative unital $G$-graded ring , where $G$ is a monoid ; then does there exist a $G$-grading on $R[X]$ such that whenever we have a commutative unital $G$-graded ring $S$ , $a \in S$ ...
7
votes
1answer
153 views

Graded and projective (but not bounded below) module that is not graded-projective?

Let $A = \bigoplus_{n = 0}^\infty A_n$ be a graded algebra over a field $k$ that is locally finite: each $A_n$ is a finite-dimensional $k$-vector space. We say that a graded left $A$-module $P = \...
0
votes
0answers
26 views

Can a ideal-like subset that is prime in low degrees be extended to a prime ideal ?

Let $A=\bigoplus_{n \ge 0}A_n$ be a positively graded commutative ring. Let $J_n \le A_n$ be subgroups for $j=0,\ldots,N$, satisfying $\,\,\,A_n \cdot J_m \subseteq J_{n+m}$ for $n+m \le N$ $\,\,\,...
1
vote
0answers
78 views

Characterization of a finitely graded (almost) domain

Let $A= \bigoplus_{i=0}^{N}A_i$ be a finitely graded ring with the following property: if $x \in A_i$ and $y \in A_j$ and $i+j \leq N$, then $$xy = 0 \text{ implies } x = 0 \text{ or } y = 0.$$ Hence ...
0
votes
0answers
162 views

The growth of the Hilbert function of a graded ring

Let $A=\bigoplus A_i$ be a finitely generated commutative unital graded algebra over a field $k$. Let $d(i)=\dim A_i$. In general $d(i)$ is not a polynomial in $i$ (even not eventually polynomial). ...
3
votes
1answer
79 views

Derivations annihilated by powers of the augmentation ideal

Consider an augmented commutative ring $R$, with augmentation ideal $\varpi$. Let $\delta$ be a derivation of $R$. The example I have in mind is $R=\mathbb F_p[x]/(x^{p^i})$ and $\delta=d/dx$, though ...
4
votes
0answers
315 views

Inverse limit of graded rings

Let $(I,\le)$ be a directed set and let $(\rho^{\beta\alpha}: R^\beta \to R^\alpha)_{\alpha \le \beta}$ be an $I$-directed system of $\mathbb{Z}$-graded rings whose multiplication is denoted by $$\...
5
votes
0answers
543 views

Height of maximal homogeneous ideals

Let $R= \oplus_{n \ge 0} R_n$ be a graded Noetherian commutative ring and suppose $R_0$ is Artinian. Do all maximal homogeneous ideals of $R$ have the same height ? Let $R_{>0}$ be the ideal ...
12
votes
2answers
1k views

“Spec” of graded rings?

From the discussion here, it seems that general Hochschild cohomology classes correspond to deformations where the deformation parameter can have nonzero degree. So I have some naive and maybe stupid ...
4
votes
0answers
405 views

Tor over graded rings

Let $R$ be a graded ring (concentrated in nonnegative dimensions and maybe bounded from above). For every positive natural number $n$, denote by $R\to\tau_{\leq n}R$ the $n$-truncation and by $\tau_{\...