Unter der
β
{\displaystyle {}\beta }
-Funktion
versteht man die Abbildung
N
3
⟶
N
,
(
p
,
n
,
i
)
⟼
β
(
p
,
n
,
i
)
,
{\displaystyle \mathbb {N} ^{3}\longrightarrow \mathbb {N} ,\,(p,n,i)\longmapsto \beta (p,n,i),}
die folgendermaßen festgelegt ist.
β
(
p
,
n
,
i
)
{\displaystyle {}\beta (p,n,i)}
ist die kleinste Zahl
a
∈
N
{\displaystyle {}a\in \mathbb {N} }
, die die Bedingung erfüllt, dass es natürliche Zahlen
b
0
,
b
1
,
b
2
{\displaystyle {}b_{0},b_{1},b_{2}}
gibt, die die folgenden Eigenschaften erfüllen:
n
=
b
0
+
b
1
(
(
i
+
1
)
+
a
p
+
b
2
p
2
)
{\displaystyle {}n=b_{0}+b_{1}{\left((i+1)+ap+b_{2}p^{2}\right)}}
.
a
<
p
{\displaystyle {}a<p}
.
b
0
<
b
1
{\displaystyle {}b_{0}<b_{1}}
.
b
1
{\displaystyle {}b_{1}}
ist eine Quadratzahl.
Alle Teiler
d
≠
1
{\displaystyle {}d\neq 1}
von
b
1
{\displaystyle {}b_{1}}
sind ein Vielfaches von
p
{\displaystyle {}p}
.
Wenn kein solches
a
{\displaystyle {}a}
existiert, so ist
β
(
p
,
n
,
i
)
=
0
{\displaystyle {}\beta (p,n,i)=0}
.