form a cyclic group under multiplication. Here,
z is a generator, but
z2 is not, because its powers fail to produce the odd powers of
z. For any element
g in any group
G, one can form the
subgroup that consists of all its integer
powers: , called the
cyclic subgroup generated by
g. The
order of
g is |⟨
g⟩|, the number of elements in ⟨
g⟩, conventionally abbreviated as |
g|, as ord(
g), or as o(
g). That is, the order of an element is equal to the order of the cyclic subgroup that it generates. A
cyclic group is a group which is equal to one of its cyclic subgroups: for some element
g, called a
generator of
G. For a
finite cyclic group G of order
n we have , where
e is the identity element and whenever (
mod n); in particular , and . An abstract group defined by this multiplication is often denoted C
n, and we say that
G is
isomorphic to the standard cyclic group C
n. Such a group is also isomorphic to
Z/
nZ, the group of integers modulo
n with the addition operation, which is the standard cyclic group in additive notation. Under the isomorphism
χ defined by the identity element
e corresponds to 0, products correspond to sums, and powers correspond to multiples. For example, the set of complex 6th roots of unity: G = \left\{\pm 1, \pm{ \left(\tfrac 1 2 + \tfrac{\sqrt 3}{2}i\right)}, \pm{\left(\tfrac 1 2 - \tfrac{\sqrt 3}{2}i\right)}\right\} forms a group under multiplication. It is cyclic, since it is generated by the
primitive root z = \tfrac 1 2 + \tfrac{\sqrt 3}{2}i=e^{2\pi i/6}: that is,
G = ⟨
z⟩ = { 1,
z,
z2,
z3,
z4,
z5 } with
z6 = 1. Under a change of letters, this is isomorphic to (structurally the same as) the standard cyclic group of order 6, defined as C6 = ⟨
g⟩ = with multiplication
gj ·
gk =
gj+
k (mod 6), so that
g6 =
g0 =
e. These groups are also isomorphic to
Z/6
Z = with the operation of addition
modulo 6, with
zk and
gk corresponding to
k. For example, corresponds to , and corresponds to , and so on. Any element generates its own cyclic subgroup, such as ⟨
z2⟩ = of order 3, isomorphic to C3 and
Z/3
Z; and ⟨
z5⟩ = {
e,
z5,
z10 =
z4,
z15 =
z3,
z20 =
z2,
z25 =
z } =
G, so that
z5 has order 6 and is an alternative generator of
G. Instead of the
quotient notations
Z/
nZ,
Z/(
n), or
Z/
n, some authors denote a finite cyclic group as
Zn, but this clashes with the notation of
number theory, where
Zp denotes a
p-adic number ring, or
localization at a
prime ideal. On the other hand, in an
infinite cyclic group , the powers
gk give distinct elements for all integers
k, so that
G = , and
G is isomorphic to the standard group and to
Z, the additive group of the integers. An example is the first
frieze group. Here there are no finite cycles, and the name "cyclic" may be misleading. To avoid this confusion,
Bourbaki introduced the term
monogenous group for a group with a single generator and restricted "cyclic group" to mean a finite monogenous group, avoiding the term "infinite cyclic group". ==Examples==