  In this paper we attempt to prove Lehmer's conjecture on Ramanujan's tau
function, namely tau(n) is never zero, for each n larger than zero by
investigating the additive group structure attached to tau(n) with the aid of
unique factorization theorem.
