布劳恩猜想

令 是一个 无限 阿贝尔 半群，带有线性序 使得 是单位元且 蕴含 对于 。 定义一个 莫比乌斯函数 在 上，定义为 且

对于 , 3, .... 进一步假设 （真正的 莫比乌斯函数）对于所有 。 那么布劳恩猜想陈述为

对于所有 。