布勞恩猜想

令 是一個 無限 阿貝爾 半群，帶有線性序 使得 是單位元且 蘊含 對於 。 定義一個 莫比烏斯函式 在 上，定義為 且

對於 , 3, .... 進一步假設 （真正的 莫比烏斯函式）對於所有 。 那麼布勞恩猜想陳述為

對於所有 。