The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
48 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 ...
1
vote
1answer
76 views

Graded Vector Spaces and the Interchange Law

I'm a little confused about how to correctly interchange factors in tensor products on graded vector spaces. In particular let $V:= \bigoplus_{n \in \mathbb{N}} V_n$ be a $\mathbb{N}$-graded vector ...
1
vote
0answers
24 views

Hilbert series of exterior algebra?

Let the exterior polynomial algebra $A=\Lambda_K[x_1,\ldots,x_n]$ have grading $\deg x_i=d_i$. Is there some nice formula for the Hilbert-Poincare series $HP_A=\sum_k\dim_K ...
1
vote
1answer
160 views

Bruns Herzog Theorem 9.2.1

In Theorem 9.2.1 of Bruns-Herzog Cohen-Macaulay rings it is proven that if $x_1,...,x_n$ is a regular sequence on an $R$-module $M$, and $t \ge 0$, then $x_1^t x_2^t \dotsm x_n^t \notin ...
1
vote
0answers
87 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 ...
1
vote
0answers
81 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 ...
1
vote
0answers
39 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< ...
1
vote
0answers
32 views

Understanding $Bl_{\mathcal{I}}(k^4)/S_2$ where $\mathcal{I}$ is defined by $(x_1-x_2,x_3-x_4)$

Let $k_4=Spec(k[x_1, x_2, x_3,x_4])$ and $\mathcal{I}$ is the ideal sheaf defined by $(x_1-x_2,x_3-x_4)$. Then $$ Bl_{\mathcal{I}}(k^4) = Proj (\oplus_{i\geq 0} I^i t^i) $$ where ...
0
votes
2answers
76 views

David Eisenbud, Hilbert theorem

I just started reading D. Eisenbud Commutative algebra with a view towards algebraic geometry and I wonder about a theorem on page 42: If $M$ is a finitely generated graded module over ...
0
votes
2answers
133 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
67 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 ...
0
votes
1answer
167 views

Isomorphism of ($\mathbb{Z}/{(n)}$-graded) Rings

Let $A=\bigoplus_{d=0}^n A_g$ and $B=\bigoplus_{d=0}^n B_h$ be $\mathbb{Z}/{(n)}$-graded rings. In particular, we assume $A_n\ne 0$ and $B_n\ne 0$. Let $\phi:A\to B$ be an isomorphism of rings. My ...
0
votes
1answer
19 views

When is a D-module holonomic?

Suppose that I have a small family of partial differential equations such that $y(x)$ must be a solution to $$ P_i(x,D) y(x)=0,\ \ \ \ \ \ i=1,...,m $$ for all $i=1,...,m$, where I am using ...
0
votes
1answer
60 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 ...
0
votes
1answer
47 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 ...
0
votes
1answer
83 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$ ...
0
votes
1answer
56 views

The variety associated to a polynomial ring with a particular grading

We impose various grading on an algebra or a module to understand its homological properties. So I made up the following problem and I would like to understand its correspondence as a variety. ...
0
votes
1answer
7 views

Example of non interchangeability of the order of taking graded moduls with respect to three filtrations

Assume we have an R-Module A, with R a commutative ring and three descending filtrations F,G,H on this. We can take the associated graded module with respect to any of these, say F, by setting ...
0
votes
0answers
29 views

Without loss of generality $P_1, . . . , P_s$ contain all elements of $gr_I (R)$ of positive degree, and $P_{s+1}, . . . , P_r$ do not

In the $\underline {Proposition\ 8.5.7}$ of book: Integral Closure of Ideals, Rings, and Modules, (Irena Swanson and Craig Huneke), they say: "Without loss of generality $P_1, . . . , P_s$ contain all ...
0
votes
0answers
31 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
74 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 ...
0
votes
1answer
32 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 ...
0
votes
0answers
68 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
88 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
114 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 ...
0
votes
0answers
27 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 ...
0
votes
0answers
131 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? if 1) $R$ is non-Noetherian ring , 2) $R$ is Noetherian ring and $M$ ...
0
votes
1answer
83 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
0answers
73 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
82 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$, ...