All Questions
8 questions
9
votes
2
answers
513
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 ...
- 1,286
8
votes
1
answer
191
views
Do graded-commutative rings satisfy the strong rank condition?
Let $R$ be a ring. Recall that $R$ is said to satisfy the strong rank condition if, whenever $R^m \to R^n$ is a monomorphism of right $R$-modules (with $m,n \in \mathbb N$), we have $m \leq n$.
It is ...
- 64k
5
votes
0
answers
337
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$ . ...
user111524
3
votes
1
answer
701
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 ...
user111524
1
vote
0
answers
45
views
Lifting module homomorphisms imposing conditions on characteristic polynomials
Suppose that we are in the setting described in the first two paragraphs of this MSE post. My question wants to deal with an instance of the study of the amount of freedom that the choice of the ...
- 573
1
vote
0
answers
33
views
Making a generating set of a section of a graded polynomial $R$-module coming from a quotient into a basis of a quotient by higher degree polynomial
Denote the graded rings $R:=\mathbb{R}[x_{1},\dots x_{n}]$ and $S:=R[x_{0}]$ adding the homogenizing variable $x_{0}.$ Consider $h\in S$ a homogenous polynomial of degree $d$ with leading coefficient $...
- 573
1
vote
0
answers
212
views
Surjection from finite rank free $R$-module to finitely generated $R$-module and basis associated to generator set
Suppose the we have an epimorphism $s\colon M\to N,$ where $M$ is a free $R$-module of rank $r$ and $N$ is a finitely generated $R$-module, such that there exists a basis $B:=\{m_{1},\dots, m_{r}\}$ ...
- 573
1
vote
0
answers
40
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 ...
- 11