Characteristic Equation --> $ \lambda $ of the set of positive integers $n$ such that every group of order $n$ is (i)
cyclic, (ii) abelian, or (iii) nilpotent.
Say that a positive integer $n > 1$ is a **nilpotent number** if $n = p_1^{a_1} \cdots p_r^{a_r}$
(here the $p_i$'s are distinct prime numbers) and for all $1 \leq i,j \leq r$ and $1 \leq k \leq
a_i$, $p_i^k \not \equiv 1 \pmod{p_j}$. Also, let us say that $1$ is a nilpotent number.
(So, for instance, any prime power is a nilpotent number. A product of two distinct primes $pq$ is a
nilpotent number unless $p \equiv 1 \pmod q$ or $q \equiv 1 \pmod p$.)
Then, for $n \in \mathbb{Z}^+$: