**-3**

votes

**0**answers

46 views

### Why is a principal prime ideal of $\mathrm{PID}[x]$ not maximal? [migrated]

Let $R$ be a PID and let $f(x)\in R[x]$ be an irreducible primitive polynomial. I want to show that the prime ideal $(f)<R[x]$ is not maximal. It would be enough to find a prime $p\in R$ such that ...

**1**

vote

**1**answer

156 views

### symmetric algebra of an ideal and syzygies

Let $(R,\mathfrak{m})$ be a Cohen Macaulay local ring and $I=(a+1,\ldots,a_g,a_{g+1})$ an almost complete intersection ideal of codimension $g.$ Let $R^k\longrightarrow R^{g+1}\longrightarrow ...

**3**

votes

**2**answers

406 views

### Artin/Popescu approximation for (some) big rings

Fix a prime number $p$. Let $A = \overline{\mathbf{Z}_p}$ be the integral closure of the $p$-adic integers $\mathbf{Z}_p$ in some fixed algebraic closure of its fraction field, and let $B$ be the ...

**2**

votes

**1**answer

372 views

### Two-variable polynomials, irreducible as formal power series

Let $k$ be a field and $f\in k[a,b]$ an irreducible two-variable polynomial, $B := k[a,b]/(f)$ and $C$ the integral closure of $B$ in its fraction field.
I call $f$ good if it is irreducible in the ...

**2**

votes

**2**answers

106 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.
$\bf{Proposition. }$If $f$ is reducible ...

**0**

votes

**0**answers

71 views

### Profinite Local Ring inside Polynomial Ring

This is a "technical" question that I came across in my research.
Let $A = \textbf{Z}_{p}[\![t_1, \cdots, t_a ]\!]<z_1, \cdots, z_b>$ be the $(p, t_1, \cdots, t_a)$-adic completion of the ...

**2**

votes

**1**answer

100 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 ...

**1**

vote

**1**answer

456 views

### common roots of bivariate polynomial equations

Let $f(x,y)=0$ and $g(x,y)=0$ be bivariate polynomial equations where the polynomials have the same degree, say, $N\geq 3$. Furthermore, both of them have the same terms but different coefficients. ...

**0**

votes

**0**answers

30 views

### Depth of multigraded modules

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

**0**

votes

**0**answers

77 views

### How to show non-existence of elements in the intersection of two ideals?

Given l, k any two natural numbers, define
$I_1 =\langle y^{l+2k}, (x+y)^{3l+2k} \rangle: x^{l+2k} + \langle y^{2l+3k}, (x+y)^{3l} \rangle: x^{l+2k}; $
$I_2 = \langle x^{l+k} \rangle.$
I want to ...

**0**

votes

**1**answer

150 views

### Initial ideal of k-th power of an ideal

Hi,
Let $I$ be an ideal in a polynomial ring $S = k[x_1, \ldots, x_n]$, where $k$ is an algebraically closed field of characteristic zero. Fix a term order on
$S$ (e.g. a lexicographic order) and ...

**6**

votes

**1**answer

429 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 ...

**64**

votes

**11**answers

3k views

### Can a non-surjective polynomial map from an infinite field to itself miss only finitely many points?

Is there an infinite field $k$ together with a polynomial $f \in k[x]$ such that the associated map $f \colon k \to k$ is not surjective but misses only finitely many elements in $k$ (i.e. only ...

**7**

votes

**1**answer

158 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

76 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

**1**answer

134 views

### for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital.
Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...

**-1**

votes

**0**answers

60 views

### showing that a set of linear forms is closed (Bruns and Herzog, Theorem 4.2.12) [migrated]

Let $k$ be an infinite field and $R$ a homogeneous $k$-algebra, i.e. a $k$-algebra that is generated by linear forms. Let $s = \sup\left\{\dim_k h R_{n-1} : h \in R_1\right\}$, where $R_i$ denotes the ...

**10**

votes

**1**answer

173 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 ...

**1**

vote

**2**answers

129 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 ...

**0**

votes

**0**answers

10 views

### Equating coefficients [migrated]

Heading
Excuse me,i don't know how to deal with this problem,i try it for all time of last night,
this equation is on "Concrete Mathematics" page 200:
d(n) is the number of derangements,e^z is the ...

**0**

votes

**0**answers

10 views

### What is the maximal ideal of $z[t,t^{-1}]\otimes Q$? [migrated]

I know the $z[t,t^{-1}]$ is a localization of $z[t]$.But I do not know the maximal ideal of $z[t,t^{-1}]\otimes Q$? Many thanks!

**1**

vote

**1**answer

96 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 ...

**-1**

votes

**0**answers

51 views

### Surjectivity of $f\colon M\rightarrow \Gamma_{pR_p}(M_p)$

Let $R$ be a Noetherian ring and let $M$ is finitely generated $R$-module.Suppose $p$ is a minimal prime in $\text{Supp}_RM$. Then $f\colon M\rightarrow \Gamma_{pR_p}(M_p)$ that $f(m)=m /1 $ is ...

**5**

votes

**1**answer

359 views

### Resolution of a module as an $A_\infty$ module over resolution of an algebra

The following question looks like a basic question on resolutions over commutative rings, unfortunately I was not able to find a reference.
Let $A$ be a regular commutative noetherian ring (and ...

**0**

votes

**1**answer

76 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 ...

**1**

vote

**0**answers

43 views

### For Finite Dual when is $(A \otimes A)^o = A^o \otimes A^0$?

Let $A$ be any $k$-algebra. The finite dual or restricted dual of $A$ is
$$
A^o = \{f \in A^* ~ | ~ f(I)= 0, \text{ for some ideal } I \subseteq A, \text{ such that } \text{dim}_k(A/I) < \infty\}.
...

**38**

votes

**20**answers

8k views

### Errata for Atiyah-Macdonald

Is there a good errata for Atiyah-Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists inaccuracies ...

**1**

vote

**0**answers

150 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 ...

**2**

votes

**2**answers

202 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 ...

**4**

votes

**6**answers

950 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 ...

**2**

votes

**1**answer

96 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 ...

**1**

vote

**1**answer

327 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 \}$. ...

**3**

votes

**1**answer

639 views

### Serre condition $(S_n)$

We know that a finitely generated $R$-module $M$ satisfies the $(S_n)$ condition if $$\operatorname{depth} M_p \geq \min(n,\dim M_p)$$ for every $p\in \operatorname{Spec}R$.
It's well known that ...

**2**

votes

**1**answer

430 views

### Minimal prime divisors (MinAss R)

Hello All,is This conclusion true?
If $(R,m)$ is a local ring and $ Min Ass R=Ass R$ then can we conclude that $Min Ass \hat{R}=Ass \hat{R}$? ($\hat{R}$ is $m$-adic completion of $R$)
...

**1**

vote

**0**answers

67 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 ...

**3**

votes

**1**answer

176 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 ...

**5**

votes

**1**answer

198 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 ...

**2**

votes

**5**answers

412 views

### Example of locally complete intersection varieties which are not smooth and not complete intersection

Hi
Let $V$ be an affine or projective variety. Recall that $V$ is a local complete intersection (l.c.i) if all its local rings are complete intersection. Also recall that $V$ is a complete ...

**11**

votes

**5**answers

2k views

### Local complete intersections which are not complete intersections

The following definitions are standard:
An affine variety $V$ in $A^n$ is a complete intersection (c.i.) if its vanishing ideal can be generated by ($n - \dim V$) polynomials in $k[X_1,\ldots, X_n]$. ...

**3**

votes

**1**answer

240 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 ...

**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 ...

**2**

votes

**3**answers

267 views

### Jacobson ring = a ring whose nilradical and Jacobson radical coincide?

In Wikepedia (Nilradical), It claims that "A ring is called a Jacobson ring if the nilradical coincides with the Jacobson radical." Here the word "ring" means a commutative ring.
However, I remember ...

**3**

votes

**2**answers

267 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 ...

**-1**

votes

**0**answers

50 views

### Prime ideals of Z[x] [migrated]

how to build three prime ideals of Z [x] (P_1, P_2, P_3) as P_1 is strictly included in P_2 and P_2 and strictly included in P_3?

**2**

votes

**2**answers

237 views

### Generic methods to check irreducibility of polynomials in $K[[X,Y]]$

I usually find it difficult to check irreducibility of polynomials in $K[[X,Y]]$ ($K$ algebraically closed). Does anyone know about generic methods that can be used ? And especially of ones that can ...

**1**

vote

**1**answer

122 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 ...

**-2**

votes

**1**answer

218 views

### Can you overcome the 6th degree obstruction?

I read and am still thinking about a 3-year old paper from the Danish-Norwegian "Niels Abel Journal". Two authors, named Somethingson (not Jacobson) and another Somethingelseson (still not Jacobson), ...

**0**

votes

**1**answer

106 views

### Projective Modules/Algebras: decomposition of linear functions, and the rank formula

Let $A$ be a ring, $B$ a finite projective $A$-algebra, and $C$ a finite projective $B$-algebra. We can show that $C$ is also finite and projective when regarded as an $A$-algebra (by, for instance, ...

**-3**

votes

**1**answer

197 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 ...

**0**

votes

**1**answer

64 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,$ ...