Related papers: Multiplicative Subgroups of $\mathbb{Z}_p^*$ that …

In the present paper we prove that there exist infinitely many arithmetic progressions of three different primes $p_1,p_2,p_3=2p_2-p_1$ such that $p_1=x_1^2 + y_1^2 +1$, $p_2=x_2^2 + y_2^2 +1$.

Let $\Bbbk$ be an algebraically closed field of characteristic $p>0$. We study the general structures of $p^n$-dimensional Hopf algebras over $\Bbbk$ with $p^{n-1}$ group-like elements or a primitive element generating a…

Suppose that a binary operation $\circ$ on a finite set $X$ is injective in each variable separately and also associative. It is easy to prove that $(X,\circ)$ must be a group. In this paper we examine what happens if one knows only that a…

For finite p-groups P of class 2 and exponent p the following are invariants of fully refined central decompositions of P: the number of members in the decomposition, the multiset of orders of the members, and the multiset of orders of…

The purpose of this paper is to introduce the notion of a generalized derivation which derivates a prescribed family of smooth vector-valued functions of several variables. The basic calculus rules are established and then a result derived…

We prove a generalisation of Roth's theorem for arithmetic progressions to d-configurations, which are sets of the form {n_i+n_j+a}_{1 \leq i \leq j \leq d} where a, n_1,..., n_d are nonnegative integers, using Roth's original density…

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…

A generalized numerical semigroup is a submonoid of $\mathbb{N}^d$ with finite complement in it. In this work we study some properties of three different classes of generalized numerical semigroups. In particular, we prove that the first…

Let $\mathcal{A}$ and $\mathcal{B}$ be two algebras, let $\mathcal{M}$ be a $\mathcal{B}$-bimodule and let $n$ be a positive integer. A linear mapping $D_n:\mathcal{A} \rightarrow \mathcal{M}$ is called a strongly generalized derivation of…

Let $G$ be a finite Abelian group. For a subset $S \subseteq G$, let $T_3(S)$ denote the number of length three arithemtic progressions in $S$ and Prob[$S$] $= \frac{1}{|S|^2}\sum_{x,y \in S} 1_S(x+y)$. For any $q \ge 1$ and $\alpha \in…

Furstenberg, Glasscock, Bergelson, Beiglboeck have been studied abundance in arithmatic progression on various large sets like piecewise syndetic, central, thick, etc. but also there are so many sets in which abundance in progression is…

The theory of $(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$ is decidable if $a$ is quadratic. If $a$ is the golden ratio, $(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$ defines multiplication by $a$. The results are established by using the…

Let $p$ be a primer number, $n \geq 3$ and integer. Let $f(X) = X^n + a_{n-1}X^{n-1} + \cdots +a_1 X + a_0 \in \mathbb{F}_p[X]$ be a primitive polynomial of degree $n$. Let $C_f$ be the companion matrix of $f(X)$, and $G$ the companion…

We introduce a new problem on the elementary symmetric polynomials $\sigma_k$, stemming from the constraint equations of some modified gravity theory. For which coefficients is a linear combination of $\sigma_k$ $1/p$-concave, with $0 \leq…

In this paper, we employ the Wilf-Zeilberger (WZ) method to prove a supercongruence conjecture posed by Z.-W. Sun: for any prime $p$, \begin{align*} \sum_{k=0}^{\frac{p-3}{2}}\frac{92k^2+61k+9}{(2k+1)64^k}{2k \choose k}{3k \choose k}{4k…

In this paper, based on Serre's $p$-adic family of Eisenstein series, we prove a general family of congruences for Eisenstein series $G_k$ in the form $$ \sum_{i=1}^n g_i(p)G_{f_i(p)}\equiv g_0(p)\mod p^N, $$ where…

For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We…

Let $p$ be a prime and $F$ be a finite field of characteristic $p$. Suppose that $FG$ is the group algebra of the finite $p$-group $G$ over the field $F$. Let $V(FG)$ denote the group of normalized units in $FG$ and let $V_*(FG)$ denote the…

(Dieudonn\'e and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the…

Let $k = \mathbb{Q}(\sqrt {-m})$ and $p \geq 3$ split in $k$. We prove new properties of the $\mathbb{Z}_p$-extensions $K/k$, distinct from the cyclotomic one; we do not assume $K/k$ totally ramified, nor the triviality of the $p$-class…