All Questions
1,947 questions with no upvoted or accepted answers
0
votes
0
answers
181
views
A question on binary polynomials
This is probably a well-known result but I was not able to find a reference on my search. My question concerns general polynomials $f(x,y) \in \mathbb{Z}[x,y]$ such that $f$ cannot be written as a ...
- 26.9k
0
votes
0
answers
255
views
Image of critical points
Let $K$ be a field of characteristic $0$, $f:K^n\rightarrow K^n$ be an algebraic function, that is, $n$ polynomial functions in $n$ variables. Let $S$ be the set of critical points of $f$. If $K=\...
- 3,741
0
votes
0
answers
259
views
Ring algebraically closed in its completion.
First I would like to be clear about the definition, which I am having trouble finding.
What does: The local ring $A$ is algebraically closed in $B\supset A$. (e.g. for $B:=\hat{A}$, the completion ...
- 807
0
votes
0
answers
93
views
Ring of even characteristic.
Is possible to choose three units $u,v,w$ of a ring $R$ (not containing a field) with even characteristic
such that $u+v+w=0$.
Thanks in advance.
- 335
0
votes
0
answers
99
views
Example of a ring whose minimals are annihilators of idempotents?
I'm looking for examples† of rings with the property that for each
$P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$)
† other than domains!
- 189
0
votes
0
answers
104
views
Big eigenvalues of a special stochastic matrix
Given a matrix $M$ of size $n\times n,$ we write its different eigenvalues by $x_1,x_2,\ldots,x_m$ with $m\leq n$ such that $|x_1|>|x_2|>|x_3|>\cdots|x_m|,$ and call $x_2\doteq |\lambda_2|(M)....
- 105
0
votes
0
answers
123
views
Irreducibility of superelliptic curves
Let $k$ be an algebraically closed field of characteristic zero, let $a,d$ be integers, and let $f\in k[x]$ be a separable polynomial of degree $d$.
Question: a) Is the affine plane curve $y^a=f(x)$ ...
- 23
0
votes
0
answers
166
views
The intersection complex and the Cohen-Macaulay property
Let $\Delta:Y\rightarrow X$ a closed immersion of $k$-schemes of finite type and equidimensionnal.
We assume that $\Delta^{*}[-d]IC_{X}=IC_{Y}$, if $X$ is Cohen-Macaulay, does it imply that $Y$ is ...
- 3,472
0
votes
0
answers
355
views
Can we find a Groebner Basis?
I would like to ask the following. Given only the leading terms of an ideal $I$, namely the set $LT(I)$, is it possible to find a Groebner Basis of $I$? If not always, then when is it possible? We ...
- 1
0
votes
1
answer
468
views
Finite extensions of residue fields of Henselian DVRs
Let $K$ be an Henselian discrete valuation field such that its completion is separable over $K$. Let $F$ be its infinite residue field. Is it true that a finite extension of $F$ is a simple extension ...
- 2,022
0
votes
0
answers
245
views
Notation Problem, Fixed Rings and Fields
I am trying to make sense of the notation and certain sets in two articles by Annick Valibouze whose results I'm using for my bachelor's thesis, I hope it's relevant enough to merit an answer.
In one ...
- 119
0
votes
0
answers
354
views
abstract algebra for component wise operations on "vectors" or what it might be called
I have a quite tough problem to solve and need an algebra that allows to "vectors" following operations:
- multiplication between two vectors are componentwise that means v=(v1, v2, v3,...) multiplied ...
- 254
0
votes
0
answers
244
views
Properties of Gorenstein ideal
Fix an integer $k>4$. For any integer $r>0$, denote by $S_{r}:=\mathbb{C}[X_0,X_1,X_2,X_3]_{r}$ the vector space of degree $r$ polynomials in $X_i$ with coefficients in $\mathbb{C}$. Let $W$ be ...
- 1,040
0
votes
0
answers
87
views
Algorithm for computing basis of zero dimensional ring?
If given a zero dimensional ring over a field, for example, a polynomial ring $A=k[x_1,\ldots,x_n]/(f_1,\ldots,f_n)$ such that $A$ is 0-dimensional, is there an algorithm to compute a monomial basis ...
- 1,157
0
votes
0
answers
235
views
Power of ideals and exact sequences
Hello, I'm reading about analytic sheaves and I've a problem to understand something that's related with commutative algebra:
Let $\mathfrak{a}\subset R$ an ideal and $M$ an $R$-module. Then,
$\...
- 987
0
votes
0
answers
315
views
Definitions for Oddness
In the thread Even Xor Odd Infinities I defined odd models of Modular Arithmetic (MA) as models satisfying the axioms of MA and two first order statements. Even XOR Odd Infinities?
$O1) \forall x(x=0 ...
- 687
0
votes
0
answers
383
views
Pseudo-cauchy sequence and valuation
Let $k$ be a field and $x$ is transcendental over $k$. Can we construct a pseudo-cauchy sequence $(a_{i})$ convergent to $x$ with each $a_{i}$ is algebraic over $k$ and $k(a_{i})\subseteq k(a_{i + 1})$...
- 173
0
votes
0
answers
178
views
The transcendence degree of the algebras of invariants
Let $V_n,V_m$ be the vector $\mathbb{C}$-spaces of the binary forms of degrees $n,m$ considered as usual $SL_2$-modules. Let $I_{n,m}=\mathbb{C}[V_n \oplus V_m]^{SL_2}$ and $C_{n,m}=\mathbb{C}[...
- 301
0
votes
0
answers
103
views
Gauss-Newton for quotient functions
I'm optimizing a function of the form
$$
\sum \frac{ \|\mathbf{f_i}(x)\|^2 }{ g_i(x)^2 + h_i(x)^2 }
$$
where $x$ is a real vector, $\mathbf{f}(x)$ is a real vector, and $g(x)$ is a scalar. My first ...
- 561
0
votes
0
answers
194
views
A linear program related question
Dear all, recently, I encountered the following problem. It is closely related to the order of growth for UMD constants of all $n$-dimensional Banach lattice.
Let $\alpha^k \in (\alpha_1^k, \alpha_2^...
- 769
0
votes
0
answers
79
views
Computing maximum point for minimal function of a family of linear functions
Let $x \in S^n $ where $S^n = ${$ [x_1,x_2,...,x_{n+1}]\in \mathbb{R}^{n+1} \mid x \ge 0 , \sum x_i = 1 $} and let $f_i : I^n \to \mathbb{R}$ be a finite $m$-sized family of LINEAR functions such that:...
- 11
0
votes
0
answers
783
views
LP relaxation for ILP\IP (integer linear programming)
I am familiar with LP relaxation for ILP (or IP). Assume we concern with integer minimization problem, which we formalize using ILP; we then relax the ILP into LP and we say that the LP provides a ...
0
votes
0
answers
379
views
Completion of commutative rings.
Assume that $(R,\mathfrak{m})$ is a commutative local ring of equal characteristic zero. So $R$ contains the field of rationals. The well known $\mathfrak{m}$-adic completion of $R$ provides a ...
- 591
0
votes
0
answers
152
views
Kählerdifferentials and normal crossing divisors
Let $k$ be an algebraically closed field of arbitrary characteristic, $X$ a smooth surface over $k$, and $D_i \subset X$ be an regular, effective Divisor such that $D=\sum D_i$
has normal crossings ...
0
votes
0
answers
243
views
strict henselian and excellent henselian
Hello, everyone. I want to ask a problem about strict henselian ring.
Let $A$ be a strict henselian DVR.
Dose there exist subrings $A_{i}$ of $A$, such that $A=lim_{i} A_{i}$ and where $A_{i}$ are ...
- 1,921
0
votes
0
answers
428
views
flat morphism between regular local rings
Suppose $f: A \rightarrow B$ is a local homomorphism of local rings. Assume that $A$ and $B$ are noetherian, regular and $\mathrm{Spec} B \rightarrow \mathrm{Spec} A$ is quasi-finite. Is is necessary ...
- 153
0
votes
0
answers
346
views
Length of $\mathfrak{m}$-torsion module
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring and $M$ is an $R$-module such that $\mathfrak{m}^tM=0$ for some non-negative integer $t$. Then the length of $M$ is finite.
Is that right?...
- 259
0
votes
0
answers
236
views
On vanishing orders of an ideal via the restriction
Let $Y$ be a submanifold of a complex manifold $X$, and $a$ be an ideal on $X$ which does not vanish along the entire $Y$. Consider a point $\xi$ on $Y$, there are the vanishing order $ord_{\xi}a$ ...
- 320
0
votes
0
answers
87
views
Standard Notation for Monomial Orderings?
Is there a standard way to denote a particular lexicographic (resp. reverse lexicographic) monomial ordering using subscripts or superscripts? For example, I might want to refer to the lexicographic (...
- 326
0
votes
0
answers
118
views
sparsest cut always has solution
Hi!
How to prove that sparsest cut always has an optimal solution which is the cut for some vertex-subset.
Looks like it's should be a kind of fundamental theorem for sparsest cut. But I didn't ...
- 1
0
votes
0
answers
212
views
Homomophism from Koszul complex to the original ring
In an article, I encounter an isomorphism relation as follows:
Let S be a comm. ring, x an element in S. K[x,S] be corresponding Koszul complex. The article says "this is a classical isomorphism":
$...
- 61
0
votes
0
answers
773
views
Discrete valuation rings.
Given an algebraically closed field $\mathbb F$ of characteristic $p$, let $\mathbb A$ be a discrete valuation ring of characteristic zero having $\mathbb F$ as its residue field ( it does exist, but ...
- 1
0
votes
0
answers
166
views
Can the zero-degree part of $M_f \otimes_{S_f} N_f$ be identified with $M_{(f)} \otimes_{S_{(f)}} N_{(f)}$?
The isomorphism ${(M \otimes _ {S} N)} _ {f} = M _ {f} \otimes _ {S _ {f}} N _ {f}$ is well-known. Here, $S$ is a graded ring, and $M,N$ are graded $S$ modules.
Now, let $f$ be any homogeneous ...
- 945
0
votes
0
answers
551
views
sub ring of algebra over subfield
Let $k$ be a field and $k[a]$ an algebric extension.
If $A$ is a reduced commutative algebra over $k[a]$ and $B$ is a subring which is an algebra over $k$, then is the following true: if there exist ...
- 1
0
votes
0
answers
237
views
resolution of singular points on plane curves and base change
Let $k$ be a field and $C/k$ be an affine plane curve over $k$, namely $C = \mathrm{Spec}(A)$ for some $A = k[x,y]/(f(x,y))$, here $f(x,y) \in k[x,y]$ is an irreducible polynomial. Let $B$ be the ...
- 1,109
0
votes
0
answers
544
views
isomorphism between vector spaces and modules - Commutative Algebra
Hi, Let $M_i$ be A modules. Then we know that $Ass (\oplus M_i) = \bigcup Ass(M_i) $. We consider here isomorphisms between modules.
Now consider a stanley ...
- 287
0
votes
0
answers
254
views
What is Castelnuovo-Mumford regularity of this algebra?
Let $M=\mathbb{C}[f_1,f_2,\ldots,f_r]$ is finitely generated algebra, $f_i \in S:=\mathbb{C}[x_1,x_2,\ldots,x_n],$ $\deg(x_i)=1, 1<\deg(f_i)<99.$ Suppose that minimal free resolution of $...
- 301
0
votes
0
answers
198
views
why a reduced ring can be embedded into a sum of integral rings?
Hi,
the question is exactly
"why a reduced ring (commutative with 1) can be embedded into a sum of integral rings?"
Is this simply because in the normalization process we can have many irreducible ...
- 141
0
votes
0
answers
197
views
Existence of flat models of a smooth finite type algebra over $R((t))$
Let $k$ be a field, $R$ a $k$-algebra (of finite type if necessary),
$B$ an algebra of finite type over ring of the formal Laurent series $R((t))$, which is smooth.
Up to this generality, can one ...
- 51
0
votes
0
answers
183
views
Standard system of parameters and an example
Let $(R,m)$ be a local Noetherian ring. A system of parameters $\bf{x}$$:=x_{1}, \dots, x_{d}$ is a standard system of parameters if $(\bf{x})H^{i}_{m}(R/(x_{1}, \dots, x_{j}))=0$ holds for all non-...
- 113
0
votes
0
answers
165
views
Support sets along a ring homomorphism.
Let $(R,m)$ and $(S,n)$ be commutative noetherian local rings, and $f: R\rightarrow S$ be a local homomorphism (i.e., $f(m) \subseteq n$) with $S$ flat as $R$-module. If $M$ is a finite generated $R$-...
- 1,207
0
votes
1
answer
213
views
number of representations by sums of three squares (with coefficients)
There are formulas for counting the number of representations of a positive integer $N$ as a sum of three integer squares. What is a reference for
$$
\#\{(x,y,z)\in \mathbf{N}^3: 5^4 x^2+y^2+z^2=N\}
?$...
- 3,062
0
votes
1
answer
349
views
Log associahedra and log noncrossing partitions--raising ops and symmetric function theory for $A_n$ (references)
Where do the following three sets $[LA]$, $[ILA]$, and $[LN]$ of partition polynomials appear in the literature?
There are two sets of partition polynomials, not in the OEIS, that serve as the ...
- 10.5k
-1
votes
1
answer
555
views
Noetherianity assumptions in Hartshorne's book
It seems that noetherian assumptions are not necessary in many results by Hartshorne, in his book "Algebraic Geometry". How much is this true? Could you please give examples?
- 1,437
-2
votes
1
answer
187
views
behavior of multiplicity in exact sequences
Bruns-Herzog define multiplicity When the ring and module are not necessarily graded as $e(M)=e(gr_m(M))$, see B-H 4.6. I have two questions:
Question1. Many concepts in commutative algebra have ...
- 1,355
-2
votes
1
answer
151
views
Quadratic extension and prime ideals
Let $B/A$ be a quadratic Galois extension between local domains. Define ${\mathrm{Gal}}(B/A) = \{e,\sigma\}$.
Choose two prime ideals ${\frak P}_1, {\frak P}_2$ of $B$ such that ${\frak P}_2 = {\...
- 781
-4
votes
1
answer
251
views
What are the properties of 3-dimensional split-complex numbers?
I have often encountered claims that 3-dimensional numbers are impossible. But
it seems to me that $\mathbb{R}^3$ with Hadamard multiplication should in fact behave quite similar to split-complex ...
- 10.1k