All Questions
6,057 questions
2
votes
0
answers
244
views
Hypermodulus and what mathematical objects have it
When researching divergent integrals, I decided to introduce a concept of "modulus" or "determinant" of divergent integral (and series). Basically, it is the exponent of the real ...
- 10.1k
121
votes
5
answers
13k
views
What do epimorphisms of (commutative) rings look like?
(Background: In any category, an epimorphism is a morphism $f:X\to Y$ which is "surjective" in the following sense: for any two morphisms $g,h:Y\to Z$, if $g\circ f=h\circ f$, then $g=h$. Roughly, "...
- 5,039
1
vote
0
answers
126
views
Strict henselianization of complete intersections
As far as I understand (and tbh for my purposes), one of the main points of strict henselisation of a local ring is that it computes the stalk at a point of a scheme in the étale topology. In the ...
- 4,418
2
votes
0
answers
166
views
Theorem on formal functions when the initial data is a proper map of formal schemes
Let $\pi: X \to S:=\mathrm{Spf}\text{ } A$ be a proper morphism of $\mathbb{Z}_p$-admissible formal schemes and $\mathcal{F}$ be a coherent sheaf on $X$.
Set $S_0=\{x\}$ be a closed point of $S$ and $...
- 1,066
2
votes
0
answers
134
views
Jacobian ideal as primary idea;
Let $R = \mathbb{C}\{x_1, \dots,x_n\}$ be the ring of germs of analytic functions and let $f \in R$ be a homogeneus polynomial of degree $p$ such that $\sqrt{Jac(f)}=\langle x_1, \dots, x_{n-1}\rangle ...
1
vote
0
answers
259
views
Computer algebra programs that can solve polynomial systems on algebraically closed fields besides MAGMA
I was wondering which computer algebra programs out there can solve polynomial systems on the algebraic closure of $\mathbb{Q}$ analytically and efficiently.
So far, I only found MAGMA with its ...
- 63.9k
1
vote
0
answers
65
views
Bertini type result for torsion-freeness
Let $R$ be a local, regular $\mathbb{C}$-algebra and $\mathfrak{m}$ be the maximal ideal. Let $M$ be a finitely generated torsion-free $R$-module. Suppose there exists $f \in \mathfrak{m}$ such that $...
- 1,593
3
votes
0
answers
152
views
question about Sinnott's proof of the Ferrero-Washington Theorem
I'm currently reading the paper "On the $\mu$-invariant of the Γ-transform of a rational function" by W Sinnott. In this paper, he gives an alternate proof that $\mu=0$ for abelian number ...
- 1,949
2
votes
1
answer
323
views
Coprime multivariate polynomials
Let ${\bf R}$ be a gcd domain, $n \geq 2$, $k \in \mathbb{N}^*$, and $f,g \in
{\bf R}[X_1,\ldots,X_n]$. Supposing that $f$ and $g$ are coprime in ${\bf R}[X_1,\ldots,X_n]$, that is, $\gcd(f,g)=1$, ...
- 7,893
6
votes
1
answer
312
views
Prove that $\overline{a}_{11}$ is a prime element in $R$
Consider the affine space given by four $2\times 2$ matrices, i.e., $\mathbb{A}^{16}\cong M(\mathbb{C})_{2\times 2}^4$. Now, consider the algebraic set $V$ given by the vanishing of the relation $AB-...
- 839
2
votes
1
answer
86
views
An exercise in fuzzy logics built from a t-norm [closed]
Consider the following t-norm:
$$
a * b = \begin{cases}
2ab, &\quad\text{if }a, b\le1/2\\
\min\{a, b\} &\quad\text{otherwise}
\end{cases}
$$
We build from it the $\...
- 421
10
votes
4
answers
2k
views
Formal power series is Taylor expansion of rational function iff Hankel determinants vanish?
Let $$ u(T)=\sum_{n = 0}^\infty a_nT^n$$ be a formal power series over a field $K$. Then why does $u(T)$ lie in $K(T)$ (i.e. is the Taylor expansion of a rational function) if and only if there is an $...
- 2,856
0
votes
0
answers
72
views
Which power series in $\mathbb{Z}_p[[T]]$ are rational functions? [duplicate]
Consider the power series ring $\mathbf{Z}_p[[T]]$, where $\mathbf{Z}_p$ denotes the $p$-adic integers. I'll call a function $f(T) \in \mathbf{Z}_p[[T]]$ a rational function if I can write it as:
$$f(...
- 1,949
5
votes
1
answer
774
views
Is the ring of power series with coefficients in a field free as a module over the polynomials subring? [closed]
Is the ring of power series with coefficients in a field free as a module over the polynomials subring?
- 12.9k
9
votes
1
answer
986
views
Tensor product of rings of Witt vectors
Let $A$, $B$, and $C$ be commutative rings such that $A\otimes_C B$ makes sense. If $W_n(A\otimes_C B), W_n(A), W_n(C),$ and $W_n(B)$ are the length $n$ Witt vectors of the rings $A,B,C,$ and $A\...
- 63.9k
4
votes
1
answer
202
views
On presentations of universal rings of deformations
Let $k$ be a finite field of characteristic $p$, and $R$ a complete local noetherian algebra with residue field $k$. It is well known that $R$ has a natural structure of an algebra over the ring Witt ...
- 37k
9
votes
1
answer
431
views
Is $\mathbb{Z}[i,\varphi]$ a Euclidean domain?
I've already asked this question on Math StackExchange but having gotten no responses this may be more obscure than I had initially believed.
Here $\varphi=\frac{1+\sqrt{5}}{2}$. It's true that $\...
- 465
1
vote
0
answers
155
views
Homogeneous deformation of isolated singularities
Let $f\in \mathbb{C}[x_1, \dots,x_n]$ be a homogeneous polynomial of degree $p$ and let $F \in \mathbb{C}[x_1, \dots,x_n,t]$ be a polynomial such that $F(x_1, \dots, x_n,0)=f$, for every $t_0$ we have ...
2
votes
4
answers
2k
views
Generators of a maximal ideal of $k[X_1,\cdots,X_n]$
Given $k$ an algebraically closed field, I know that that a maximal ideal $\mathfrak{m}$ of $A = k[X_1,\cdots,X_n]$ is just a $\langle X_1-a_1,\cdots,X_n-a_n \rangle $ (Nullstellensatz).
Knowing that, ...
- 4,713
2
votes
1
answer
331
views
Example of non vanishing Ext
Let $R$ be a commutative Noetherian ring and $I$ is a proper ideal of $R$. suppose that $M$ is a f.g. $R$-module.
$\DeclareMathOperator\Ext{Ext}$I'm looking for an example that has this property:
$$\...
- 533
1
vote
1
answer
174
views
Completion reducing to localization on Noetherian rings
It is quite easy to show that if $A$ is a Dedekind domain and $\mathfrak{p}\in \operatorname{Spec} A$, then if $A_{\mathfrak{p}}$ is the completion of $A$ at $\mathfrak{p}$ and $A_{(\mathfrak{p})}=(A\...
- 675
0
votes
0
answers
93
views
In $\mathbb{Z}[G]$, $G\cong \mathbb{Z}^r$, does $f\cdot g\geq 0$ imply $f\geq0$?
Let $G=\mathbb{Z}^r$ be a free abelian group, and $\mathbb{Z}[G]$ be the group ring of $G$. Define a partial ordering $\leq$ on $\mathbb{Z}[G]$ by
$$\sum_{g\in G}n_g[g]\leq\sum_{g\in G}n'_g[g]\iff n_g\...
- 2,902
1
vote
0
answers
123
views
Clarification about theorem on vanishing polynomials
The theorem below is from page 3 in the this paper on polynomials in $\mathbb{Z}_m[x]$.
Let $F$ be a polynomial in $\mathbb{Z}_m[X]$. Then $f \equiv 0$ iff $$F \equiv F_nS_n + \sum_{k=0}^{n-1}a_k(m/(...
- 1,561
70
votes
2
answers
9k
views
What is the insight of Quillen's proof that all projective modules over a polynomial ring are free?
One of the more misleadingly difficult theorems in mathematics is that all finitely generated projective modules over a polynomial ring are free. It involves some of the most basic notions in ...
- 12.9k
7
votes
1
answer
170
views
Cellular and primary binomial ideals
Let $I \subseteq \mathbb{K}[x_1, \dots, x_n]$ be an ideal of a polynomial ring over a field $\mathbb{K}$.
$I$ is called cellular if every variable $x_i$, with $i=1, \dots, n$, is either a ...
- 11
-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?
CommunityBot
- 1
3
votes
1
answer
137
views
An f.g.u. duo monoid is unit-duo: True or false?
Let $H$ be a monoid (written multiplicatively) with the property that $H = H^\times A H^\times$ for some finite $A \subseteq H$ (shortly, an f.g.u. monoid), where $H^\times$ is the group of units of $...
- 38.6k
5
votes
2
answers
341
views
Writing $1-xyzw$ as a sum of squares
Can you write $1 - xyzw$ in the form $p + q (1 - x^{2}-y^{2}-z^{2}-w^{2})$ where $p$ and $q$ are polynomials that are of the form $\sum g_{i}^{2}$ where $g_{i}$ $\in$ $\mathbb{R}[x,y,z,w]$?
For ...
- 63.9k
2
votes
1
answer
205
views
Deformation of isolated singularities and non zero divisors
Consider $f \in \mathbb{C}\{x_1,\dots,x_n\}$ such that $(V(f),0)$ has an isolated singularity.
Let $F \in \mathbb{C}\{x_1,\dots,x_n,t\}$ be a deformation of $f$ such that there exists some integer $m$...
- 4,111
9
votes
1
answer
2k
views
Sums of two squares in (certain) integral domains
While giving the first of eight lectures on introductory model theory and its applications yesterday, I stated Hilbert's 17th problem (or rather, Artin's Theorem): if $f \in \mathbb{R}[t_1,\ldots,t_n]$...
- 4,713
13
votes
1
answer
624
views
Ultracategories with one object
Historically, the theory of ultracategories was invented by Makkai to prove a strong conceptual completeness theorem for first-order logic, roughly: if $T$ and $S$ are two first-order theories such ...
- 15.9k
5
votes
0
answers
197
views
On the pro-category of finite local artinian algebras
Let $\mathbb{F}$ be a finite field, and $W(\mathbb{F})$ its associated ring of Witt's vectors. On page 6 of the following lecture notes Deformations of Galois Representations, the category $\mathfrak{...
- 541
3
votes
1
answer
219
views
$K_1(\mathbb{Z}_4)$ and $K_1(\mathbb{Z_4}[t])$
I am an amateur in $K$-theory, I have just started reading from "The K-book" by Charles Weibel. I have only read the definition of $K_1$ which is stated as a quotient of $GL(R)$. The union ...
- 10.8k
-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
6
votes
1
answer
336
views
Is the minimal polynomial of an algebraic formal Laurent series always separable?
Let $f(x)\in K((x))$ be an algebraic formal Laurent series and let $P(x,y)\in K(x)[y]$ be its minimal polynomial. Is $P(x,y)$
always separable? An example of non separable polynomial comes
from ...
- 3,403
11
votes
3
answers
1k
views
Existence of non-commutative desingularizations
Let $R$ be normal, local ring of dimension at least $2$. Let $M$ be a reflexive $R$-module and let $A=Hom_R(M,M)$. Suppose $A$ has finite global dimension. Then one can view $A$ as a weak non-...
- 4,713
7
votes
2
answers
960
views
When do multiple polynomials have a common root?
I was wondering if it is well understood under what circumstances say three univariate polynomials $f(x),g(x),h(x)$ have a common root.
In this situation, I can see that the resultant of each pair ...
- 7,746
1
vote
0
answers
186
views
Proving the non-existence of canonical isomorphisms
From time to time, during my undergraduate lectures on linear algebra appears the following question from the most smart students in the class. I asked to my algebra colleagues but I have not received ...
- 1,561
4
votes
1
answer
246
views
Paper by I. Swanson on symbolic powers
I am looking for a paper by Irena Swanson on a result on comparison of ordinary and symbolic powers of prime ideals in complete local rings.
The paper is referenced in problem 0.9 here
https://aimath....
- 4,713
5
votes
0
answers
185
views
Codimension inequality of prime ideal in a regular local ring
In Exercise 10.6 of Eisenbud's Commutative Algebra, there is the following statement (not required to prove):
$(*)$ If $P$ is a prime ideal in a regular local ring $R$ and if $R\to S$ is a map of ...
- 1,313
2
votes
0
answers
67
views
Type of numerical semigroups is not bounded when embedding dimension is $\geq 4$
I am currently studying numerical semigroups. I know that there is no upper bound for the type of a numerical semigroup with embedding dimension greater or equal than $4$. There is a famous example by ...
- 121
14
votes
1
answer
2k
views
When are epimorphisms of algebraic objects surjective?
Let $C$ be the category of $\tau$-algebras for some type $\tau$. Consider the statements:
Every monomorphism is regular.
Every epimorphism in $C$ is surjective.
It is easy to see that 1. implies 2. ...
- 1,446
2
votes
1
answer
162
views
Maximally independent polynomial families with row symmetry
Introduction:
In the 1-dimensional case, given $m$-variables
$$\mathbf{x} = (x_1,x_2,\dots,x_m)^T,$$
the elementary symmetric polynomials $(e_k(\mathbf{x}))_{k=1}^m$ give a "symmetric basis",...
- 156k
4
votes
0
answers
244
views
Torsionness of the kernel of the pullback map of Picard groups of a normalization map
Let $X$ be a (irreducible) projective variety over a number field $k$, $\pi: \tilde X \to X$ be its normalization, and $\pi^{*}: \mathrm{Pic}(X) \to \mathrm{Pic}(\tilde X)$ be the corresponding map of ...
- 151
18
votes
3
answers
703
views
Existence of a ring with specified residue fields
Given a finite set of fields $k_1, \ldots, k_n$, is there a (commutative with $1$) ring $R$ with (maximal) ideals $m_i$ such that $R/m_i \cong k_i$?
To prevent things from being too easy, I require ...
- 4,713
1
vote
1
answer
332
views
Are algebraic power series in positive characteristics D-finite?
We know that in characteristic $0$, all algebraic series are differentiably finite.
Is this true in positive characteristic? I look at the proof, indeed we need to the
characteristic to be $0$ for the ...
- 2,404
2
votes
0
answers
121
views
When $\gcd(P(x),Q(x))\bmod R(x)=\gcd(P(x) \bmod R(x),Q(x) \bmod R(x))$?
Let's $P,Q\in\mathbb K[x]$, with $\mathbb K$ a finite field.
On what necessary and sufficient condition on $R \in \mathbb K[x]$ is it :
$\gcd(P(x),Q(x))\bmod R(x)=\gcd(P(x) \bmod R(x),Q(x) \bmod R(x))...
- 151k
3
votes
1
answer
588
views
Is Hartshorne's definition of associated points correct in the non-noetherian setting?
Hartshorne defines (p. 257 of III.9) an associated point of a scheme $X$ as a point such that $\mathfrak{m}_x$ is an associated prime of the local ring which he says is equivalent to the maximal ideal ...
- 261
12
votes
1
answer
1k
views
An omission in K. Conrad's notes on the conductor ideal
I am referring to the very useful K. Conrad's notes on the conductor ideal of an order in a Dedekind domain: https://kconrad.math.uconn.edu/blurbs/gradnumthy/conductor.pdf
$\DeclareMathOperator\Cl{Cl}$...
- 12.9k
5
votes
0
answers
138
views
Can we define partial group actions on (finite) sets via generators and relators?
Let $G = \langle Y | R \rangle$ be a finitely presented group. A partial group action on a set $X$ is a premorphism into the inverse semigroup
$$
\mathcal I (X) = \{ f: A \to B : A, B \subseteq X, f\...
- 639