# 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.

-

The last part of the question is not entirely clear to me, but if you impose the restriction that the group be nonabelian then there are no qualifying groups of orders 1, 2, 3, 4, 5, 7, 9, 11, 13, 15, 17, 19, 23, 25, 29, .... These numbers are tabulated at the Online Encyclopedia of Integers Sequences.

-

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

In fact ( you can use Upward-lowenheim skolem or compactness theorem from logic to show), there are groups of every infinite cardinality.

-
May I ask inform me any refrences about what you claimed above (you can...). Thanks –  B. S. Jun 22 '12 at 7:19
This result is far more general and holds for arbitrary structures with certain properties. To find these theorems and learn model theory, I would recommend Model Theory: an Introduction by David Marker. –  William Jun 22 '12 at 7:41
Thanks for the reference. –  B. S. Jun 22 '12 at 7:43