In this paper, we first give several properties with respect to subgroups of self-similar groups in the sense of iterated function system (IFS). We then prove that some subgroups of $p$-adic numbers ${\mathbb{Q}}_p$ are strong self-similar in the sense of IFS.

For m = 3,4,... those pₘ(x) = (m-2)x(x-1)/2 + x with x ∈ ℤ are called generalized m-gonal numbers. Sun (2015) studied for what values of positive integers a,b,c the sum ap₅ + bp₅ + cp₅ is universal over ℤ (i.e., any n ∈ ℕ = 0,1,2,... has the form ap₅(x) + bp₅(y) + cp₅(z) with x,y,z ∈ ℤ). We prove that p₅ + bp₅ + 3p₅ (b = 1,2,3,4,9) and p₅ + 2p₅ + 6p₅ are universal over ℤ, as conjectured by Sun. Sun also conjectured that any n ∈ ℕ can be written as $p₃\left(x\right)+p₅\left(y\right)+p_{11}\left(z\right)$ and 3p₃(x) + p₅(y) + p₇(z) with x,y,z ∈ ℕ; in...

Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{k)/m^k\left(modp²\right)}}$, where h and m are p-adic integers with m ≢ 0 (mod p). For example, we show that if h ≢ 0 (mod p) and $p^a>3$, then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(h{p}^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-h/2)}^k\equiv ((1-2h)/\left(p^a\right))(1+h({(4-2/h)}^{p-1}-1))\left(modp²\right)}}$, where (·/·) denotes the Jacobi symbol. Here is another remarkable congruence: If $p^a>3$ then $\genfrac{}{}{0pt}{}{{\sum }_{k=0}^{p^a-1}(p^a-1}{\genfrac{}{}{0pt}{}{k\left)\right(2k}{{k)(-1)}^k\equiv 3^{p-1}(p^a/3)\left(modp²\right)}}$.

We address the question of when an integer in a totally real number field can be written as the sum of three squared integers from the field and more generally whether it can be represented by a positive definite integral ternary quadratic form over the field. In recent work with Piatetski-Shapiro and Sarnak we have shown that every sufficiently large totally positive square free integer is globally integrally represented if and only if it is so locally at all places, thus essentially resolving...

We consider systems of equations of the form $x_i+x_j=x_k$ and $x_i·x_j=x_k$, which have finitely many integer solutions, proposed by A. Tyszka. For such a system we construct a slightly larger one with much more solutions than the given one.

We give several examples of classes of trace forms for which the ideal of annihilating polynomials is principal. We prove, that in general, the annihilating ideal is not a principal ideal.