**0**

votes

**0**answers

57 views

### Writing a module as a direct sum

Let $q_1, q_2, q_3 \in \mathbb{Z}[x,y]$ such that $q_1, q_2$ are algebraically independent and let $S$ be an algebra generated by $q_1, q_2, q_3$ over $F_p$. If writing $S$ as a module over $F_p ...

**1**

vote

**0**answers

133 views

### Intersections of ideals and nilpotence

Let $R$ be a polynomial ring over a field $k$, $R = k[x_1, \dots, x_n]$. Suppose $R'$ is an associative $R$-algebra and it has the property that there exists a degree $m<n$ monomial in the $x_i$'s ...

**7**

votes

**2**answers

117 views

### Differential operators between modules, $\mathcal{D}_A(M, M)$ necessarily a filtered, almost commutative ring?

See here. Does it follow immediately that $\mathcal{D}_A(M, M)$ as defined in the link is a filtered, almost commutative ring? How can I visualize this geometrically?

**24**

votes

**2**answers

565 views

### Equivalence of “Weyl Algebra” and “Crystalline” definitions of rings of differential operators between modules?

Let $B$ be a commutative $A$-algebra, and let $M$, $N$ be two $B$-modules. We can talk about the set of $A$-linear module homomorphisms $M \to N$, i.e. the set $\text{Hom}_A(M, N)$. Differential ...

**3**

votes

**2**answers

254 views

### Commutative von Neumann algebras and localizable measure spaces

This is not my subject so I apologize if my question is too obvious or understood from other pages.
I read some pages such as
Reference for the Gelfand-Neumark theorem for commutative von Neumann ...

**1**

vote

**0**answers

84 views

### A question about a specific inverse proposition of Combinatorial Nullstellensatz

From the Hilbert's Nullstellensatz, we have the following consequence which is usually called Combinatorial Nullstellensatz:
Let $F$ be an arbitrary field, and let $f = f(x_1,x_2,\cdots,x_n)$ be a ...

**4**

votes

**2**answers

184 views

### Transitivity of discriminant for flat algebras

Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...

**1**

vote

**1**answer

88 views

### integral closure of m-primary ideals

I need help with this excercise
Let $k[X_1,\ldots,X_d]$ be the polynomial ring in $X_1,\ldots,X_d$ over a field $k$, and let $F_1,\ldots,F_m$ be forms of degree $n$. Assume that ...

**2**

votes

**2**answers

120 views

### A question about “large” indecomposable injectives over commutative rings

Here is my question:
Does there exist an infinite commutative ring $R$ with identity with an indecomposable injective (unitary) $R$-module $M$ of larger cardinality than $R$ with the additional ...

**0**

votes

**0**answers

110 views

### book for help on problems with noetherian rings

Can you please introduce to me a book which would help me to prove the two following problems?
In a noetherian ring, every integrally closed ideal is unmixed.
Let $R$ be a noetherian ring, $P$ a ...

**0**

votes

**0**answers

95 views

### The universal property of ring of big Witt vectors

Let $X_1,X_2,\cdots$ be infinite many indeterminates. Define
\begin{equation*}
W_n = \sum_{d\mid n} d X_d^{n/d}.
\end{equation*}
A big Witt vector over a commutative ring $R$ is a sequence ...

**5**

votes

**2**answers

391 views

### Order of vanishing of an integer polynomial at a point

Let $f(x,y)$ be a polynomial with integer coefficients, and let $\alpha=(\alpha_1,\alpha_2)\in \mathbb{C}^2$ be a complex point. I want to show that $f$ cannot vanish at $\alpha$ to high order unless ...

**0**

votes

**0**answers

96 views

### Can it occur that $q^{ce}$ is a prime ideal (of $S$), while $q^{ce}\neq q $?

Let $R$ and $S$ be commutative rings (with $1$) and $f : R\to S$ be a ring homomorphism. For an ideal $I$ of $R$, set $I^e:=\langle f(I)S\rangle$ (called the extension of $I$ to $S$) and for an ideal ...

**23**

votes

**2**answers

704 views

### How slowly can a power of an ideal grow?

For a polynomial ideal $I\subset \mathbb{C}[x_1,x_2]$, let $D(I)$ be the smallest degree of any polynomial in $I$.
How slowly can $D(I^n)$ grow as a function of $n$? For example, if $D(I^n)\leq ...

**6**

votes

**1**answer

250 views

### Definitions of the module $R/(x_0^\infty,x_1^\infty,\ldots,x_{n-1}^\infty)$

There are several constructions of the Prüfer group $\mathbb{Z}/p^\infty$; here are two that are relevant for this question.
It can be constructed via the short exact sequence
$$
0 \to \mathbb{Z} ...

**0**

votes

**1**answer

80 views

### How to find ideals of finite length in a power series ring with special properties?

Let $A$ be the power series ring $\mathbb{C}[[x,y]]$.
Assume we are given two ideals $I,J$ of finite length in $A$ such that:
$xJ\subseteq I\subseteq J$
Is it possible to find ideals of finite ...

**1**

vote

**0**answers

157 views

### Separability of a simple ring extension

Assume $A=K[x,y]\subset K[x,y][w]=B$, $K$ is a field of characteristic zero, $w$ is integral over $A$ (so $B$ is a f.g. $A$-module), but $w$ is not in the field of fractions of $A$, and $B$ is an ...

**1**

vote

**1**answer

140 views

### local cohomology and radical of ideal

Let $R$ be commutative ring with identity, $M$ an $R$-module, and $I$ an ideal of $R$ . One defines $I$-torsion functor $Γ_I$ as: $\Gamma_I(M)=\bigcup_{n\in N} (0:_MI^n).$ When $R$ is Noetherian, ...

**0**

votes

**1**answer

109 views

### In what conditions every ideal is an extension ideal? Is every prime ideal extension of prime ideal?

Let $R$ and $S$ be commutative rings (with $1$), and $f : R\to S$ be a ring homomorphism. For an ideal $I$ of $R$, set $I^e:=\langle f(I)S\rangle$ (called the extension of $I$ to $S$). When $f$ is ...

**1**

vote

**1**answer

135 views

### M is an R-module which is not finitely generated. is it true that $\inf \{ i| H^i_I(M)\neq 0 \}\le ht_M I?$

Let $R$ be a commutative noetherian ring (with $1$), $I$ an ideal of $R$, and $M$, a finitely generated $R$-module such that $IM \neq M$. Then, by Theorem 6.2.7 of BRODMANN-SHARP's Local Cohomology ...

**4**

votes

**0**answers

84 views

### Effective Nullstellensatz and bounds on the nilpotency index of reduced ideal together with linear forms

Let $K$ be an algebraically closed field of characteristic $p>0$
and let $I\subset K[x_{1},\dots,x_{n}]$ be an ideal generated by
(homogeneous) polynomials of degree $d$. Assume that $I$ is ...

**0**

votes

**0**answers

60 views

### An additive question on polynomials

Consider $S\cup T=\{0,1\}^n$ where $S\cap T=\emptyset$.
Consider real multilinear (only monomials of form $x_ix_jx_k$) polynomials $P,Q$ such that:
$$Q(S)=0\quad Q(T)\neq0\quad P(S)\neq0\quad ...

**7**

votes

**0**answers

317 views

### Can every commutative ring of characteristic $p\in\mathbb P$ be written as the form $R/(p)$ with $R$ being a ring of characteristic $0$?

All rings here are associative, commutative and unital. By a ring of characteristic zero (resp. of characteristic $p$, for prime $p$) I mean a ring $A$ such that the canonical homomorphism $\mathbb ...

**1**

vote

**1**answer

89 views

### Conditions for the consistency of a system of affine polynomials

Let $f_1, f_2,\ldots,f_N$ be some affine polynomials. We consider the question if these polynomials have a common (affine) root. By homogenizing these polynomials, we can associate a projective ...

**0**

votes

**0**answers

89 views

### Flatness of a simple ring extension

Assume $A \subseteq B=A[b]$ are integral domains, $b \in B$ is algebraic over $A$ (but not necessarily integral over $A$), and $A$ and $B$ have the same field of fractions.
(Notice that $b=u/v$ for ...

**1**

vote

**0**answers

101 views

### Are finitely presented modules finitely presentable? [closed]

Over a ring $R$ we have a notion of finitely presented module, namely:
Definition 1 A module $F$ is finitely presented if there are $m$, $n$ positive integers such that $R^m\to R^n\to F\to 0$ is ...

**0**

votes

**0**answers

72 views

### Finding a set of generators of an ideal with certain property in $k[x_1, …, x_n]$

I am interested in the following problem, and I would appreciate any comments, inputs, answers, references! Let $k$ be a field. For each $1 \leq j \leq n$, let
$$
I_j = (x_j, u_{2}^{(j)}, ..., ...

**5**

votes

**1**answer

160 views

### discrete valuation ring and ring of witt vectors

Given a perfect field $F$ of prime characteristic the ring of Witt Vectors $W(F)$ is a discrete valuation ring. For example, $W(\mathbb{F}_p)$ is the ring of $p$-adic integers. Is it possible to embed ...

**1**

vote

**0**answers

104 views

### cohomlogy of Diagonal ring

Let $S=\bigoplus_{\underline n\in\mathbb N^r } S_{\underline n}$ be a standard multigraded ring over a local ring and M be a finitely generated $\mathbb N^r $-graded $S$-module. Let ...

**9**

votes

**0**answers

199 views

### Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?

See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background.
If ...

**1**

vote

**0**answers

107 views

### Free resolutions of affine (non-projective!) varieties

Say, you have an ideal $I$ of a polynomial ring $R = K\lbrack X_1,\ldots,X_n \rbrack$ over an algebraically closed field $K$ (you can assume $K = \mathbb{C}$). What does a minimal free resolution of ...

**0**

votes

**1**answer

143 views

### Change of grading used in the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring” by Eero Hyry

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I do not understand the following part in Lemma 1.1. here.
Let ...

**5**

votes

**1**answer

218 views

### Generalization of Krull dimension for commutative rings

In the paper How to construct huge chains of prime ideals in power series rings by B. Kang and P. Toan the Krull dimension of a commutative ring with $1$ is defined as follows:
Let $R$ be a ...

**10**

votes

**1**answer

214 views

### Intuition for thinking about $R$-module of Kähler differentials, universal receptacles, derivations?

Suppose $k$ is a field of characteristic zero, and $R$ is a $k$-algebra. The $R$-module of Kähler differentials $\Omega_{R/k}$ of $R$ over $k$ with generators $\{dr\}_{r \in R}$ is the module subject ...

**0**

votes

**1**answer

142 views

### Chow groups of rational varieties

Let $X$ be a smooth projective rational variety over a field $k$. Let $CH^i(X)$ denote the Chow group of codimension $i$ algebraic cycles on $X$ modulo rational equivalence. What can one say about ...

**0**

votes

**1**answer

112 views

### polynomial expression for counting number of integral points of a set

Let $v_i=a_ie_i\in\mathbb R^d$ and $w_i=b_ie_i\in\mathbb R^d$ for $i=1,\dots,d$ where $e_i$'s are unit vetcors and $a_i,b_i$ are positive integers. Let $$S=conv\{0,rv_i+sw_i:i=1,\dots,d\}.$$
Can we ...

**4**

votes

**0**answers

60 views

### Minimal rank of a permutation resolution of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$.
One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...

**2**

votes

**0**answers

65 views

### Question related to $h$-invariant of a form

Let $k$ be a field.
Given a form $f \in k[x_1, ..., x_n]$ of degree at least $2$, we define the
Schmidt rank, also known as the $h$-invariant, $h_k(f)$ to be the
least positive integer $h$ such that ...

**2**

votes

**1**answer

187 views

### A question about Complete Intersections

Suppose that $(A,\mathfrak{m})$ is a complete intersection and $\mathbf{x}$ is a minimal basis for $\mathfrak{m}$. Consider the Koszul homologies $H_\bullet(\mathbf{x},A)$. It is well-known that ...

**9**

votes

**1**answer

372 views

### Excellent rings

If A is an excellent commutative ring and G is a finite group of automorphisms of A, is the invariant subring A^G still excellent ? I think this is false -- because if not it would probably be written ...

**1**

vote

**1**answer

162 views

### finite generation of a certain type of subring

Let $k$ be a field, and let $R$ be a finitely generated $k$-algebra. (If it helps, you may assume $R$ is an integral domain.) Let $I$ be an ideal of finite colength. Note that $A:=k+I$ is a subring ...

**3**

votes

**0**answers

116 views

### Does there exist a continuous surjection? [closed]

Let $C$ be an irreducible projective cubic in $\mathbb{P}_2$ with a singular point $p$. So consider $f: \mathbb{P}_1 \to C$ defined as follows. Identify $\mathbb{P}_1$ with the set of lines in ...

**3**

votes

**2**answers

456 views

### When a smooth algebra is regular?

Let $A \subseteq B$ be noetherian integral domains, $A$ regular (=every localization at maximal ideal is a regular local ring) and $B$ is a smooth $A$-algebra. For the definition of a smooth algebra, ...

**2**

votes

**1**answer

140 views

### Finitely generated ordered monoids and noetherian subsets

(This question was asked a long time ago on MSE but got no answer so far...)
Let $E$ be an additively written cancellable commutative monoid with no non-trivial units. We furnish $E$ with the order ...

**0**

votes

**0**answers

79 views

### Lifting points of étale group scheme

Consider the following setting: let $(R,\mathfrak{m})$ be a Noetherian complete discrete valuation ring (with maximal ideal $\mathfrak{m}$) and let $K$ be its field of fractions. Now take $L$ be the ...

**3**

votes

**2**answers

200 views

### Do discrete valuation rings correspond to local rings of points in fibre?

Given projective curves $C$ and $C'$ and a surjective morphism $\varphi\colon C\to C'$, such that $Q\in C'$ is a smooth point and its fibre $\varphi^{-1}(Q)$ consists of smooth points.
Then ...

**3**

votes

**1**answer

248 views

### Castelnuovo-Mumford regularity in multigraded case

Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded ...

**2**

votes

**0**answers

73 views

### Newton polyhedron and product of ideals

Let $I$ be an ideal generated by monomials $\underline{x}^{\underline{a}_1},\ldots ,\underline{x}^{\underline{a}_s}$ and
$J$ be the ideal generated by $\underline{x}^{\underline{b}_1},\ldots ...

**2**

votes

**0**answers

66 views

### Geometric/algebraic interpretation of quadratic points of rank r

In the paper of Eckl/Puhklikov (http://arxiv.org/abs/1210.3715) the following terminology is introduced:
"
Let $X \subset Y$ be a subvariety of codimension 1 in a smooth quasiprojective
complex ...

**4**

votes

**1**answer

184 views

### Macaulay's example of prime ideals in $\mathbb C[X_1,X_2,X_3]$ having large number of generators

There is a famous example of Macaulay which shows that there are prime ideals of height two in $\mathbb C[X_1,X_2,X_3]$ having at least $l$ generators for any $l\ge 3$.
In Macaulay's words, the ...