A partir de trois modules a, b, c, avec opérations + et –, génération

Tableau pour la théorie des trois modules, relations de divisibilité : le signe + signifie que le module sur la ligne est diviseur du module dans la colonne. Le signe – signifie que le module sur la ligne est multiple du module dans la colonne.

Calculs + et - sur des modules finis. Résultats sur les Modulgruppen avec hypothèse b+c=c+a=a+b et a+b+c=d'''' Dans le Modulgruppe généré par 3 modules, il faut que le nächste Vielfache de a, b, c soit a+b+c

Pour ρ=0 et δ=1 solution unique des conditions ρ+δ=1, ρc₁>b₁, δc₁>a, alors on doit avoir c₁ différent de 0, et de plus c₁>a et b₁-a=a-b=c₃=0. La suite se déduit de la théorie des trois modules.