All Questions
6,055 questions
0
votes
1
answer
243
views
Relation between Hilbert function and complete intersection ideals
Consider $T=k[x_1,\ldots,x_n]$ ( $k$ alg. closed and of char $k=0$), and consider the ideal $$I=(x_1,x^{a_2}_2,\ldots,x^{a_n}_n)$$
with $2\leq a_2 \leq\ldots\leq a_n$. I want to prove that $$\sum_{i=...
- 119
0
votes
0
answers
332
views
Krull dimensions and regular sequences
I am trying to understand if a certain condition on quotient rings is sufficient for a sequence to be regular. Here is the setting:
Let $\mathbb{C}[u_1,...,u_n]$ be the ring of regular functions on $\...
- 1,227
0
votes
0
answers
96
views
How to write the involution in the new coordinates?
Let $f= xy^3+y^4-x^2+xy$. Using the following codes in Maple,
f := xy^3+y^4-x^2+xy;
v := Weierstrassform(f, x, y, x0, y0);
I obtain the following result:
\begin{align}
& f_0 = {{ x_0}}^{3}+{{...
- 6,201
0
votes
0
answers
213
views
make me idempotent
$T_n$ be the full transformation semigroup on $X_n= \{1, 2, \cdots , n\}$.
$D_r =\{\alpha \in T_n: |im(\alpha)|=r\}$.
$E(D_r)$ is the set of all idempotents of semigroup $T_n$.
$support(\alpha)=\{...
- 109
0
votes
0
answers
106
views
Kelly's theorem for quadratic polynomials
Let $f_1, \ldots, f_m$ be homogeneous irreducible quadratic polynomials in $\mathbb{C}[x_1, \ldots, x_n]$.
Assume that these polynomials are pairwise coprime.
Denote $P:= f_1 \cdot f_2 \ldots \...
- 2,576
0
votes
0
answers
145
views
If $F(x_1,0,\ldots,0)=(x_1,0,\ldots,0)$, then $F$ is bijective?
Let $k$ be an algebraically closed field of characteristic zero and let $f_1,\ldots,f_n \in k[x_1,\ldots,x_n]$ have an invertible Jacobian, namely, the determinant ot their Jacobian matrix belongs to $...
- 2,837
0
votes
0
answers
136
views
Amalgamated free-product of semigroups (definition)
I am self-studying some concepts including the title one. I reached the definition of an amalgamated free-product ${S_1}{*_U}S_2$ where $[S_1, S_2; U, w_1,w_2]$ is an amalgam of semigroups. Let $S_1=\...
- 233
0
votes
0
answers
196
views
Generalizations of 'Injectivity on one line'
The main result of J. Gwozdziewicz in this paper says the following:
"Let $k$ be an algebraically closed field of characteristic zero, and let $f:k[x,y] \to k[x,y]$, $(x,y) \mapsto (p,q)$, be a $k$-...
- 2,837
0
votes
0
answers
53
views
a generalization of group (monoid with order-by-order invertible elements)
Fix a filtered monoid, $H=H_0\supsetneq H_1\supsetneq H_2\supsetneq\cdots$. Suppose for any $h\in H$ and any $n\in \Bbb{N}$ exists $h_n\in H$ such that $h\cdot h_n\in H_n$ and $h_n\cdot h\in H_n$. If ...
- 2,232
0
votes
0
answers
202
views
finishing the proof of artin approximation
At the end of the proof of Artin's approximation theorem, and using all his notation, he reduces to finding a solution $y\in A$ such that
$$y\equiv\overline y\mod \mathfrak m^c$$
$$\tag{*}f(y)\equiv0\...
- 1,217
0
votes
0
answers
242
views
Quotient by augmentation ideal
Let $p$ be a prime number. Denote by $\mathbb{Z}_p$ the ring of $p$-adic integers and let $R = \mathbb{Z}_p [[X_1, \ldots, X_n]] / (f_1, \ldots, f_d)$.
Assume that a finite abelian group $G$ of order ...
- 183
0
votes
0
answers
296
views
Union of varieties
Let $Q_1, \ldots, Q_k$ and $P_1,\ldots, P_m$ be irredicable homogenous polynomials in $\mathbb{C}[x_0,\ldots, x_n]$ such that $V(Q_1, \ldots, Q_k) \subseteq \cup_i V(P_i)$. Here $V$ is projective ...
- 2,576
0
votes
0
answers
100
views
Solutions of the linear equation from K[[X_1,X_2,X_3]] to K[[X_1,X_2]]
Let $A_3 := K[[X_1,X_2,X_3]]$ be a three-variable formal power series ring over a field $K$. We consider a linear equation
$(\sharp) \phantom{aa} a_1(X_1,X_2,X_3)Y_1 + \ldots + a_n(X_1,X_2,X_3)Y_n = ...
- 563
0
votes
0
answers
303
views
For which monic irreducible $f \in \mathbb{C}[x,y][T]$, $\mathbb{C}[x,y][T]/(f)$ is a UFD?
Let $f=f(T) \in \mathbb{C}[x,y][T]$ be a monic irreducible polynomial:
$f=T^n+a_{n-1}T^{n-1}+\cdots+a_1T+a_0$,
$a_j \in \mathbb{C}[x,y]$, $0 \leq j \leq n-1$.
Denote $B=\mathbb{C}[x,y,T]/(f)=\mathbb{C}...
- 2,837
0
votes
0
answers
213
views
For which $f \in \mathbb{C}[x,y][T]$, all irreducible elements of $\mathbb{C}[x,y]$ remain irreducible in $\mathbb{C}[x,y,T]/(f)$
Let $f=f(T) \in \mathbb{C}[x,y][T]$ be a monic polynomial:
$f=T^n+a_{n-1}T^{n-1}+\cdots+a_1T+a_0$,
$a_j \in \mathbb{C}[x,y]$.
Denote: $A=\mathbb{C}[x,y]$ and $B=\mathbb{C}[x,y,T]/(f)=\mathbb{C}[x,y][...
- 2,837
0
votes
0
answers
309
views
Proof of Krull's intersection theorem with Taylor expansion
I asked this question last year in MSE, but I didn't get an answer.
I took a commutative algebra course last semester (using Kaplansky's book), and I learned about Krull's intersection theorem. In ...
- 2,215
0
votes
0
answers
101
views
Spherical Rings
My question is concerned with filtered rings. It is a classical result that if $R$ is a finitely generated commutative ring graded by a semigroup $S$ then $S$ is also finitely generated.
The reverse ...
- 501
0
votes
0
answers
81
views
A quaternion x generates a left ideal of rank 2 if and only if x, ix and jx are linearly dependent?
I am trying to understand the construction of Artin and Mumford of a non-rational unirational threefold in ([1], p.90).
Assume $S$ is a smooth projective surface over $\mathbb{C}$ with a smooth ...
- 1,025
0
votes
0
answers
75
views
Homomorphic image of $B_{\lambda}^o(S)$ is the Brandt $\lambda^o$-extension of some monoid with zero
Let $S$ be a monoid with zero and $I_{\lambda}$ be an indexed set, then $B_{\lambda}(S) = \{ (\alpha, s , \beta ) : \alpha , \beta \in I_{\lambda}, s\in S \} \cup \{0\}$ is a semigroup and $J = \{ (\...
- 143
0
votes
0
answers
94
views
Is the tensor product of two commutative semiprime Q-algebras semiprime?
A ring is semiprime if it has no non-zero nilpotents. Let $Q$ denote the rational numbers and $A,B$ be a pair of commutative semiprime $Q$ algebras. Is $A\otimes_Q B$ semiprime? It is well known that ...
- 383
0
votes
0
answers
251
views
"Strong Going-Down" Theorem
Let $\iota \colon A \subset B$ be a finite integral extension between domains. Suppose that $A$ is UFD, so $A$ is an integrally closed domain.
$A$ and $B$ may not be noetherian ring.
Choose a prime ...
- 781
0
votes
0
answers
112
views
$F$-pure threshold of an $F$-pure ideal
According to this reference an elliptic curve is $F$-pure if and only if the $F$-pure threshold of its defining ideal is $1$. Does there exist an $F$-pure local ring $R=A/\mathfrak{a}$ such that $\...
- 591
0
votes
0
answers
289
views
Quotient of Cohen-Macaulay ring
Let $A$ be a Cohen-Macaulay ring, and $I$ an ideal of $A$.
What can we say about $\operatorname{depth}(A/I)$?
I know that $\operatorname{depth}(A/I)\le \dim(A/I)$.
- 359
0
votes
0
answers
138
views
Properties of a subring of a 'completion' of k(X_1, X_2, ..., X_n)
I'm looking for a reference in commutative algebra for the properties of the ring made of polynomials in $n$ indeterminate over a field $k$ with "real exponents".
I don't even know the name of this ...
- 101
0
votes
0
answers
168
views
In commutativity theorems in ring theory
Suppose that $R$ is a ring such that for any $x\in R$ there exists $1<n(x)\in \mathbb{N}$ such that $x^{n(x)}-x\in Z(R)$. Prove that $R$ is commutative or if it is not commutative, then the ideal ...
- 221
0
votes
1
answer
109
views
$0 :_M I^n$ is finitely generated for all $i\ge 1$?
I see the remark that:
"Let $R$ be a Noetherian commutative ring, $M$ an $R$-module and $I$ an ideal of $R.$ Assume that $0 :_M I$ is finitely generated. Then $0 :_M I^n$ is finitely generated for all ...
- 53
0
votes
0
answers
125
views
Embedding a cancellative monoid into another in such a way that $|X-x|=|X|$, where $X$ is a fixed finite set and $x\in X$
Preliminaries.
Let $\mathbb A = (A, +)$ be a possibly non-commutative semigroup. For $X, Y \subseteq A$ we set
$$
X - Y := \{a \in A: a + y \in X\text{ for some }y \in Y\},
$$
which is just the usual ...
- 10.5k
0
votes
0
answers
57
views
Bass' stable range condition for principal ideal domains [duplicate]
Do you know a characterization of commutative rings $R$ whose every prime factor ring of $R$ is a principal ideal domain?
- 321
0
votes
0
answers
274
views
if 0→A→A⊕B→B→0 is an exact sequence of finitely generated modules over a commutative Noetherian ring, then the exact sequence does split [duplicate]
Here, Martin Brandenburg says it is not true that "Every short exact sequence of the form $0 \to A \to A \oplus B \to B \to 0$ splits." Then Mohan says in comments that "As a positive result,
If $...
- 1,355
0
votes
0
answers
165
views
on the ``generic" modules of finite length (skyscrapers)
Let $R$ be a local or graded ring. (If it helps, can assume the ring is "good", e.g. $R=k[[x_1,..,x_p]]$, where $k$ is a field of zero characteristic.)
Let $M$ be a finitely generated $R$-module ...
- 2,232
0
votes
0
answers
82
views
grade of ideals in non-noetherian rings
Let $R$ be a commutative ring with unity, and $M$ an $R$-module. Assume that $I$ and $J$ are finitely generated ideals and $K$ another ideal of $R$. Let $\textbf{x}$ be a sequence of generators of $I$...
- 1,355
0
votes
0
answers
109
views
Non-local differentially smooth algebra
Let $A$ be a noetherian commutative algebra over a perfect field $k$.
The algebra $A$ is said to be differentially smooth over $k$ if
(1) $\Omega^1_{A/k}$ is a projective $A$-module, and
(2) the ...
- 657
0
votes
0
answers
308
views
Basic question about power series and complete group algebras
This is a pretty basic question, but I suspect it might be too exotic for math.stackexchange.
Let $\mathbb{Z}_p$ be the $p$-adic integers. For free pro-$p$ group $F_r$ of rank $r$, we can consider ...
- 10.7k
0
votes
0
answers
197
views
Name of some commutative ring akin to $p$-adics
I need help in identifying the naming convention of some commutative ring described below.
Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...
0
votes
0
answers
301
views
Irreducible component of a scheme over a dvr
Let $\mathcal M$ be a (reduced) quasi-projective scheme over a dvr (of mixed caracteristics), $R$. Suppose that the generic fiber $\mathcal M_{\eta_R}$ is (nonempty) smooth and irreducible of ...
- 155
0
votes
0
answers
282
views
Proving the algebraic independence of certain elements
Let $k$ be a field of characteristic zero and $R$ be the polynomial ring $k[x_1,...,x_n,t_1,...,t_n]$. Let $P_i = (a_{i1}:a_{i2}:a_{i3})$ be $n$ points in the projective plane over $k$, such that not ...
0
votes
0
answers
63
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 [...
- 11
0
votes
0
answers
177
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 ...
- 25.6k
0
votes
0
answers
112
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 ...
- 1,997
0
votes
0
answers
151
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 ...
- 565
0
votes
0
answers
176
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 ...
- 2,837
0
votes
0
answers
331
views
Idempotent ideal in ring of continuous functions
Is there any equivalence conditions under which an ideal $I$ in ring of continuous functions be be an idempotent ideal?
- 1
0
votes
0
answers
145
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 ...
- 445
0
votes
0
answers
238
views
How to show integrally closed implies topologically unibranch
On p.52 of Mumford's book Algebraic Geometry: Complex projective varieties, he states that
$$\mathcal{O}_{x.X} \text{is integrally closed} \ \Rightarrow X \ \text{is topologically unibranch at } \ ...
- 953
0
votes
0
answers
261
views
Local-cohomology and Hom
Let $f:R\to S$ be a flat homomorphism of commutative Noetherian rings. "Flat Base Change Theorem", compares the local cohomology modules $H^i_a(M) \otimes_R S$ and $H^i_{aS} (M\otimes_R S)$ for $i ∈ ...
- 1,355
0
votes
0
answers
717
views
Complete Intersection
Let $I$ be an ideal of the polynomial ring $P=K[x_{1},...,x_{n}]$ that is generated by degree two polynomials ${f_1,...,f_k}$.
The zero set $\mathcal{Z}(I)$ is isomorphic to an affine space of
...
- 1
0
votes
0
answers
124
views
Is there an explicit way to glue a stable map in projective space by writing down the family of maps explicitly in terms of polynomials?
Let $v_1:\mathbb{P}^1 \longrightarrow \mathbb{P}^2$
and $v_2:\mathbb{P}^1 \longrightarrow \mathbb{P}^2$ be two holomorphic maps
of degree $d_1$ and $d_2$ respectively. Suppose they agree at some ...
- 3,245
0
votes
0
answers
197
views
Cohen-Macaulay fibers
Let $Y$ be a set of points in $\mathbb{P}^n$. Then we can write a resolution
$$0\rightarrow P_n \rightarrow \cdots \rightarrow P_0\rightarrow \mathcal{O}_Y$$
where each $P_i=\bigoplus_j\mathcal{O}_{\...
- 39
0
votes
0
answers
166
views
For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD?
For which pairs of distinct positive primes $p$ and $q$, the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\sqrt{pq}]$ is a UFD? I've proved that neither $p$ nor $q$ can be congruent to $1$ modulo $...
- 403
0
votes
0
answers
118
views
Maximal elements for ideals and subrings ordered by inclusion with fixed number of minimal generating polynomials
Let $R=\mathbb{R}[X_1,\dots,X_n]$, and
$$\mathfrak{I}_d=\{ \text{ideals for which there is minimal generating system with $d$ elements} \}\setminus \{\text{ ideals generated by $d$ monomials}\}$$
...
- 1,256