For finite group $G$ of order $n$ such that there exists a unique subgroup of order equal to each positive divisor of $n$. Is it necessarily cyclic?
At most one subgroup of every order dividing $\lvert G\rvert$ implies $G$ cyclic