Es sei K {\displaystyle {}K} ein Körper, seien a , b ∈ N {\displaystyle {}a,b\in \mathbb {N} } teilerfremde Zahlen und sei X a − Y b ∈ K [ X , Y ] {\displaystyle {}X^{a}-Y^{b}\in K[X,Y]} das zugehörige binomiale Polynom. Es sei M = ⟨ a , b ⟩ ⊆ N {\displaystyle {}M=\langle a,b\rangle \subseteq \mathbb {N} } das von a {\displaystyle {}a} und b {\displaystyle {}b} erzeugte Untermonoid.
Dann ist
ein
Körper,
seien
teilerfremde
Zahlen und sei
![{\displaystyle {}X^{a}-Y^{b}\in K[X,Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b44c29bb4797d2ace1957141d5c600675371fc7)
das zugehörige
binomiale Polynom.
Es sei
das von
und 
erzeugte Untermonoid.
![{\displaystyle {}K[M]\cong K[X,Y]/{\left(X^{a}-Y^{b}\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f21e8a3cca3262f6c56fe02f1d35850846907de)
