An exercise in Lang asks us to find the Galois group of $$f=x^6+22x^5-9x^4+12x^3-37x^2-29x-15$$ over the rationals. I am going to write as far as I can. Then, I will ask how to proceed. I also welcome any other suggestions to solve this problem. Step 1: Reducing mod 2, we get...

Let $T_n = \frac{n(n+1)}{2}$ denote the $n$-th triangular number, and let $S(m)$ denote the sum of the digits of $m$ in base 10. I am investigating the conjecture that $S(T_n)$ is a prime number for infinitely many $n$. Modular constraints We know that $T_n \pmod 9$ is periodic with a period of...

My experimental observation suggests that the sum of the reciprocals of the square roots of the products of all multiplicative-inverse pairs modulo a prime $p$ tends to $5$ as $p \to \infty$. More specifically, for each prime $p$, consider the pairs $(a,b)$ satisfying $1\le a,b\le p-1$ and...

Let $T_n = \frac{n(n+1)}{2}$ denote the $n$-th triangular number, and let $S(m)$ denote the sum of the digits of $m$ in base 10. I am investigating a strong version of a digit-sum conjecture: Does $S(T_n)$ yield infinitely many distinct prime numbers? Modular and Growth Behavior We know that...

A while ago, @Aleksandr posed this question, about finding new solutions to $$a^8+b^8+c^8+d^8=e^8+f^8+g^8+h^8$$ (where the solutions should be non-trivial and primitive) and he stated the known result that in 2006, Nuutti Kuosa discovered...

The problem was motivated by this related MSE question, although the recurrence here is structurally different. Let $f, g : \mathbb{Z}_{>0} \to \mathbb{Z}_{>0}$ satisfy $$f(n) \ge n+1, \qquad g(n) \ge (1+\varepsilon)n$$ for some fixed $\varepsilon > 0$. Consider $$a_{n+2} = a_{n+1} \bigl(1 +...

We are to prove that if $n$ is fixed natural number then exists arithmetic $a_n$ and geometric $b_n$ sequences of integers that: $$b_1 < a_1 < b_2 < a_2 < \ldots < b_n < a_n.$$ Sketch It’s equivalent to construct such sequences of fractions – we can always multiply by such large $N$ as is...

I observed experimentally that for every positive integer $a$, the interval $$ (a,11a/5] $$ seems to contain at least $\lfloor\sqrt a\rfloor$ primes. Equivalently, if $\pi(x)$ denotes the prime-counting function, the claim is $$ \pi(11a/5)-\pi(a)\ge \lfloor\sqrt a\rfloor $$ for every positive...

Let $S$ be a Dedekind scheme (using the less conventional definition: locally Noetherian, irreducible, all stalks normal and $\dim S \le 1$), $X$ an irreducible scheme, and $f: X \to S$ a dominant morphism of finite type. Consider a point $s \in S$, and let $T = \operatorname{Spec}...

I try to understand what the Grassmannian $\operatorname{Gr}(2, F^3)$ (over some field $F$) looks like geometrically (in as far this term makes sense when we do not specify the field), and in particular how two subsets (specified below) divide the whole thing among them. To my shame I do not...

Semiprime Covering of Residue Classes Modulo a Primorial Let $p$ and $q$ be consecutive primes, with $q$ the smallest prime greater than $p$, and let $p\#=\prod_{\ell\le p,\ \ell\text{ prime}}\ell$ denote the primorial of $p$. Let $\mathcal S$ denote the set of semiprimes, $\mathcal...

This is in regards to building the DAG and showing the structural organization of the system rather than the superficial view of the Syracuse map

Let $S$ be a K3 surface over some field $k$. That is, $S$ is a nice variety over $k$ such that the canonical bundle $\omega_S$ is trivial and $H^1(S, \mathcal{O}_S) = 0$. As an exercise for myself, I wanted to see if I can compute the Hodge numbers $h^{p,q} := \dim_k H^q(S,\Omega^p_S)$. I have...

Let $p$ be an odd prime and $a\geq 1$. Consider the reduced residue system modulo $p^a$, namely the set of integers $x$ such that $$ 1\leq x\leq p^a,\qquad \gcd(x,p)=1 $$ I would like to determine the following power sum modulo $p^a$: $$ S_k=\sum_{\substack{1\leq x\leq p^a\\ \gcd(x,p)=1}}x^k...

Are there injections $\phi:SL_2(\mathbb{Z})\to M^{n\times n}(\mathbb{Z})$ that decrease the size of the coefficients? For the application I have in mind, coefficient growth is exponential in the word length w.r.t. a generating set, e.g. the maximum entry of words of length $n$ in the generators...

(I'm sorry for my English.) Hello. I have been reading the book Advanced Topics in the Arithmetic of Elliptic Curves written by Joseph H. Silverman. In the course of the proof of Tate's algorithm (page 375, at the end of the proof of Step 8), there is an equality on the order as follows:...

It is a well-known fact that there exists a non‑principal ultrafilter $\mathcal{U}$ on the set of prime numbers such that the ultraproduct of the algebraic closures of the finite fields is isomorphic to the complex numbers: $$ \mathbb{C}\;\cong\; \prod_{\mathcal{U}}\ \overline{\mathbb{F}}_p . $$...

I have a question regarding this paper by Tenenbaum and Bréteché. They define $$ S_\alpha(\mathcal{M}) = \sum_{m,n\in\mathcal{M}} \frac{(m,n)^\alpha}{[m,n]^\alpha} = \sum_{m,n\in\mathcal{M}} \biggl( \frac{(m,n)^2}{mn} \biggr)^\alpha \quad\text{and}\quad \Gamma_{\alpha}(N) =...

$\def\Z{{\Bbb Z}}\let\f\frac\let\d\delta$Concerning binary forms, there is something I don’t understand: Let $F$ be a form $F=aX^2+2bXY+cY^2$, $a,b,c\in\Z$ or $\Z_2$. Let assume $F$ to be primitive, that is $a$ or $c$ odd, and so invertible (or unit) in $\Z_2$. I write $$F=a\left(X+\f...

List of Mersenne prime exponents: [2,3,5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583,...