Related papers: On a criterion for Catalan's Conjecture

We show that only a rather small proportion of linear equations are solvable in elements of a fixed finitely generated subgroup of a multiplicative group of a number field. The argument is based on modular techniques combined with a…

In an earlier paper, "Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem" (math/0206302), I argued that a constructive interpretation of Goedel's reasoning establishes any formal system of…

Sun proposed a list of congruence and quadratic-residue conjectures for determinants and permanents over residue classes modulo a prime. This article gives a uniform treatment of Conjectures 4.6, 4.7, 4.8(ii), 4.9, 4.10(ii), 4.11 and 4.12…

We prove several results which imply the following consequences. For any $\varepsilon>0$ and any sufficiently large prime $p$, if $\cI_1,\ldots, \cI_{13}$ are intervals of cardinalities $|\cI_j|>p^{1/4+\varepsilon}$ and $abc\not\equiv…

In [3], the authors proved that uniqueness holds among solutions whose exponentials are $L^p$ with $p$ bigger than a constant $\gamma$ ($p\textgreater{}\gamma$). In this paper, we consider the critical case: $p=\gamma$. We prove that the…

Let f(n)= Sum binomial(n,k)^(-1). First, we show that f:N to Q_p is nowhere continuous in the p-adic topology. If x is a p-adic integer, we say that f(x) is p-definable if lim f(x_j) exists in Q_p, where x_j denotes the jth partial sum for…

We give a simple matrix-based proof of congruence equations modulo a prime $p$ involving sums of binomial coefficients appearing in Pascal's triangle. These equations can be used to construct some groups of exponent $p^n$. These groups, as…

Let $p>3$ be a prime. Euler numbers $E_{p-3}$ first appeared in H. S. Vandiver's work (1940) in connection with the first case of Fermat Last Theorem. Vandiver proved that $x^p+y^p=z^p$ has no solution for integers $x,y,z$ with…

Let $p>2$ be a prime. We give examples of smooth absolutely irreducible representations of $\mathrm{GL}_2(\mathbb{Q}_{p^3})$ over $\mathbb{F}_{p^3}$ which are not admissible.

We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation. Our main result is that already its quasi-identities are undecidable:…

In this article, we shall generalize a theorem due to Frobenius in group theory, which asserts that if $p$ is a prime and $p^{r}$ divides the order of a finite group, then the number of subgroups of order $p^{r}$ is $\equiv$ 1(mod $p$).…

Denote by $\pi(x;q,a)$ the number of primes $p\leqslant x$ with $p\equiv a\bmod q.$ We prove new upper bounds for $\pi(x;q,a)$ when $q$ is a large prime very close to $\sqrt{x}$, improving upon the classical work of Iwaniec (1982). The…

Let $\Bbb Z$ be the set of integers, and let $p$ be a prime of the form $4k+1$. Suppose $q\in\Bbb Z$, $2\nmid q$, $p\nmid q$, $p=c^2+d^2$, $c,d\in\Bbb Z$ and $c\equiv 1\pmod 4$. In this paper we continue to discuss congruences for…

Let $p$ and $q$ be different primes and let $G$ be a finite $q$-solvable group. We prove that $\mathrm{Irr}_{p'}(G)\subseteq \mathrm{Irr}_{q'}(G)$ if and only if $\mathbf{N}_G(P)\subseteq \mathbf{N}_G(Q)$ and $\mathbf{C}_{Q'}(P)=1$ for some…

Let $G$ be a finite group and let $\pi$ be a set of primes. In this paper, we prove a criterion for the existence of a solvable $\pi$-Hall subgroup of $G$, precisely, the group $G$ has a solvable $\pi$-Hall subgroup if, and only if, $G$ has…

We prove that odd unbounded p-summable Fredholm modules are also bounded p-summable Fredholm modules (this is the odd counterpart of a result of A. Connes for the case of even Fredholm modules).

We prove a recent conjecture due to Deutsch, Sagan, and Wilson stating that the finite sequence obtained from the first p central trinomial coefficients modulo p by replacing nonzero terms by 1's is palindromic, for any prime number p > 3.…

A conjecture posed by Chalmoukis in 2020 states that if $T_{g,a}:H^p\to H^q(0<q<p<\infty)$ is bounded, then $g$ must be in $H^{\frac{pq}{p-q}}$. In this article, we provide a positive answer to the aforementioned conjecture. We also…

We determine the sharpest constant $C_{p,q,r}$ such that for all complex matrices $X$ and $Y$, and for Schatten $p$-, $q$- and $r$-norms the inequality $$ \|XY-YX\|_p\leq C_{p,q,r}\|X\|_q\|Y\|_r $$ is valid. The main theoretical tool in our…

We say that two elliptic curves $E$ and $F$ over $\mathbb{Q}$ are congruent modulo a prime $p$ if their $p$-torsion Galois modules (over the algebraic closure of $\mathbb{Q}$) are isomorphic. Such a congruence is called trivial if there is…