**0**

votes

**0**answers

53 views

### Depth of multigraded modules

Can any one please give me some references on depth of multigraded module over a standard multigraded ring.

**3**

votes

**1**answer

132 views

### Idempotent fractional ideals of a Noetherian domain

Let $R$ be a commutative Noetherian domain, $K$ its fraction field, and $J$ a fractional ideal (i.e. a finitely generated sub-$R$-module of $K$) such that $J^2=J$. Is it true that $J=0$ or $J=R$? If ...

**6**

votes

**1**answer

567 views

### Algebraic Closure of a Ring is Not a Ring?

I'm trying to motivate the notion of integrality in a ring extension. It seems that the following would be a good motivation, because it would show that the notion of algebraic elements over a ring is ...

**7**

votes

**1**answer

186 views

### Semiring of vector bundles on $\mathbb{C}\mathbb{P}^1$

Consider the semiring
$$\mathbb{N}[H,H^{-1}]/(H^p+H^q = H^{p+q}+1)_{p,q \in \mathbb{Z}}.$$
Is it finitely presentable? Is there any simplification of the relations (except for $p \geq q \geq 0$)?
...

**-1**

votes

**1**answer

87 views

### Variety of commutative semi group [closed]

V is a variety of commutative semi group satisfying the identity $x^2 = x^3$.
I need to prove that:
$|F_V(\{x_1\dots,x_n\})|$ = $3^n -1$.
Any hints on this ?
$F_V$ is V-free algebra.

**1**

vote

**2**answers

175 views

### Is there an intuitionistic generalized boolean algebra (of Stone)?

A "boolean algebra without the greatest element" was called by Stone "generalized boolean algebra" and he axiomatized it. Is there any publication about "preudo-boolean algebras without the greatest ...

**1**

vote

**1**answer

179 views

### Can the property of essential finite type checked at a point?

Let $k$ be a field, and let $A$ be a commutative $k$-algebra which is noetherian.
Suppose that for each prime ideal $p$ of $A$, it holds that the field $k(p)$, the field of fractions of $A/p$ has ...

**4**

votes

**6**answers

1k views

### Algebraic Geometry for non-mathematician [closed]

I think I sound stupid but I have heard a lot about Algebraic Geometry as a subject and wish to study it without actually studying abstract algebra. I have never studied abstract algebra since I am a ...

**1**

vote

**0**answers

164 views

### Surjectivity of $f\colon\Gamma_Z(M)\rightarrow\bigoplus_{p\in Z\backslash Z'}\Gamma_{pR_p}(M_p)$

Suppose $Z'\subseteq Z\subseteq\text{Spec} R$ such that every element in $Z\backslash Z'$ is a minimal element (with respect to inclusion as ideals) in $Z$. Assume further that both $Z$ and $Z'$ are ...

**0**

votes

**0**answers

99 views

### Graded-irreducible ideals are irreducible?

One knows that graded ideals in polynomial rings over a field are primary iff they are graded-primary. What about the irreducible ideals?
Let $I$ be a graded ideal in a polynomial ring over a ...

**10**

votes

**1**answer

272 views

### Homological criteria for finite generation and finite presentation of modules?

(I'm new here; if I'm doing something wrong please help me out.)
In short, my question is: There are some results on the behavior of finite generation and finite presentation in exact sequences (of ...

**3**

votes

**1**answer

299 views

### Can non-isomorphic field extensions be isomorphic fields?

This is related to my earlier question on isomorphism of general quotients of $\:F\hspace{.02 in}[x]\:$.
Let $F$ be a field, let $p$ and $q$ be (non-zero) monic irreducible polynomials, let $I$ and ...

**1**

vote

**1**answer

145 views

### Universal coefficient theorem for local ring

Let $R$ be a commutative local artin $k$-algebra,where $k$ is a field with characteristic $0$.I wonder whether universal coefficient theorem holds in this case.Namely,if $C$ is a chain of flat ...

**3**

votes

**2**answers

337 views

### An affine singular surface

Let $n$ be a positive integer and let $A$ be the subring of ${\mathbb C}[x,y]$ generated
by $x,xy,...,xy^n$. Let $S=Spec(A)$. This is an affine surface, which is clearly singular if
$n\neq 1$. Is ...

**0**

votes

**2**answers

249 views

### Computing the minimal free resolution of a coherent sheaf on projective space

Most books on commutative algebra explain Grobner bases in the non graded case and minimal free resolutions in the local case. I like projective geometry and want to compute the minimal free ...

**29**

votes

**2**answers

1k views

### Is every Noetherian Commutative Ring a quotient of a Noetherian Domain?

This was an interesting question posed to me by a friend who is very interested in commutative algebra. It also has some nice geometric motivation.
The question is in two parts. The first, as stated ...

**0**

votes

**0**answers

87 views

### Relation between dimension of Proj(S) and dimension of S

Let $S$ be Noetherian standard ${\mathbb{N}}^r$ graded ring where $S_{\underline{0}}$ is an Aritinian local ring.
$$Proj(S)=\lbrace{P\in Spec S | S_{++}\not\subseteq P, P\hspace{0.1cm} ...

**-3**

votes

**1**answer

247 views

### Doubt in this proof of Horrocks theorem

I'm beginning to study some research papers and I need right now to understand the solution of Vaseršteĭn of Serre's theorem (simplest proof of this theorem), to do so, I'm beginning to understand ...

**1**

vote

**1**answer

83 views

### composition of Puiseux series?

Formal series over a field (or ring) k can be composed in the following sense: given $y \in k[[x]]$, $y$ lying in the maximal ideal, there exists a unique map of topological rings $k[[x]] \to k[[x]]$ ...

**1**

vote

**0**answers

111 views

### Two questions regarding $f$-adic completions of (non noetherian) rings

Lately I've looked at $f$-adic completions of commutative rings. I had posted two questions regarding the topic on math.SE which didn't receive any attention and I think they might be fit for ...

**0**

votes

**1**answer

207 views

### reduction of an admissible filtration

Let $(R,m)$ be a local ring and $I$ an $m$-primary ideal of $R.$ $\lbrace I_n\rbrace_{n\in\mathbb{Z} }$ is called $I$-admissible filtration
1) if $m\geq n$ then $I_m\subset I_n.$
2) for all $m,n,$ ...

**2**

votes

**2**answers

256 views

### local cohomology mayer-vietoris sequence

(I originally asked this question on Math.SE here. As suggested on meta.MathOverflow (posting an unanswered Math.SE question on MathOverflow), I've waited about a week before reposting it here. Note ...

**1**

vote

**1**answer

136 views

### local cohomology of Buchsbaum ring

Let $(R,m)$ be a Buchsbaum ring of dimension d. Can we say that $d$-th local cohomology $H_{m}^d(R)$ has finite length?

**0**

votes

**1**answer

95 views

### Relation between local cohomology and koszul cohomology of multigraded ring

Let $R$ be a ${\mathbb {Z}}^k$-graded Noetherian ring, $J=(x,y)$ an ideal of $R$ where $x,y\in R_{(1,\ldots,1)}.$ Is this following true $$H_{J}^i(R)=\underset{n}\varinjlim{H^i((x^n,y^n),R)},$$ where ...

**6**

votes

**1**answer

777 views

### A naive algebraic geometry question

Suppose $X$ is a scheme over a ring $A$, $B$ is an $A$-algebra, and $X\times_AB$ is affine. I am looking for conditions on $A$ and $B$ (and perhaps the structure morphism of $X$ over $A$) that will ...

**3**

votes

**1**answer

196 views

### Endomorphism Ring of Indecomposable MCM Modules

Let $R = k[[x, y]]/(f)$, where $k$ is algebraically closed of characteristic zero. I'm particularly interested in studying the endomorphism ring of indecomposable MCM (maximal Cohen-Macaulay) modules ...

**17**

votes

**2**answers

407 views

### Rings for which no polynomial induces the zero function

For any commutative ring $R$ let $R[x]$ denote the ring of polynomials with coefficients in $R$. Any polynomial $p \in R[x]$ naturally induces a function $\hat{p} :R \rightarrow R$. In some cases, a ...

**4**

votes

**0**answers

258 views

### Spectral sequences and Koszul complexes in Deformation Theory

I'm reading this paper of A. Vistoli and I have some questions about the discussion in page 5. This is the context (If you don't want to download the paper):
Let $A'$ be a noetherian local ring with ...

**2**

votes

**2**answers

227 views

### Factorisation of a biquadratic polynomial

Let $u,v\in\mathbb{Z},$ and let $f=X^4+uX^2+v.$ Let $p$ be a prime number, and let $r\geq 1.$
In a paper I'm reading, one can find the following result.
Proposition. If $f$ is reducible modulo ...

**5**

votes

**1**answer

245 views

### Can one prove that toric varieties are Cohen-Macaulay by finding a regular sequence?

It's well-known that if $P$ is a finitely generated saturated submonoid of $\mathbb{Z}^n$, then the monoid algebra $k[P]$ is Cohen-Macaulay (at the maximal ideal $m = (P-0)k[P]$). However, all proofs ...

**0**

votes

**2**answers

176 views

### Computing toric ideals via saturation and Groebner bases of toric ideals

About a month ago I asked this question on math.stackexchange and unfortunately there was no response. Perhaps someone here knows the answer.
Let $A \in \mathbb{Z}^{m \times n}$ be a matrix of full ...

**4**

votes

**0**answers

158 views

### Dimension of a commuting nilpotent variety

Fix $k$ an algebraically closed field, $n$ a natural number, and $\lambda=(\lambda_1,\ldots,\lambda_m)$ a partition of $n$. Let $A$ be any $n\times n$ nilpotent matrix with entries in $k$ whose ...

**1**

vote

**2**answers

162 views

### a net of quadrics and the corresponding intersection

Let $Q_i(i=1,2,3)$ be quadric hypersurface in $\mathbb{P}^4$. Consider a net of quadrics
$\Lambda=(Q_1,Q_2,Q_3)$.
I can't understand some part of proof of Corollary 2.8(p.11) in Stability of genus 5 ...

**1**

vote

**1**answer

356 views

### Study of convex polytopes via commutative algebra

Let $P \subset \mathbb{R}^d$ be any convex polytope with integral vertices, and let $M$ be the additive submonoid of $\mathbb{R}^{d+1}$ which is generated by $\{ (v,1) : v \in P \cap \mathbb{Z}^d \}$. ...

**1**

vote

**0**answers

97 views

### Submodul of finite ring extension

Let $R \hookrightarrow S$ be a finite extension of noetherian rings. Let $I \subseteq S$ be an $R$-submodule of $S$. Are there any sufficient criteria on $I$ such that it is in fact an ideal of $S$? ...

**1**

vote

**1**answer

167 views

### Direct image of an ideal sheaf along a blow-up

Suppose that $I\subseteq\mathbb{C}[x_0,\ldots,x_n]$ is a saturated homogeneous ideal. Let $\mathcal{I}\subseteq\mathcal{O}_{\mathbb{P}^n}$ denote the corresponding coherent ideal sheaf, and then let ...

**1**

vote

**0**answers

28 views

### Saturation of a subalgebra over the Tate-algebra inside the power series ring

Let $A$ be a discrete valuation ring and $\pi$ a uniformizer.
Over $A$ we consider the Tate-algebra
$$A\langle t \rangle =\{ f=\sum_{n=0}^\infty a_nt^n \mid a_n\in A, \lim_{n\to \infty} \lvert ...

**2**

votes

**1**answer

170 views

### The standard topology of a module over a noetherian local ring

Let $A$ be a noetherian local ring with maximal ideal $m$. One says that an $A$-module $X$ is discrete if for every $x\in X$, there is a natural number $n$ such that $m^n.x=0$.
My question is: Given ...

**2**

votes

**1**answer

162 views

### Name and references for a “twisted” addition in a ring

This question may seem a little unmotivated, but it actually isn't something that just occurred to me out of nowhere. It stems from a discussion I had the other day with a friend and is directly ...

**5**

votes

**2**answers

361 views

### Formal completion of the normal bundle

Let me for simplicity start with affine case. If $X=\operatorname{Spec}(A)$ is an affine variety $Z \subset X$ is a closed affine subvariety $Z=\operatorname{Spec}(A/I)$. What conditions are ...

**6**

votes

**2**answers

280 views

### Hochschild homology of upper triangular matrix algebra?

Let $K$ be a field and $A$ the associative unital $K$-algebra of all $n\times n$ upper triangular matrices with entries in $K$. What is $\dim_K$ of its hochschild homology $HH_k(A;A)$?
Is there any ...

**4**

votes

**2**answers

398 views

### intersection of finitely many maximal ideals

For what commutative rings with infinitely many maximal ideals we can say that the intersection of any combination of finitely many maximal ideals is not zero?
Obviously it holds for Dedekind domains ...

**0**

votes

**1**answer

117 views

### Does the going-up theorem hold between flat algebras?

Let $R$ be a commutative Noetherian ring with unit and $S$ a flat $R$-algebra. Does the going-up theorem hold between $R$ and $S$?

**7**

votes

**1**answer

446 views

### geometric interpretation and differences of Gorenstein rings, Complete intersections and regular rings

Let $R$ be a local Noetherian ring.
What is the geometric interpretation of:
1- Gorenstein rings
2- Complete intersections
3- Regular rings?
and how can I realize differences by geometric ...

**1**

vote

**0**answers

93 views

### Algebraic set given by sequence of polynomials

When working on some problem, I have end up with a following situation. Suppose
$P(z)=z^d+a_{d-1}z^{d-1}+\ldots+a_1z+a_0$ is a complex polynomial $d\geq2$ and that $\gamma$ and $\delta$ are non-zero ...

**3**

votes

**1**answer

244 views

### operations on ideals in a subring of number field

For three ideals $I, J$ and $K$ of a subring $R$ in a number field $L$,
does this equality hold in general?
$(I+J) \cap K = (I \cap K) + (J \cap K)$
I have no counterexample yet but I couldn't prove ...

**2**

votes

**0**answers

161 views

### K-theory and completion

I asked this question also on math.stackexchange. But maybe it's better to ask the Mathoverflow community.
I vaguely remember the existence of a statement that relates the $K$-theory (in the sense of ...

**5**

votes

**0**answers

60 views

### K-Theory and completion [duplicate]

I vaguely remember the existence of a statement that relates the $K$-theory (in the sense of Quillen) of a noetherian local ring $A$ with maximal ideal $\mathfrak{m}$ with the $K$-theory of the ...

**3**

votes

**2**answers

429 views

### An identity in an arbitrary commutative ring

This fact might be either trivial, wrong, or well known.
Let $R$ be a commutative ring. Let $u_1,\dots,u_{s-1},u_s\in R$ and $m,M\in R$. Let us assume that $m,M$ satisfy
$$(m-u_1) \dots ...

**4**

votes

**2**answers

208 views

### stability of linear systems of quadrics

A pencil of quadrics in $\mathbb{P}^n$ is a line in $\mathbb{P}^N$, where $N=\frac{n(n+3)}{2}$. So the space of pencil of quadrics is the Grassmannian $Gr(2,N+1)$. The group $SL_{n+1}(\mathbb{C})$ ...