All Questions
Tagged with ra.rings-and-algebras nt.number-theory
146 questions
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
1
vote
0
answers
83
views
Non-vanishing of product of zero divisors in quotients modulo $n$
This might be of practical importance and even partial answer will help.
Let $n$ be odd squarefree integer with known factorization $n=\prod p_i$
with $N$ prime factors.
Later we are not asking about ...
- 25.4k
3
votes
1
answer
188
views
Is there a uniform family of polynomials $f_p(x) =x^2 + a(p)x + b(p)$ such that $f_p(x)\in \mathbb{Z}[x]$ is irreducible and irreducible mod $p$?
Let $p\in\mathbb{Z}$ be a positive prime number.
Is there a "uniform" family of polynomials $f_p(x) =x^2 + a(p)x + b(p)$ of degree two such that $f_p(x)\in \mathbb{Z}[x]$ is both irreducible ...
- 237
1
vote
0
answers
189
views
The existence of solutions to linear systems of equations over the integer ring $\mathbb{Z}$
There are already detailed results on the solutions of linear equations over fields, but I'd like to inquire about any good conclusions regarding the solutions of linear equations over the integer ...
- 173
0
votes
0
answers
33
views
determinantal ideal of sum of Galois conjugate matrices
Given $n$ matrices $A_i \in \mathbb{Z}^{m\times m}$. I am interested in the ideal $I_d(A)$ generated by the $d\times d$-minors of $A = \sum_{i=1}^n x_iA_i \in \mathbb{Z}[x_1, \dots , x_n]$.
The matrix ...
- 61
2
votes
0
answers
135
views
Tensor product of finite extensions of $\mathbb{Q}_p$
Consider the tensor product of finite extensions of a field $F$ of characteristic zero. (I am interested in the case $F=\mathbb{Q}_p$.)
$(1)$ If $M$ is a finite Galois extension of $F$ with Galois ...
- 622
0
votes
0
answers
110
views
Identity for compositum and intersection of fields
Let $k$ be an arbitrary base field and $K, L, M$ some fields over $k$ contained in a fixed overfield $\Omega$.
Question: Are there some "reasonable" assumptions (ie beyond a bunch of really ...
- 6,018
2
votes
2
answers
432
views
Expositions of the classical approach to local class field theory (Brauer group and Hasse invariant)
I've posted this question already on MSE and didn't get much out of it, so I hope it's OK to repost here.
I'm an undergraduate trying to learn local class field theory from the corresponding chapter ...
- 121
1
vote
0
answers
118
views
Degrees of trigonometric numbers
For a rational number $r\in(0,1)$ the number $z=\sin(r\pi)$ is an algebraic number — such numbers appear to be called trigonometric numbers.
What is its degree?
That is, what is the minimal degree of ...
- 8,086
0
votes
1
answer
171
views
Prime index subgroups of $\langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle$ that is invariant under matrix $Q$
Let $Q $ be a matrix in $ \operatorname{GL}(2, \mathbb{Q}) $ and consider the group
$G = \langle Q^{i}(\mathbb Z^{2}) \mid i \in \mathbb Z \rangle := \langle Q^{i}(v) \mid i \in \mathbb Z, v \in \...
- 823
7
votes
1
answer
633
views
Given a rational matrix $Q$, can we generate $\langle Q^{i}(v)\mid i\in\mathbb Z,v\in\mathbb Z^{2}\rangle$ using only non-negative powers of a matrix?
I have copied this question from StackExchange, thank you to those who helped me to improve the question. (apology if you have seen this question already)
Let $Q $ be a matrix in $ \operatorname{GL}(...
- 823
1
vote
1
answer
252
views
Smith normal form and last invariant factor of certain matrices
I've copied over this question from what I asked on Mathematics Stack Exchange, in the hope that some experts can provide some relevant insight.
Suppose we have row vectors $x_1$, $x_2$ , $y_1$ , $y_2 ...
- 823
0
votes
1
answer
109
views
Residues distribution modulo an interval
Given a number $n$ and an Interval $I = [ \; \lfloor n^{1/4} \rfloor, \lfloor n^{(1/3) \rfloor \;} ]$, can we say anything about the distribution of $\{ n \mod b \;\;| \; b \in I \}$?
In particular, ...
6
votes
1
answer
447
views
Calculating the centralizer of a subgroup of $\mathrm{GL}(n, \mathbb{Z})$
I want to calculate the centralizer of a subgroup of $\mathrm{GL}(n, \mathbb{Z})$ when its generators $G_i$ (whose number is finite) are known.
For any matrix $S$ that commutes with the group: $G_iS$ =...
- 330
-2
votes
1
answer
168
views
Two-variable continuous function which results in an integer if and only if arguments are integer
I am looking for functions $f(x,y)$, real arguments, continuous,
with the following properties:
$f(m,n) = r$, where $r$ is integer $> 0$ if and only if $m,n$ are integers $> 0$.
$f(m,n) \le f(...
- 3
2
votes
2
answers
384
views
A ring map from algebraic integers to algebraic closure of $\mathbb F_p$
Let $p$ be a prime and ${\mathbb F}_p$ the finite field with $p$ elements. There is a canonical ring map ${\mathbb Z} \to {\mathbb F}_p \cong {\mathbb Z}/ p {\mathbb Z}$. Denote the image of $n$ by $[...
- 803
8
votes
1
answer
340
views
Density of extended Mersenne numbers?
Consider the subset of odd positive integers defined and constructed as follows by these rules :
A) $1$ is in the set.
B) if $x$ is in the set , then $2x + 1$ is in the set.
C) if $x$ and $y$ are in ...
- 763
11
votes
9
answers
1k
views
What are examples of problems we know how to solve for primes (or prime powers), but not for composites?
I am interested in seeing examples of research problems which fall into one of the two following categories:
A problem which is solved in the case of primes (or prime powers), but which remains open ...
4
votes
1
answer
266
views
Positive system of algebraic integers
Let $\mathbb{A}$ be the ring of algebraic integers. Consider a sequence $(d_i)_{i \in I}$, with $I$ a finite set and $d_i \in \mathbb{A} \cap \mathbb{R}_{\ge 1}$, such that $$d_i d_j = \sum_{k \in I} ...
6
votes
0
answers
253
views
Cardinality of a polynomial image $\pmod{p^n}$
Given $P(x) \in \mathbb{Z}[x]$ a polynomial, $n$ a positive integer and $p$ a prime, there is a result that relates $|\text{Im } P \pmod{p^n}|$ with $|\text{Im } P \pmod{p^{n+1}}|$ perhaps in terms of ...
- 61
0
votes
0
answers
144
views
better estimates than the prime number Theorem in Euclidean domains
For a unique factorization domain we know that we have some the analogues of fundamental theorem of arithmetic, and can build elements by using 'building blocks'. For me the easiest examples are ...
- 1,561
1
vote
0
answers
200
views
Units in residue classes modulo prime ideal
Let $K$ be a number field and $\mathcal{O}_K$ be its ring of integers with unit rank $\geq 1$. For a given prime ideal $\mathfrak{p}$, shall we say that the map $\mathcal{O}_K^\times \to (\mathcal{O}...
- 11
3
votes
1
answer
134
views
Trace-free basis for $\mathcal{O}_K$, $K$ a cubic field
Let $K$ be a cubic field and let $\mathcal{O}_K$ be its ring of integers. Does there always exist elements $\alpha, \beta \in \mathcal{O}_K$ with $\text{Tr}(\alpha) = \text{Tr}(\beta) = 0$ such that $\...
- 26.9k
0
votes
1
answer
231
views
Conjectures inspired in the context of Casas-Alvero conjecture, via the logarithmic derivative of derivatives of a polynomial
In the post (cross-posted in Mathematics Stack Exchange with identificator MSE 4244256 and same title) we assume that $P(x)=a_0+a_{1}x+\ldots+a_{n-1}x^{n-1}+a_{n}x^n$ is a polynomial of degree $1<\...
1
vote
1
answer
285
views
A "semi-genetic" definition of addition and multiplication in the field $\operatorname{On}_p$?
Let $+,\cdot$ denote multiplication in $\mathbb{N}_0$. The addition and multiplication in $\operatorname{On}_p$ are denoted $\oplus, \otimes$.
Recursive definition of addition:
$$x \oplus y := ((x+y) \...
- 3,064
5
votes
1
answer
335
views
About the structure of unit groups appearing in number theory
I think the following statement is not true in the general situations, but consider it:
$R$ is a ring, $\mathfrak{p}$ is a prime ideal, then the unit group of $\dfrac{R}{\mathfrak{p}^nR}$ is ...
0
votes
1
answer
241
views
Is there a formula I can use to count the number of k-potent elements over gaussian ring? [closed]
Definition 1.1. A k-potent is an element of a ring $R$ such that $a^k=a$ where $k\in\mathbb{N}$. For $k=2$ we use the term idempotent such that $a^2=a$ and $k=3$ called tripotent $a^3=a$
Definition 1....
user477306
4
votes
1
answer
366
views
Splitting the Witt vectors of $\overline{\mathbb{F}_p}$
Let $\overline{\mathbb{F}_p}$ be the algebraic closure of $\mathbb{F}_p$. Let $W({-})$ denote the functor of taking $p$-typical Witt vectors. Then the extension $\mathbb{F}_p\rightarrow \overline{\...
- 2,052
4
votes
1
answer
204
views
Groups suitable for algebraic group factorizations of integers
Quoting Wikipedia on Algebraic-group factorisation algorithm
Algebraic-group factorisation algorithms are algorithms for factoring an integer N by working in an algebraic group defined modulo N whose ...
- 25.4k
0
votes
1
answer
97
views
On polynomials associated to integers power sums [closed]
For $0\leq k\leq n$ integers let $P_k(n):= n^k,\ S_k(n):= P_k(1)+\ldots P_k(n)= 1^k+\ldots n^k$.
Then $P_k(0)=0$, $S_0(n)=n$.
For calculate $S_1(n)$ i consider:
$$P_2(n)-P_2(n-1)=2n+1$$
then
$\begin{...
- 4,165
5
votes
0
answers
93
views
Structure of finitely generated $\mathbb{Z}/p^n\mathbb{Z}[[S,T]]$-modules
Let $\Omega=\mathbb{Z}/p\mathbb{Z}[[S,T]]$. $\Omega$ is a commutative, Noetherian and integrally closed domain of Krull dimension 2. According to Bourbaki's commutative algebra VII $\S 4$, if $M$ is a ...
- 429
8
votes
1
answer
247
views
Covolumes of unit groups of division algebras
Let $D$ be a central division (or maybe just simple) algebra over $\mathbb{Q}$. Let $\mathcal{O} \subset \mathcal{O}_m$ be an order inside a fixed maximal order and denote by $\mathcal{O}^1$ its group ...
- 767
4
votes
0
answers
295
views
Automorphisms of the ring of periods
The set of periods $\mathcal{P}$ introduced by Kontsevich and Zagier forms a ring, see for example https://en.m.wikipedia.org/wiki/Period_(algebraic_geometry).
Moreover J. Wan introduced in 2011 in ...
- 6,984
3
votes
0
answers
110
views
Efficient computation of "higher order" Jacobi symbols
Let $N> 1$, and suppose $a \in (\mathbb{Z}/N\mathbb{Z})^{\times}$. There are efficient algorithms to compute the Jacobi symbol $\left(\frac{a}{N}\right)$ using quadratic reciprocity. Fix $k \geq 1$....
- 1,703
12
votes
2
answers
2k
views
Subsets of the integers which are closed under multiplication
Let $S$ be a subset of the integers which is closed under multiplication. There are many possible choices of $S$:
$S = \{-1, 1\}$.
$S$ is the set of integers of the form $a^k$, where $a$ is fixed and ...
- 1,703
7
votes
1
answer
550
views
Explicit construction of division algebras of degree 3 over $\mathbb{Q}$
In his book Introduction to arithmetic groups, Dave Witte Morris implicitly gives a construction of central division algebras of degree 3 over $\mathbb{Q}$ in Proposition 6.7.4. More precisely, let $L/...
- 767
7
votes
0
answers
92
views
Is the set of conjugates of Pisot numbers dense?
Let $S$ be the set of Pisot numbers. It is known that $S$ is closed and has infinitely many limit points. However, I want to know if there are are results about the set of conjugates of Pisot numbers. ...
- 171
6
votes
1
answer
328
views
Algebra with a certain abelian group as the multiplicative group
Let $A$ be an abelian group. Are there an algebra $\mathfrak{X}(A)$ s.t. the multiplication group is isomorphic to A ? i.e.
$$
\mathfrak{X}(A)^{\times} \simeq A.
$$
For example, for $A=\mathbb{Z}/4\...
- 479
2
votes
1
answer
216
views
A problem about an unramified prime in a Galois extension
I asked this question in MathStackExchange, but I didn't receive any answer.
Let $K/\mathbb{Q}$ be a Galois extension of degree $n$, and denote its ring of integers by $\mathcal{O}_K$. Let $\mathfrak{...
3
votes
1
answer
1k
views
Are there infinitely many L-rigs?
$\DeclareMathOperator{\Q}{\mathbb{Q}}$Call "L-rig" any class $\mathcal{L}$ of L-functions of automorphic representations of $\operatorname{GL}_{n}(\mathbb{A}_{\Q})$ for some $n$ belonging to ...
- 6,984
2
votes
1
answer
193
views
Level sets of the polynomial function $𝑥^2+𝑦^2−𝑥+𝑦−𝑎𝑥𝑦$ over $\mathbb{F}_𝑝$
Let 𝑝 be an odd prime and assume $𝑥^2+ax+1$ is irreducible over the field $\mathbb{F}_p$. The polynomial function
$$\Psi:\mathbb{F}_p^2⟶\mathbb{F}_p,\quad (x,y)\mapsto 𝑥^2+𝑦^2−x+y-axy$$
is ...
- 457
1
vote
0
answers
99
views
Extension of closed-form solvability of polynomial equations of x and exp to rational expressions?
Is my conjecture below true?
It's a new conjecture. It's an extension of Lin's theorem in [Lin 1983] which is cited in [Chow 1999] - see both references at the bottom of this page.
It seems that Ferng-...
- 1,053
10
votes
0
answers
227
views
What is the meaning of the coefficients of the Alekseev-Torossian associator
Drinfeld associators became a central object in mathematics and mathematical physics. They appear in deformation quantization, quantum groups, in the proof of the formality of the little disks operad, ...
- 8,385
4
votes
1
answer
314
views
Can base-change be non-surjective on Brauer groups?
Is there a finite-degree separable field extension $\mathbb{K} \subset \mathbb{L}$ such that the induced map on Brauer groups $\operatorname{Br}(\mathbb{K}) \to \operatorname{Br}(\mathbb{L})$ is not a ...
- 54.6k
10
votes
0
answers
219
views
Recover the field from its Milnor K-groups
For every field $F$, consider $K_n^M(F)$ the $n$-th Milnor K-group of $F$ for each $n \in \Bbb N$, and form the Milnor K-ring $K^M(F)=\oplus_{n \geq 0}K^M_n(F)$. For instance, $K_1(F)=F^{\times}$.
...
- 6,622
-1
votes
2
answers
312
views
On the determination of ambiguous ideal class of the extension $\mathbb{Q}(\zeta_5,\sqrt[5]{m})/\mathbb{Q}(\zeta_5))$
let $L=\mathbb{Q}(\sqrt[5]{n},\zeta_5)$ and $K=\mathbb{Q}(\zeta_5)$ the $5^{th}$ cyclotomic fields, we now that $[L:K] = 5$ and $ GAl(L/K) =\langle\sigma\rangle$ so we call $\mathcal{A}$ an ambigous ...
- 101
6
votes
0
answers
143
views
Newer versions of Mahler's Lemma
I'm trying to find a way to numerically ensure that two constructible numbers are equal (this would be done by a computer).
The idea is to find a polynomial $p(x)$ that contains both numbers as roots ...
- 563
2
votes
1
answer
745
views
Motivation to study the order theory (ring theory)
I'm currently reading a paper of Georges Gras on the Reflection Principle.
The paper uses some theorems about orders (ring theory) from the book "Maximal Orders" by Reiner. I find the book interesting,...
- 1,013
4
votes
0
answers
99
views
How to detect if an element in a completed group algebra is a unit?
Completed group algebras appear in Iwasawa theory and in many situations you want to know if an element is a unit. For example consider $K_n=\mathbb{Q}(\mu_{p^n})$ and $G=\varprojlim \mathrm{Gal}(K_n/\...
- 1,093
12
votes
1
answer
2k
views
Extension of 2-adic valuation to the real numbers
I just want to know what properties of valuations extend to $\mathbb R$...
Denote an extension of the 2-adic valuation from $\mathbb Q$ to $\mathbb R$ by $\nu$.
Suppose $\nu(x)=\nu(y)=0$.
Is it true ...
- 18.9k