# Group of arbitrary order

Can we construct a group of order $n$ for any $n \in \mathbb{Z}^+$ i.e set of positive integers? Are there theorems which characterize the order of any finite group? What is the smallest possible restriction you can have on a group such that there does not exist such a group of particular order.

For every $n$, there is a cyclic group of order $n$.