A cyclic group is a group that can be generated by a single element, meaning every element in the group can be expressed as a power of this generator. Cyclic groups are always abelian, and they can be finite or infinite, with their structure being closely tied to the properties of integers under addition or multiplication modulo n.