All Questions
5,984 questions
1
vote
1
answer
51
views
Exceptional Lenz-Barlotti classes IVa.3 and IVb.3
On this web-site, devoted to the Lenz-Barlotti classification of projective planes, it is written that the class IVa.3 (and its dual IVb.3) is somewhat exceptional, because it contains exactly one ...
- 41.8k
4
votes
1
answer
185
views
Order of pole of Poincaré series
Let $R = \bigoplus_{n \geq 0} R_n$ be a graded Noetherian ring and $M = \bigoplus_{n \geq 0} M_n$ a finitely generated graded $R$-module. Let $\lambda$ be an additive function on the class of all ...
- 261
1
vote
1
answer
92
views
On analytic transcendence degree and Krull dimension for homomorphic images of power series rings
Let $k$ be a field of characteristic zero and $I$ be a radical ideal of $k[[x_1,\ldots, x_n]]$. Let $P$ be a minimal prime ideal of the reduced ring $R:=k[[x_1,\ldots, x_n]]/I$. Then, $R_P$ is a field ...
- 480
0
votes
0
answers
48
views
A question on a quantitative form of Farkas' lemma
Suppose A is an $m \times n$ matrix whose entries are non-negative integers and $\mathbf{b}$ is a vector with rational entries. A version of Farkas lemma implies that if the equation $$A\mathbf{x}=\...
- 6,214
2
votes
0
answers
213
views
Open problems in differential algebra and affine algebraic geometry
I am currently doing a PhD in differential algebra and affine algebraic geometry at the University of Buenos Aires. I've been struggling to find a list of interesting and big open problems in these ...
3
votes
0
answers
189
views
How can I prove this stronger version of Fedder's Criterion?
I was reading Fedder's original paper which proved what is now known as "Fedder's criterion". I noticed that the abstract stated something which is a priori stronger than what is proved in ...
- 317
3
votes
0
answers
110
views
When is a ring complete with respect to its nilradical?
Let $R$ be a commutative ring and let $I$ be its nilradical. When is $R$ complete with respect to $I$?
For example, if $I$ is finitely generated, there exists $N$ such that $I^N = 0$ and thus $R$ is ...
- 2,338
1
vote
1
answer
149
views
$F=\mathbb{C}(u,v)$ satisfying: For every $a,b \in \mathbb{C}[y],c,d \in \mathbb{C}[x]$: $\mathbb{C}(x,y)=F(ax+b)=F(cy+d)$
Let $u,v \in \mathbb{C}[x,y]$, where $u$ and $v$ are algebraically independent over $\mathbb{C}$ and $F=\mathbb{C}(u,v)$. Of course, $d:=[\mathbb{C}(x,y):F] < \infty$.
Denote the following ...
- 2,837
1
vote
1
answer
87
views
Transcendence degree and Krull dimension for homomorphic images of power series rings
Let $k$ be a field of characteristic zero and $I$ be a radical ideal of $k[[x_1,\ldots, x_n]]$. Let $P$ be a minimal prime ideal of the reduced ring $R:=k[[x_1,\ldots, x_n]]/I$. Then, $R_P$ is a field ...
- 480
2
votes
1
answer
112
views
Example of non injective module over Noetherian local ring with trivial vanishing against residue field?
Is there an example of a module $M$ over a commutative Noetherian local ring $(R,\mathfrak m, k)$ such that $\text{Ext}_R^{>0}(k, M)=0$ but $M$ is not an injective $R$-module?
I know that for such ...
- 480
22
votes
1
answer
939
views
Alternating forms on abelian groups
Let $G$ and $H$ be abelian groups. By an alternating form, I mean a bilinear function $A\colon G\times G\to H$ such that $A(x,x)=0$ for all $x\in G$.
Question. If $A\colon G\times G\to H$ is an ...
- 27.2k
2
votes
1
answer
156
views
Computing the minimal polynomial of roots of polynomials with algebraic coefficients
Let $p(x) = \sum_{i=0}^{n} c_i x^i$ with $c_i \in \mathbb{A}$ with $q_i(c_i) = 0$ and all $q_i \in \mathbb{Q}[x]$ being minimal polynomials of the coefficients.
Let $r$ be a zero of $p(x)$. Is there ...
- 21
1
vote
0
answers
59
views
If $E \subseteq F=k(x_1,\ldots,x_r)$, satisfies $E(x_1^{i_1},\ldots,x_r^{i_r})=F$, for every $(i_1,\ldots,i_r) \neq (0,\ldots,0)$, then $[F:E] \leq 2$
For $r \geq 2$, let $A_r=\mathbb{C}[x_1,\ldots,x_r]$,
$F_r=\mathbb{C}(x_1,\ldots,x_r)$ the field of fractions of $A_r$, and $E_r \subseteq F_r$ an arbitrary subfield of $F_r$ with $[F_r:E_r] < \...
- 2,837
1
vote
0
answers
99
views
Minimum of the maximum element frequency given the family size and the universe size
[Crossposted at math.stackexchange].
Consider families of sets $\mathcal{F}$ with size $n = |\mathcal{F}|$ and universe $U(\mathcal{F})$ with size $q = |U(\mathcal{F})|$.
I have written and solved ...
- 988
2
votes
0
answers
93
views
Minimal injective resolution and change of rings
Let $R$ be a commutative Noetherian ring. For an $R$-module $M$, let $0\to E^0_R(M)\to E^1_R(M)\to \ldots $ denote the minimal injective resolution of $M$. I have two questions:
(1) If $I$ is an ...
- 480
0
votes
0
answers
42
views
When $x=\frac{u(f_i,g_j)}{v(f_i,g_j)}$ implies $x=\frac{u(f_i(x,0),g_j(x,0))}{v(f_i(x,0),g_j(x,0))}$ ($x=\frac{xy}{y}$ does not imply $x=\frac{0}{0}$)
Let $f_i=f_i(x,y), g_j=g_j(x,y) \in \mathbb{C}[x,y]$,
$1 \leq i \leq n$, $1 \leq j \leq m$, be such that
$f_i(x,0) \neq 0$ and $g_j(x,0)=0$.
Assume that $\mathbb{C}(f_1,\ldots,f_n,g_1,\ldots,g_m)=\...
- 2,837
2
votes
1
answer
205
views
Localization of quasi-excellent rings are quasi-excellent?
If $R$ is a quasi-excellent ring, then is $R_{\mathfrak p}$ also quasi-excellent for every prime ideal $\mathfrak p$ of $R$ ?
I think Matsumura's commutative ring theory book says that localization of ...
- 480
6
votes
1
answer
224
views
Integral preimages of topologically noetherian, affine schemes
Let $A\to B$ be a ring homomorphism, $d\in \mathbb{Z}_{>0}$ and let $C=\bigotimes^d_A B$ the $d$-fold tensor product of $B$ over $A$. Then $\mathfrak{S}_d$, the symmetric group of $d$ elements, ...
0
votes
1
answer
219
views
Finding $\mathbb{C}(u,v)$ such that $\mathbb{C}(u,v,x^p+y^p)=\mathbb{C}(x,y)$, for every prime number $p$
Denote the set of prime numbers by $P$, $P=\{2,3,5,7,\ldots\}$.
Let $F \subseteq \mathbb{C}(x,y)$ be a subfield of $\mathbb{C}(x,y)$, and for $w \in \mathbb{C}[x,y]$ denote by $F(w)$ the subfield of $\...
- 2,837
0
votes
0
answers
31
views
Formalization of the independance of products in a (commutative) semigroup
1/ It is well known that associativity implies that the result of the product of an ordered finite set of elements in a semigroup does not depend of the order of composition of the partial products.
...
- 2,655
1
vote
1
answer
135
views
Artinian Gorenstein subrings with same socle degree
I am looking for examples of Artinian Gorenstein subalgebras with the same socle degrees.
More precisely, let $A$ be an Artinian Gorenstein $k$-algebra (with $k$ algebraically closed of characteristic ...
- 1,593
3
votes
1
answer
501
views
Description of prime ideals in $\operatorname{Spec}(\mathbb{Z}[x_1, \dots, x_n])$
Edit: This seems to be wrong, as pointed out by Will Sawin in the comments.
The prime ideals of $\mathbb{Z}$ and $\mathbb{Z}[x]$ are well-known. It is also not too hard to compute the underlying set ...
- 461
1
vote
0
answers
67
views
Conormal module of a commutative Koszul algebra
Does the conormal module $I/I^2$ of a commutative Koszul algebra $A=k[x_1,\dots,x_n]/I$ have a linear minimal free resolution? Is there a formula for the Betti numbers of $I/I^2$, or, even better, a ...
- 359
1
vote
0
answers
80
views
Localization of totally acyclic complex or projective modules remain totally acyclic?
Let $R$ be a commutative Noetherian ring. An acyclic complex $P$ of projective $R$-modules is called totally acyclic if for every projective $R$-module $Q$, the complex Hom$_R(P, Q)$ is also acyclic.
...
- 480
1
vote
0
answers
54
views
Algorithm for finding generating sets of projective modules
Suppose $R$ is a (Dedekind) domain and $M$ is a projective module of constant rank over $R$. We know that $M$ is finitely generated over $R$. I'm wondering is there any algorithms to produce a (...
2
votes
0
answers
182
views
Integers as polynomials in infinite variables
This question is more of a request for reference or ideas than else. Forgive (or correct) if there are imprecisions or blatant mistakes.
The main idea is that the unique factorization theorem for $\...
- 29
1
vote
0
answers
181
views
Examples of semirings where the additive neutral element is not absorbing for multiplication
In the case of a non unital ring, the additive 0 must be absorbing for the multiplication because we have a⋅0 = a⋅(a − a) = a⋅a − a⋅a = 0 and similarly on the other side.
In the case of a unital ...
- 2,655
6
votes
2
answers
219
views
Steinitz isomorphism theorem for non-Dedekind domains
(Cross-posted from https://math.stackexchange.com/questions/4931582/steinitz-isomorphism-theorem-for-non-dedekind-domains)
Fix a Dedekind domain $R$ and fractional ideals $I, J$. It's a classical ...
- 63
6
votes
2
answers
1k
views
Question about the sum of odd powers equation
Quite surprisingly the following question appears while studying the billiard dynamics.
Assume we have $2n$ real numbers: $ x_1, x_2,..., x_{2n}$.
Assume also that $S_k=0$ for any odd positive integer ...
- 728
4
votes
1
answer
684
views
Who and when proved Artin's Theorem on alternative rings?
I am interested in the history of the proof of Artin's Theorem (on the diassociativity of alternative rings).
Question. When has Artin proved this theorem and where was it published for the first ...
- 41.8k
0
votes
0
answers
47
views
Relationship between equation of integral dependence of an element and its inverse
Let $A$ be a reduced, Noetherian ring. Let $B$ be its integral closure. Let $b\in B$ and let $v\in B$ be its inverse. Let $b^n+\ldots a_0=0$ be an equation of integral dependence for $b$. Is there any ...
- 71
-3
votes
2
answers
817
views
Is there a "weak" fundamental theorem of algebra for matrices?
Let $R$ be the ring of complex $n\times n$ matrices, where $n>1$.
Does every nonconstant polynomial in $R[X]$ have a root in $R$?
Note: The "strong" fundamental theorem of algebra for ...
- 360
1
vote
0
answers
107
views
Do étale coordinates give rise to a regular sequence of diagonal elements?
Fix an algebraic extension $k\subseteq K$ of fields of characteristic zero and consider a map of commutative rings $\phi\colon K\left[T_{1}^{\pm},\dots,T_{n}^{\pm}\right]\to A$ which is étale. Now ...
- 507
0
votes
1
answer
473
views
A subfield $R \subseteq \mathbb{C}(x,y)$ with 'many' generators $w$, $R(w)=\mathbb{C}(x,y)$
Let $R \subseteq \mathbb{C}(x,y)$ and assume that $R=\mathbb{C}(u,v)$, where $u,v \in \mathbb{C}[x,y]$ are algebraically independent over $\mathbb{C}$.
Here $\mathbb{N}$ includes $0$.
Assume that $R$ ...
- 2,837
2
votes
0
answers
274
views
Can the completion of a local domain which is not a field be a field?
I would like to prove/disprove the following claim:
Let $A$ be an equicharacteristic local domain, and denote by $\widehat{A}$ its completion with respect to its maximal ideal. If $\widehat{A}$ is ...
- 293
1
vote
0
answers
107
views
A certain subfield of $\mathbb{C}(x,y)$
Let $A=\mathbb{C}(x+y,xy)$, the subfield of symmetric polynomials with respect to the involution $\alpha: (x,y) \mapsto (y,x)$.
Denote $G_A=\{w \in \mathbb{C}(x,y) \ | \ \mathbb{C}(x+y,xy,w)=A(w)=\...
- 2,837
3
votes
2
answers
246
views
Explicit description of transfer for $K_1$
Let $R$ be a commutative regular ring and let $s \in R$ be an element such that $R / s$ is also regular. Then we have a long exact localization sequence
$$
\ldots \rightarrow K_i(R/s) \rightarrow K_i(...
3
votes
1
answer
413
views
Do there exist these real polynomials?
Do there exist real polynomials $P(x)$ and $Q(x)$ with nonnegative coefficients, and $n>20$ a natural number such that
$$\left(\sum\limits_{k=0}^{n} x^k\right)^2=(x-3)^2P(x)+(x+4)^2 Q(x)?$$
I have ...
- 4,074
4
votes
0
answers
112
views
The $K_1$-group of integer valued polynomials
Let $R=$ Int$(\mathbb{Z}) = \{f \in \mathbb{Q}[x]| f(\mathbb{Z}) \subset \mathbb{Z}\}$. I am interested to find $K_1(R)$. I list my trials below:
Let us construct a Milnor square $$\matrix{R&\...
- 141
0
votes
0
answers
115
views
Software for computing polytopes
As can be inferred from the title, I want to do some computation on the facets representation of the polytopes given the vertices. My advisor recommended me Polymake, which is indeed useful even with ...
- 1
2
votes
1
answer
152
views
A commutative ring with unity which does not have relatively pseudo-injective ideals with zero intersection
Let $R$ be a ring with $1$ and $M$ and $N$ be any right $R$-modules. We say that $M$ is pseudo-$N$-injective if every $R$-monomorphism $f:X \to M$ from a submodule $X_R$ of $N_R$ can be extended to $N$...
- 324
3
votes
0
answers
114
views
English translation of Borel-Serre's "Théorèmes de finitude en cohomologie galoisienne"?
Is there an English translation of this text, or at least some English language paper that proves the same results?
I especially need a proof of the following fact which is in this paper: Say $k$ is a ...
- 31
1
vote
0
answers
141
views
Explicit computation of Čech-cohomology of coherent sheaves on $\mathbb{P}^n_A$
$\newcommand{\proj}[1]{\operatorname{proj}(#1)}
\newcommand{\PSP}{\mathbb{P}}$These days I noticed the following result of (constructive) commutative algebra, which I think is probably well known ...
- 708
2
votes
0
answers
75
views
Sum of Betti numbers and certain short exact sequence of modules of finite length over regular local ring
Let $N$ be a module of finite length over a regular local ring $R$ of characteristic $0$. Let $M$ be an $R$-module which fits into a short exact sequence $0\to N^{\oplus a}\to M \to N^{\oplus b}\to 0$ ...
- 480
2
votes
2
answers
416
views
Tensor product over $\mathbb{Z}$ and p-adic integer ring $\mathbb{Z}_p$
Thanks for your reading. Suppose we have two $\mathbb{Z}_p$-modules $A,B$. Do we always have $A \otimes_{\mathbb{Z}} B \simeq A \otimes_{\mathbb{Z}_p} B$, as abelian groups or $\mathbb{Z}_p$-modules? ...
- 319
3
votes
1
answer
260
views
Cancellation in polynomial composition
Let $k$ be a field. Suppose $P,Q,R\in k[x]$ satisfy $P\circ Q=P\circ R$. What can we conclude about $Q$ and $R$?
It may not be the case that $Q=R$; for example, if $P=x^2$, any polynomials $Q,R$ with $...
- 545
1
vote
2
answers
829
views
Books one can read for 2nd course in Commutative Algebra ( Self Study)
I am a student who has completed master's but couldn't take admission to a PhD program due to some unfortunate reasons.
I have done 1 course in Commutative Algebra where I followed the book " ...
5
votes
1
answer
176
views
Efficient counting of integer solutions to linear system
In my research, I have a particular 18x18 matrix $\mathbf{A}$ which defines the linear system $\mathbf{A}\cdot \mathbf{x} \leq \mathbf{-1}$ over the nonnegative integers. And I'm interested in ...
- 151
0
votes
0
answers
97
views
Algebraic independence and substitution for quadratics
Let $f_{1},...,f_{n-1} \in \mathbb{F}[x_1,...,x_n]$ such that $\{ f_1,..., f_{n-1},x_n \}$ is algebraically independent over $\mathbb{F}$. Let $G \in \mathbb{F}[x_1,...,x_n,y_1,...,y_{n-1}]\...
- 333
5
votes
0
answers
288
views
Picard group of almost module category
I am very new to the world of almost mathematics and I am curious about the following:
Fix an almost mathematics situation $(R,I)$ throughout. Very generally, the almost module category comes with a ...
- 51