Let
be an Infinite Abelian Semigroup with linear order
such that
is the unit element and Implies for . Define a Möbius Function on by and

for , 3, .... Further suppose that (the true Möbius Function) for all . Then Braun's conjecture states that

for all .

**References**

Flath, A. and Zulauf, A. ``Does the Möbius Function Determine Multiplicative Arithmetic?'' *Amer. Math. Monthly* **102**, 354-256, 1995.

© 1996-9

1999-05-26