Related papers: On a criterion for Catalan's Conjecture

We prove that if $p$ is an odd prime, $G$ is a solvable group, and the average value of the irreducible characters of $G$ whose degrees are not divisible by $p$ is strictly less than $2(p+1)/(p+3)$, then $G$ is $p$-nilpotent. We show that…

Let G be a finite group, p a fixed prime and P a Sylow p-subgroup of G. In this short note we prove that if p is odd, G is p-nilpotent if and only if P controls fusion of cyclic groups of order p. For the case p=2, we show that G is…

A computational proof is given for congruences modulo $p$ for the class equation $H_{-28p}(X)$, when the prime $p$ satisfies $p \equiv 3$ (mod $4$), and for the product $H_{-7p}(X) H_{-28p}(X)$, when $p \equiv 1$ (mod $4$).

We propose a method to determine the solvability of the diophantine equation $x^2-Dy^2=n$ for the following two cases: $(1)$ $D=pq$, where $p,q\equiv 1 \mod 4$ are distinct primes with $(\frac{q}{p})=1$ and…

In this paper we establish some new congruences involving central binomial coefficients as well as Catalan numbers. Let $p$ be a prime and let $a$ be any positive integer. We determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}$ mod $p^2$ for…

Let $P$ be a Sylow $p$-subgroup of a finite $p$-solvable group $G$, where $p$ is a prime. Using a normal $p$-series $\mathcal{N}$ of $G$, we introduce the notion of $(\mathcal{N},p)$-stable characters and prove that $G$ and ${\bf N}_G(P)$…

Consider an automorphism group of a finite-dimensional algebra. S. Halperin conjectured that the unity component of this group is solvable if the algebra is a complete intersection. The solvability criterion recently obtained by M. Schulze…

Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: $$\sum_{0<i_1<...<i_n<p}(i_1/3)(-1)^{i_1}/(i_1...i_n)=0 (mod p).$$

Let K be a totally real Galois number field and let A be a set of elliptic curves over K. We give sufficient conditions for the existence of a finite computable set of rational primes P such that for p not in P and E in A, the…

We show that the existence of a non-trivial solution of $x^n+y^n=p^n$, with $p$ a prime number, is equivalent to the existence of a solution of a certain (over-determined) system of $(n-1)$-recursion relations ("zipper" equations) in…

In this paper, we confirm several conjectures posed by Sun recently; for example, we prove that for any odd prime $p$ we have $$ \sum_{k=0}^{p-1}A_k\equiv\begin{cases}4x^2-2p\pmod{p^2}\quad&\text{if $p=x^2+2y^2\ (x,y\in\mathbb{Z})$},\\…

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…

We investigate the consecutive primes $p$ and $q$ ($p > q$) for which there exists a pair of natural numbers $(x,y)$ such that $p^x-q^y$ is a perfect square and make some conjectures.

Let $G$ be a finite group, $p$ a prime and $P$ a Sylow $p$-subgroup of $G$. In this note we give a cohomological criterion for the $p$-solvability of $G$ depending on the cohomology in degree $1$ with coefficients in $\mathbb F_p$ of both…

In this paper we prove that for any prime $p\ge 11$ holds $$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} +4p^2\sum_{1\le i<j\le p-1}\frac{1}{ij}\pmod{p^7}. $$ This is a generalization of the famous Wolstenholme's theorem which…

We show that substantially more than a quarter of the odd integers of the form $pq$ up to $x$, with $p,q$ both prime, satisfy $p\equiv q\equiv 3 \pmod 4$.

In this paper, we prove that the equation $x^2-(p^{2k+2}+1)y^2=-p^{2l+1}$, $l \in \{0,1,\dots,k\}, k \geq 0$, where $p$ is an odd prime number, is not solvable in positive integers $x$ and $y$. By combining that result with other known…

Let $G$ be a finite group, let $x \in G$, and let $p$ be a prime. We prove that the commutator $[x,g]$ is a $p$-element for every $g \in G$ if and only if $x$ is central modulo $\mathbf{O}_p(G)$, where $\mathbf{O}_p(G)$ denotes the largest…

We consider small solutions of quadratic congruences of the form $x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv 0 \bmod{q}$, where $q=p^m$ is an odd prime power. Here, $\alpha_2$ is arbitrary but fixed and $\alpha_3$ is variable, and we assume…

Let $p$ be an odd prime and let $d$ be an integer not divisible by $p$. We prove that $$ \prod_{1\le m,n\le p-1\atop p\nmid m^2-dn^2}\ (x-(m+n\sqrt{d})) \equiv \begin{cases}\sum_{k=1}^{p-2}\frac{k(k+1)}2x^{(k-1)(p-1)}\pmod p &\text{if}\…