Additive structure of Z(.) mod m_k (squarefree) and Goldbach's Conjecture

N. F. Benschop

Home/Archive/arXiv

arXiv · math/0103091

Additive structure of Z(.) mod m_k (squarefree) and Goldbach's Conjecture

N. F. Benschop

View original source ↗Read source document ↗Export metadata ↓

Abstract

The product m_k of the first k primes (2..p_k) has neighbours m_k +/- 1 with all prime divisors beyond p_k, implying there are infinitely many primes [Euclid]. All primes between p_k and m_k are in the group G_1 of units in semigroup Z_{m_k}(.) of mutiplication mod m_k. Due to the squarefree modulus Z_{m_k} is a disjoint union of 2^k groups, with as many idempotents - one per divisor of m_k, which form a Boolean lattice BL. The generators of Z_{m_k} and the additive properties of its lattice are studied. It is shown that each complementary pair in BL adds to 1 mod m_k and each even idempotent e in BL has successor e+1 in G_1. It follows that G_1+G_1 \equiv E, the set of even residues in Z_{m_k}, so each even residue is the sum of two roots of unity, proving "Goldbach for Residues" mod m_k ("GR"). . . . Induction on k by extending residues mod m_k with "carry" a < p_{k+1} of weight m_k, yields a prime sieve for integers. Failure of Goldbach's Conjecture ("GC") for some 2n contradicts GR(k) for some k. By Bertrand's Postulate (on prime i 1) successive 2n are in overlapping intervals, while the smallest composite unit in G_1 mod m_k is p_{k+1}^2, yielding "GC": Each 2n > 4 is the sum of two odd primes.

Explore related subjects

math.GM

Keep this discovery

BibTeX RIS

N. F. Benschop. 2009-10-08. Additive structure of Z(.) mod m_k (squarefree) and Goldbach's Conjecture. https://arxiv.org/abs/math/0103091

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM↗

arXiv2026

The decrease in sectional curvature of the Fisher--Rao manifold of beta distributions

In the paper, the author develops a general convexity lemma and applies it to demonstrate the monotonic decrease of a function involving polygamma functions, arising from the sectional curvature of the Fisher--Rao manifold of beta distributions.

math.GM↗

arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM↗