The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
3answers
35 views

Show that $\operatorname{Hom}(S(-d),S)\cong S(d)$ where $S$ is polynomial ring?

As stated above, $S$ is polynomial ring, and since the polynomial ring is $S$ and $S(-d)$ are finite over $S$ as graded modules, we can say that $\operatorname{Hom}(S(-d),S)$ is also graded. My ...
4
votes
0answers
85 views

Flatness of homomorphisms of graded-commutative rings

Algebraic geometry offers some properties and criteria for homomorphism of commutative rings to be flat. What about homomorphisms of graded-commutative rings? You can define flatness as usual: $R \to ...
-1
votes
0answers
26 views

Some problems with Castelnuovo-Mumford regularity

I have some problems to complete my thesis. In this paper: "Upper bound for the Castelnuovo-Mumford regularity of associated graded modules" - Cao Huy Linh Lemma 4.1 Please explain for me about ...
0
votes
1answer
49 views

Is a graded module over a graded ring zero when all of it's graded localizations at graded primes not containing the irrelevant ideal are zero?

Let $M$ be a graded module over an $\mathbb{N}$-graded ring $S$ and $S_+$ be the ideal of positive degree elements. Is it true that $M=0$ iff the homogeneous localization $M_{(\mathfrak p)}=0$ for ...
1
vote
0answers
80 views

Projective covers of graded modules.

I want to prove that there exist projective covers in the category of graded modules over an algebra. I am fairly new to "this" kind of mathematic and don't really know where to start: I found the ...
0
votes
0answers
24 views

Confused with a terminology used in a book Group Representation Vol 1 Part A by G Karpilovsky

I am confused with a terminology used in a book Group Representation Vol 1 Part A by G Karpilovsky (Chapter 10, page 441). Which is as follows: Let $A=\oplus_{g \in G} A_g$ be a $G$-graded ...
0
votes
0answers
69 views

Extending a lemma about Castelnouvo-Mumford regularity

I'm learning Castelnouvo-Mumford regularity of associated graded ring. There is a lemma: It's from "Castelnuovo-Mumford regularity postulation number and relation types" by Markus Brodmann and ...
2
votes
0answers
296 views

Multiplicity and regular sequences

We define multiplicity of a module $M$ of dimension $d>0$ as $$e(M) := \operatorname{lc} (P_M) (d-1)!,$$ where $P_M$ denotes the Hilbert polynomial of $M$ and $\operatorname{lc}(P_M)$ its leading ...
0
votes
2answers
95 views

Graded rings and modules - which book to refer to?

Could you recommend a book with a good treatment of the theory of graded rings and modules?
0
votes
1answer
28 views

Sign convention for derivatives in a $\mathbb{Z}_2$ graded space

Suppose $V=V_0\oplus\theta V_1$ is a $\mathbb{Z}_2$ graded super vector space. Note: Since $\theta^2=0$, this implies $\theta\mathrm{d}\theta=-\mathrm{d}\theta\cdot\theta$. However, I wish to know ...
1
vote
2answers
86 views

Decomposition of finitely generated graded modules over PID

I found this decomposition theorem used in a paper I'm reading, but it isn't referenced and I can't seem to find it in any of the books I have: Every graded module $M$ over a graded PID decomposes ...
2
votes
1answer
67 views

About Betti Numbers

I'm studying the book 'The Geometry of Syzygies' of David Eisenbud, but I'm having problem with the following step, in page 7 he says the we have a free resolution to the set of ten points in ...
0
votes
0answers
45 views

Suggest a good book or reference on graded modules over polynomial rings

I am looking for reference books or papers on graded modules over the polynomial ring $k[x_0, \ldots, x_n]$. Any good commutative algebra text like Eisenbud's Commutative Algebra already contains a ...
0
votes
1answer
83 views

Problem with Eisenbud's Lemma “Symmetry of Diagonalization”?

In his proof of Lemma A2.5 in his book Commutative Algebra with a View towards Algebraic Geometry, Prof. Eisenbud writes something like this: Let R be a commutative ring, $M$ an $R$-module, $S(M)$ ...
0
votes
0answers
99 views

Graded version of Grothendieck's Non-vanishing Theorem

Is there a graded version of the Grothendieck Non-vanishing Theorem? (Theorem 6.1.4 of the book Local Cohomology. An Algebraic Introduction with Geometric Applications written by M. P. Brodmann and ...
1
vote
1answer
58 views

Tor for graded modules over a graded ring

I am confused about how this Tor is defined. Suppose $R$ is a graded ring, $M,N$ graded modules over $R$. What is $\operatorname{Tor}_{st}^R(M,N)$? I am confused about the subscripts. I realize ...
0
votes
0answers
26 views

Splitting of Abelian Groups in Graded Modules

Suppose I have a graded module $M=\oplus M_i$ over a graded ring $R=\oplus R_i$. Assume $M_i\cong A \oplus B$, where A and B are abelian groups. Since $M$ is a graded ring, we know that $R_k(A\oplus ...
3
votes
1answer
93 views

Finitely generated graded modules over $K[x]$

I need some help on this exercise from A Course in Ring Theory by Donald S. Passman The result is supposely similar to the well-known structure theorem in the non-graded case. So let $M$ be a ...
3
votes
1answer
84 views

Why we can consider both modules as modules over $R_{(p)}$? (Bruns and Herzog, Theorem 1.5.9)

I'm reading Bruns-Herzog's book Cohen Macaulay rings and have a probably elementary question. Why we may consider both modules as modules over $R_{(p)}$ in this theorem? ... i know that ...
2
votes
0answers
71 views

Is the length of the composition series of a free module identical to the number of its bases?

Let $A_0$ be an Artinian ring, $M$ a free $A_0$-module. Then, is the length of the composition series of $M$ identical to the number of its bases? It seems to me that it is not. If $\mathfrak a$ ...
0
votes
0answers
119 views

When is $\operatorname{gr}_I (M)$ finite?

When is $\operatorname{gr}_I (R)$ (I mean associated graded ring of $I$) finite? When is $\operatorname{gr}_I (M)$ finite? ($R$ is Noetherian ring and $M$ finite $R$-module.)
1
vote
0answers
68 views

'Finitely generated modules' versus 'Finitely generated algebra'

I'm reading Commutative Algebra by Bourbaki, and I'm on chapter III of the book. I really think that the author made a typo there, but I'm not so sure. It's Proposition 1, and its Corollary on page ...
5
votes
1answer
71 views

holonomic D-modules

I am trying to develop an intuition about holonomic D-modules and find the literature formidable (I study physics). My question is, given a linear differential operator in n-variables, ...
4
votes
1answer
154 views

Dimension of graded module

Let $R$ be a Noetherian positively graded ring and $M$ a finite graded $R$-module. Prove that $\dim M = \sup\{\dim M_p: p\in\operatorname{Supp} M \text{ graded}\}$. This is the Exercise 1.5.25 ...
0
votes
1answer
70 views

Grading on the graded direct product

This question is related to this one. Probably it's obvious but could you tell me what is the grading on the graded direct product? I was thinking about $^*\Pi M^i=\oplus_j(\Pi_i M^i_j)$ where ...
0
votes
1answer
43 views

Graded direct products can differ from direct products

Assume $R$ is a graded ring and the $M_i$ are graded modules. Then Bruns and Herzog define the graded direct product $^*\Pi M_i$ as the submodule of $\Pi M_i$ generated by the sequences $(x_i)$ with ...
2
votes
0answers
128 views

$\mathrm{Hom}$ and $^*\mathrm{Hom}$ for graded modules: Exercise 1.5.19(f) of Bruns-Herzog

Assume $R$ is a graded ring and $M$ and $N$ graded modules. Denote by $^*\mathrm{Hom}_R(M,N)$ the set of all homogeneous $R$-linear maps from $M$ to $N$. How can I prove that if $M$ is finitely ...
2
votes
1answer
103 views

Poincaré series of quotient module

I am trying to calculate the Poincaré series $P(M,t)$ with respect to the standard degree grading of the graded $\mathbb{C} [x,y,z,w]$-module $ M=\mathbb{C}[x,y,z,w]/I$, where $I = (x,w) \cap (z,w) ...
5
votes
1answer
103 views

Difference between graded ring and graded algebra

Wikipedia says that a graded $A$-algebra is just a graded $A$-module that is also a graded ring. Question: when one says then "finitely generated graded $A$-algebra", does one mean that every element ...
2
votes
1answer
135 views

Finite free graded modules and the grading of their duals

Let $S$ be a $\mathbb{Z}$-graded ring and $F$ a $\mathbb{Z}$-graded module that is free of finite rank $n$. Then we can write $F = \oplus_{i=1}^n S(\nu_i)$, where $S(\nu_i)$ is a graded ring ...
3
votes
1answer
71 views

Krull dimension and graded prime ideals

How can we show that $\dim R/p=0\Leftrightarrow p=(x_{1},\ldots,x_{n})\Leftrightarrow R/p\simeq\mathbb{K}$, where $R=\mathbb{K}[x_{1},\ldots,x_{n}]$ is considered graded with standard grading (i.e. ...
2
votes
3answers
101 views

$0$-th exterior power, empty product of modules and their tensor product

$\def\finiteprod#1#2{#1_{1}\times#1_{2}\times\dots\times#1_{#2}}$In Lang's algebra he defines the tensor product as a universal object in the category of multilinear maps from $\finiteprod En$ where ...
5
votes
0answers
77 views

“Graded free” is stronger than “graded and free”

This topic suggested me the following question: If $R$ is a commutative graded ring and $F$ a graded $R$-module which is free, then can we conclude that $F$ has a homogeneous basis (that is, a ...
0
votes
1answer
61 views

Generating connected module over a connected $K$-algebra

I have an algebraic question that I cannot solve. It is extracted from Adams and Margolis' paper on modules over the Steenrod Algebra. Here is the problem : Let $K$ be a commutative ring with ...
2
votes
1answer
60 views

on exactness of the functors $M \mapsto \hat{M}$ and $M \mapsto \hat{A}\otimes_{A}M$

if $A$is a Noetherian ring, $M$ a finitely generated module,$I$ is an ideal of $A$, and $\hat{A}$ is the $I-adic$ completion of $A$, then we know $\hat{A}\otimes_{A}M\cong\hat{M}$. Also on ...
2
votes
1answer
87 views

Endomorphisms preserving bilinear form

Let $V=V_0 \oplus V_1$ be a $\mathbb{Z_2}$ finite dimensional graded vector space of dimension $2n$. Let $x_1,..,x_n,y_1,...,y_n$ be a basis of $V$ such that the $x_i$ form a basis for $V_0$ and the ...
0
votes
0answers
66 views

Extension of multiplication to the tensor algebra.

In this wikipedia article http://en.wikipedia.org/wiki/Tensor_algebra#Construction We construct $T(V)$ as the direct sum of vector spaces $T^kV$ for $k=0,1,2,…$ $$ T(V)= ...
0
votes
0answers
77 views

Question about initial forms

I am working through Eisenbud's Commutative Algebra, and in Chapter $5$ he defines the following map. Say we have a filtration of modules ${\cal F}:M=M_0\supset M_1\supset\cdots$. Then for $f\in M$, ...
1
vote
1answer
46 views

How to think of a chain complex as a module?

I just started learning the subject, so the question should be basic. A complex $\mathbf{F}$ over a ring $R$ is a sequence of homomorphisms of $R$-modules $$\mathbf{F}: \cdots \to ...
2
votes
0answers
123 views

Computing ext over graded rings

This question came up as I was reading Beilinson, Ginzburg, Soergel paper Koszul Duality Patterns in Representation Theory. Suppose that $A$ is a Koszul ring (for the definition of Koszul ring ...
4
votes
1answer
95 views

What does it mean for the coordinate ring of an affine variety to be graded?

My question is relatively simple, assume that $X$ is an affine variety such that its coordinate ring $A:=\Bbbk[X]:=H^0(\mathcal O_X,X)$ is $\Lambda$-graded for some monoid $\Lambda$. Now if ...
3
votes
1answer
205 views

Proof details of Theorem 11.1 in Atiyah-Macdonald

I have some trouble filling in the details of this proof from Atiyah-Macdonald. In this result, the authors assume what follows: 1) $A = \oplus_{n=0}^\infty A_n$ is a Noetherian graded ring, and ...
2
votes
2answers
91 views

Reference request: Tensor product of DG-modules

Let $A$ be a (skew-) commutative DG-algebra, and let $M,N$ be two DG $A$-modules. I am looking for a reference which describes the functor $-\otimes_A -$ and its basic properties (associtivity, ...
1
vote
4answers
339 views

Split-Lemma for chain complexes

Suppose $k$ is a field and $A$, $B$ and $C$ are chain complexes of $k$-vector spaces, i.e., objects in $\mathbf{Ch}(k\text{-}\mathbf{Vect})$. Is there are chain complex version of the split lemma, ...
2
votes
3answers
132 views

What does $p+q=k$ mean in the index of summation?

I need help solving something I don't understand. OK so the problem is this: $$H^k(X,C)=\bigoplus_{p+q=k} H^{p,q}(X),$$ What does the $\;p+q=k\;$ mean? Thank you anybody that helps! :)
0
votes
1answer
74 views

Questions on (subring/ submodule) of a graded (ring/ module)

I have a question which seems a bit silly... If we have $R$ a graded ring, does it follow that every subring of $R$ is also graded? Because I have a problem here as such: I have a graded ring $R$ ...
10
votes
2answers
321 views

Path Algebra for Categories

For a while I had been thinking that the path algebra of a quiver $Q$ over a commutative ring $R$ is the same as the "category ring" $R[P]$ (analogous to "group ring", "monoid ring", "semigroup ring", ...
4
votes
0answers
206 views

Construction of graded rings and modules

In Algebraic Geometry and Homological Algebra - as far as I know - we often consider graded rings and modules so as to encode more information, say, some sort of (computational) complexity. For ...
2
votes
1answer
218 views

Compute Hilbert function of a monomial ideal

I'd like to know whether there exist easy methods that compute the Hilbert function of a graded $k$-algebra, without computer programs. My homework asks to me to compute the Hilbert function of ...
1
vote
0answers
35 views

Why do we have $\operatorname{Proj}(\oplus_{i=0}^\infty t^i \left< x\right>^i)\cong \operatorname{Proj}(\oplus_{i=0}^\infty t^i \left< x^2\right>^i)$?

I'm just curious but why is it that $$ \operatorname{Proj}\left(\oplus_{i=0}^\infty t^i \left< x\right>^i\right) $$ isomorphic to $$ \operatorname{Proj} \left(\oplus_{i=0}^\infty t^i \left< ...