• 3 (mod 6): e.g., 3, 9, 15—divisible by 3; only 3 is prime, excluded.
• 4 (mod 6): e.g., 4, 10, 16—all divisible by 2, composite.
• 1 (mod 6): e.g., 7, 13, 19—potential primes.
• 5 (mod 6): e.g., 5, 11, 17—potential primes.
Thus, all primes p > 3 are congruent to 1 or 5 modulo 6.
Define: - P
1
= {p prime : p > 3, p ≡ 1 (mod 6)}, e.g., {7, 13, 19, . . . }, - P
5
=
{p prime : p > 3, p ≡ 5 (mod 6)}, e.g., {5, 11, 17, . . . }, - P = P
1
∪ P
5
, - S = {n ∈ Z
+
:
n =
Q
p∈P
p
e
p
, e
p
≥ 0}, the multiplicative monoid generated by P (including 1 when all
e
p
= 0).
Every n ∈ S is congruent to 1 or 5 modulo 6, as products of elements in P remain in
these classes.
3 Multiplicative Closure and Algebraic Structure
The set S is closed under multiplication:
• 1 · 1 = 1 (mod 6), e.g., 7 · 13 = 91 ≡ 1,
• 1 · 5 = 5 (mod 6), e.g., 7 · 5 = 35 ≡ 5,
• 5 · 5 = 25 ≡ 1 (mod 6), e.g., 5 · 11 = 55 ≡ 5, 11 · 11 = 121 ≡ 1.
Partition S = S
1
∪ S
5
, where: - S
1
= {n ∈ S : n ≡ 1 (mod 6)}, - S
5
= {n ∈ S : n ≡ 5
(mod 6)}.
For n =
Q
p
e
i
i
, let m =
P
p
i
≡5
e
i
(sum of exponents of primes 5 mod 6). Since 5 ≡ −1
(mod 6) and 1 ≡ 1 (mod 6),
n ≡
Y
(1)
e
i
·
Y
(5)
e
j
≡ 1 · (−1)
m
≡ (−1)
m
(mod 6).
- m even: n ≡ 1 (mod 6), e.g., 5
2
· 11 = 275, m = 2 + 1 = 3 odd, but 5 · 5 = 25 ≡ 1,
25 · 11 = 275 ≡ 5, - m odd: n ≡ 5 (mod 6).
This defines a Z/2Z-grading: degree 0 for S
1
, degree 1 for S
5
.
4 Combinatorial Elimination of Composites
4.1 Stage 1: Restricting to S
By excluding numbers divisible by 2 or 3, S contains all n ≡ 1 or 5 (mod 6), including
primes and composites (e.g., 25 = 5
2
, 35 = 5 × 7).
4.2 Stage 2: Exhausting Composites
Generate all composites in S as products of two or more factors from P : - 5
2
= 25 ≡ 1,
- 5 · 7 = 35 ≡ 5, - 5 · 7 · 11 = 385 ≡ 1 (5 · 5 = 25 ≡ 1, 25 · 11 = 385), - 5
2
· 7
3
· 11 =
25 · 343 · 11 = 94325 ≡ 5 (25 ≡ 1, 343 ≡ 1, 11 ≡ 5).
Up to 50, list S: 1, 5, 7, 11, 13, 17, 19, 23, 25, 29, 31, 35, 37, 41, 43, 47, 49. Composites
include: - 25 = 5
2
, - 35 = 5 × 7, - 49 = 7
2
.
Remaining: 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47—all primes.
2