This document defines cyclic groups and discusses their order theorem. It explains that a cyclic group G is generated by a single element a, such that every element of G can be expressed as an power of a. It then proves that the order of a cyclic group equals the order of its generator using the division algorithm, showing that for any integer m, m can be expressed as nq + r, where n is the order of the generator and 0 <= r < n. It provides examples of applications of group theory in fields like physics, biology, crystal structure analysis, and coding theory.