All Questions
Tagged with nt.number-theory ac.commutative-algebra
360 questions
1
vote
0
answers
53
views
On a structural decomposition of polynomials based on integral roots
Given an irreducible polynomial of structure $$f(x,y)=\sum_{\substack{i,j\in\{0,1,2\}\\i+j\leq3}}a_{i, j}x^iy^j\in\mathbb Z[x,y]$$ with $a_{2,1}a_{1,2}a_{1,1}a_{1,0}a_{0,1}a_{0,0}\neq0$ if $f(m,n)=0$ ...
- 1,826
1
vote
0
answers
295
views
Proper ideals are invertible
I am reading through Cox's book Primes of the form $x^2+ny^2$ and I am stuck with some proofs in Chapter 7 (I have the 2nd edition). There, the author presents the following Lemma:
Lemma 7.5: Let $...
- 545
1
vote
0
answers
310
views
Primes of the power series rings
Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring. By setting $X_n \mapsto 0$, we obtain a natural surjection
\begin{equation*}
\psi_{n,n-1} \colon A_n \...
- 563
1
vote
0
answers
288
views
gcd of polynomial values
Suppose that $f$ and $g$ are two coprime polynomials in $\mathbb Z[x]$. I'm interested in any sort of upper bound on $gcd(f(a),g(a))$, in terms of the integer $a$. Are there any results of this type?...
user47305
1
vote
0
answers
133
views
Finding Generators of an Ideal Over Number Field? [closed]
Is there any way or algorithm to find generators of an ideal over number field? (A algorithm that can be implemented and not expensive)
- 149
1
vote
0
answers
551
views
An infinitely-many-variable formal power series ring ${\Bbb F}_p[[X_1,\ldots]]$
We shall define a infinitely-many-variable formal power series ring ${\Bbb F}_p[[X_1,\ldots]]$ as follows$\colon$
${\Bbb F}_p[[X_1,\ldots]]\colon= \underset{n \geq 1}{\varprojlim}\, {\Bbb F}_p[[X_1,\...
- 563
1
vote
0
answers
36
views
Quadratic suborders of an imprimitive quartic order
Let $Q$ be an irreducible quartic order; that is, $Q$ is a subring of the ring of integers $\mathcal{O}_K$ in a quartic extension $K$ over $\mathbb{Q}$ such that the fraction field of $Q$ is equal to $...
- 26.9k
1
vote
0
answers
77
views
Number of quartic rings with fixed data
In her paper "Quartic rings associated to binary quartic forms"
(https://doi.org/10.1093/imrn/rnr070), Wood showed that $\operatorname{GL}_2(\mathbb{Z})$-classes of integral binary quartic forms are ...
- 26.9k
1
vote
0
answers
215
views
Non-noetherian coherent local rings
Let $A$ be a non-neotherian UFD such that $A$ satisfies the following condition $(\sharp)$$\colon$
$(\sharp)$ For any prime ideal ${\frak P}$ of $A$ such that ${\mathrm{ht}}({\frak P}) < \infty$, ...
- 781
1
vote
0
answers
134
views
Linear combinations of reducible polynomials
My question concerns the sums of two reducible polynomials with bounded coefficients. In particular, for every $d \geq 2$ does there exist a number $C(d) > 0$ such that for any two co-prime ...
- 26.9k
1
vote
0
answers
179
views
Spivakovski-Popescu-Neron desingularisation
For $A \colon= {\Bbb F}_p[[X_1,...,X_d]]$, by generalising Popescu-Neron's method, Spivakovski proved that $A$ is written by smooth sub-algebras. That is,
$A \cong \underset{\lambda \in \Lambda}{\...
- 781
1
vote
0
answers
164
views
Combinatorial splitting in number rings
The goal of this problem is to see if there is a structured way to factor numbers constructed from a set of distinct odd primes $p_1$ through $p_n$ in a number ring.
Take an arbitrary non empty ...
user94040
1
vote
0
answers
166
views
Popescu-Neron Desingularization for K[[T_1,...,T_∞]]
Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$.
Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...
- 781
1
vote
0
answers
76
views
Coherence of subrings of K[[X,Y]]
Let $K[[X,Y]]$ be a two-variables formal power series ring over a field $K$. Consider a sub-ring $\iota \colon A \subset K[[X,Y]]$.
Q. Is A coherent? $\quad$ Or is it automatic that $\iota$ is ...
- 781
1
vote
0
answers
189
views
What is the ring of integers in $\mathbb Q^c\otimes_K K_\mathfrak p$? [closed]
Let $K$ be a number field with ring of integers $\mathcal O_K$ and $\mathfrak p$ a prime of $K$. Let $\mathbb Q^c$ be the algebraic closure of $\mathbb Q$ in $\mathbb C$.
If $L$ is a number field ...
- 255
1
vote
0
answers
485
views
On the coherence of formal power series ring
Let $A = {\Bbb F}_p[[X_1,X_2,...]]$
be the ring of formal power series with infinitely many variables over the finite field ${\Bbb F}_p.$
$A$ consists of such formal sum elements as $\sum c_{e_1,.....
- 781
1
vote
0
answers
201
views
Number of minimal primes for UFD
Let $R$ be a UFD which is NOT noetherian. It is well-known that $R$
is a Krull ring. Let $I$ be an ideal of $R$ such that the height of $I$
is $d$ which is finite.
Question. Is the number of minimal ...
- 781
1
vote
0
answers
449
views
Deeply ramified implies non discrete valuation - Almost ring theory
In their book "Almost Ring Theory" (http://arxiv.org/abs/math/0201175), Ofer Gabber and Lorenzo Ramero define a valued field $K$ to be "deeply ramified" if the module of Kähler differentials $\Omega_{...
1
vote
0
answers
139
views
Questions on prime integral ideal congruences
Suppose that we are given a fixed pair $a_1, a_2$ of non-zero irrational algebraic integers in some number field $K$ which are independent over $\mathbb{Q}$. Suppose that $\mathcal{P}$ is a prime ...
- 26.9k
1
vote
0
answers
148
views
Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$
Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$.
Definition(Super-Gorenstein ideal): $...
- 87
1
vote
0
answers
342
views
Passing from Regular sequence to Prime ideal, for power sum symmetric polynomial
Let $S=\mathbb{C}[x_1,x_2,x_3,x_4]$ be a polynomial ring. Let $p_i=x_1^i+\cdots+x_4^i$ be the power sum symmetric polynomial in $\mathbb{C}[x_1,x_2,x_3,x_4]$.
Let $I=(p_1,p_2)$ be an Ideal of $\mathbb{...
- 446
1
vote
0
answers
276
views
Generalizations of divided-power algebras over finite fields
In Andrews, Askey, and Roy's Special Functions, the authors state that Gauß sums are finite field analogs of the $\Gamma$-function as Jacobi sums are to B-function. The $\Gamma$-function is well-...
- 1,049
1
vote
0
answers
169
views
Sum of two free o-submodules in a vector space over a local field
Let $V$ be a countably infinite dimensional $K$-vector space over a local field $K$ (nontrivially discretely valued with finite residue field). Let $o$ be the ring of integers of $K$.
Given two free ...
- 107
0
votes
3
answers
186
views
Behavior of duality under pull-back
I have a technical question on commutative algebra. I am not an expert in the subject, and I would like to know if there are "typical conditions" making the following possible.
Let $\varphi:R\to S$ ...
- 2,406
0
votes
2
answers
2k
views
Tensor products of two domains
Let $R$ be an integral noetherian regular local ring. Let $S$ be a noetherian integral domain such that $S/R$ is finite.
That is, $R \subset S$ and the surjection $R^{\oplus n} \twoheadrightarrow S$ ...
- 781
0
votes
2
answers
681
views
Pontryagin dual
Suppose $M$ is a $Z_p[[T]]$-module and $\widehat{M}$(the Pontryagin dual of $M$) is a finitely generated torsion $Z_p[[T]]$-module. How to prove that $\widehat{M}$ has $\mu$-invariant zero $\...
- 1,209
0
votes
1
answer
178
views
Ideal in ring of power series
Let $K$ be a field of characteristic $p$ and $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring over $K$ such that $n, p \geq 3$.
Consider the ideal $I$ defined by
\begin{...
- 563
0
votes
1
answer
495
views
Roots of unity, in the completion of the ring of integers of a number field, at a prime ideal
Let $p \in \mathbb{Z}$ be a prime and consider the number field $k = \mathbb{Q}[x]/(x^{(p^2 -1)/2} - p)$. We shall denote by $O_k$ the ring of integers of $k$. Let $\beta \in O_k$ be such that $\beta^{...
- 727
0
votes
2
answers
299
views
0-dimensional Gorenstein local ring.
Assume the following condition for the ring T = F_p[[X,S]]/I:
Condition 1. T is NOT a zero ring.
Condition 2. I is generated by 3 elements of F_p[[X,S]], but NOT by 2 elements.
Then, is T a ...
- 87
0
votes
1
answer
347
views
Iwasawa invariants
Suppose $M$ is a finitely generated torsion $Z_p[[T]]$-module; the torsion comes from the $\mu$-invariant and the $\lambda$-invariant. Consider $M/(p)$ and $M[p]$ ($p$-torsion of $M$) which are $F_p[[...
- 1,209
0
votes
1
answer
223
views
On the Irreducibility of Cyclotomic polynomials
Let $F$ be any field with $\operatorname{Char} F=q$. Let $p$ be a prime such that $p\neq q$. Suppose $F$ has no $p$-th root of unity except $1$. Is it true that the cyclotomic polynomial $X^{p-1}+\...
- 494
0
votes
1
answer
353
views
Strange subscheme in ${\mathrm{Spec}} R \times {\Bbb A}^1_{\Bbb C}$
Let ${\Bbb C}[X_1,\ldots,X_n]$ be a $n$-variable polynomial ring over a complex number field ${\Bbb C}$. For its maximal ideal $(X_1,\ldots,X_n)$, we define the geometric regular local ring as
$R \...
- 563
0
votes
1
answer
455
views
Iwasawa theory for Mazur's deformation ring R
The ideal class group $\mathrm{Cl}({\cal O}_K)$ and Mazur's deformation ring $R(\overline{\rho})$ for a number field $K$ are said to be similar to each other.
Let ${\Bbb Q}_{\infty}$ be the unique ...
- 87
0
votes
2
answers
2k
views
non discrete valuation ring [closed]
Hi,
I am looking for examples of non-discrete valuation rings. Could you help me?
Thanks
- 141
0
votes
1
answer
343
views
Relative Bertini Theorem
Let
$A \colon= {\Bbb C}[S_1,\ldots,S_n]$ with $1 \leq n < \infty$
$B \colon= A[X_1,\ldots,X_d]$ with $2 \leq d < \infty$.
$O \colon= (0,\ldots,0)$ be the origin of ${\mathrm{Spec}}\,B$.
...
- 563
0
votes
1
answer
131
views
Radical of modules [closed]
Let $R$ be a local ring with the unique maximal ideal ${\frak m}_R$ and $M$ be a $R$-module. Define
$I(M) \colon= \cap ~({\mathrm{all~ proper~ maximal ~submodules~ of}}~M)$,
where proper means ...
- 781
0
votes
1
answer
216
views
A Newton identity and the primes--the Faber partition polynomials and modular arithmetic
[Edit, July 6, 2022: Removed erroneous characterization of Faber polynomials as an Appell sequence.]
Dress and Siebeneicher in their tale of the Burnside family express an opinion (1.2) that, if I ...
- 10.5k
0
votes
1
answer
296
views
Multiplicative monoid of ring modulo units
Let $M = \mathbb{Z}[\phi] \setminus \{0\}$ be the multiplicative monoid of the ring $\mathbb{Z}[\phi]$ with $\phi = \frac{1+\sqrt{5}}{2}$ the golden ratio.
We define the equivalence relationship $x\...
- 943
0
votes
1
answer
149
views
Power series rings and the formal generic fibre
Let $S = K[[S_1,\ldots,S_n]]$ and consider $d$ elements
\begin{equation*}
f_1,\ldots,f_d \in S[[X_1,\ldots,X_d]]
\end{equation*}
and the prime ideal ${\frak P} \colon\!= (f_1,\ldots,f_d)$ generated ...
- 563
0
votes
1
answer
598
views
Reference for a lemma on étale maps
The Stacks Project has the following really nice Lemma concerning étale maps of rings:
Let $A\rightarrow B$ be a finitely presented, étale morphism of rings. Then there exists a presentation
$$ B\...
- 1,838
0
votes
0
answers
76
views
Largest set of monomials whose span is "co-prime" to a given polynomial
Let $K$ be a number field, and let $F \in K[x_1, \cdots, x_n]$ be a polynomial. For a positive integer $d \geq 3$, define $M(F;d)$ to be the largest positive integer such that there exists a set $S$ ...
- 26.9k
0
votes
0
answers
126
views
Nilpotent elements of $(\mathbb{Z}/n \mathbb{Z})[x_1,...,x_m]/\langle f_1(x_1,...,x_m),f_2(x_1,...,x_m),...f_k(x_1,...,x_m)\rangle$
This is generalization of the univariate case
and also related to open problem.
Let $n,k,m,B>1$ be positive integers and $f_1(x_1,...,x_m),f_2(x_1,...,x_m),...f_k(x_1,...,x_m)$ be polynomials with ...
- 25.4k
0
votes
0
answers
132
views
Which consequences can be deduced from this peculiar property of tetration?
Recently (assuming radix-$10$), I showed that, for any $a \in \mathbb{N}_{0}$ that is not a multiple of $10$, there exists a unique value $V(a) \in \mathbb{N}_{0}$ which corresponds to the number of ...
- 1,451
0
votes
0
answers
177
views
Passing over $O_K \otimes_{\mathbb{Z}} A$ from $O_K$, how it affects the rank of a module?
This question was asked in MSE as well.
Let $K$ be a finite extension of the rationals $\mathbb{Q}$ with $O_K$ its the ring of integers.
Consider a $\mathbb{Z}$-algebra $A$ such that $|A|<\infty$.
...
- 930
0
votes
0
answers
221
views
To show equivalence and full faithfulness of a functor PRESERVED under an action of a finite flat algebra
I have explained the two questions and then showed my effort on question $(1)$ as follows (Please at least check my effort below and suggest to make it perfect):
Let $R, S,T$ be three commutative ...
- 930
0
votes
1
answer
74
views
Small linear relations in unbalanced diophantine equations from primitive Pythagorean triples
$r$ is parameter. Pick coprime $m,n\in[r,2r]$ with $mn$ even. Consider the Linear Diophantine Equation $$a^4u+b^4v+c^2z=0$$ where $a=m^2-n^2$, $b=2mn$ and $c=m^2+n^2$.
Is it true that there are ...
- 1,826
0
votes
0
answers
154
views
Determinant of a special matrix in characteristic $p$
Let $K$ be a field of characteristic $p > 0$. Choose $p^i$ numbers of elements $c_1,\ldots,c_{p^i} \in K$ and consider the determinant $D$ of the following matrix$\colon$
\begin{pmatrix}\label{...
- 563
0
votes
0
answers
118
views
Multiplicity of a polynomial in positive characteristic
Let $\mathbb K$ be a field of characteristic $p>0$.
Let $f\in\mathbb K[x_1,\dots,x_n]$ be a multivariate polynomial and let $q\in\mathbb K^n$. Is there a computational method to determine the ...
- 351
0
votes
0
answers
287
views
On the product in the power series ring
Let $A_n \colon= K[[X_1,\ldots,X_n,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $2n$ variables and ${\frak m}_{A_n}$ be the unique maximal ideal of $A_n$.
Suppose we have two ...
- 563
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