Advanced Search

Denote by $\lambda \left(n\right)$ Liouville’s function concerning the parity of the number of prime divisors of $n$. Using a theorem of Allouche, Mendès France, and Peyrière and many classical results from the theory of the distribution of prime numbers, we prove that $\lambda \left(n\right)$ is not $k$–automatic for any $k\>2$. This yields that ${\sum }_{n=1}^{\infty }\lambda \left(n\right)X^n\in {𝔽}_p\left[\left[X\right]\right]$ is transcendental over ${𝔽}_p\left(X\right)$ for any prime $p\>2$. Similar results are proven (or reproven) for many common number–theoretic functions, including $\varphi$, $\mu$, $\Omega$, $\omega$, $\rho$, and others.