Mathematics
Level 1/Group Theory

5. Finite Cyclic Groups

-----

A cyclic group is a group that can be generated by repeatedly applying the group operation to a single element.

A finite cyclic group of order nn is just a set of nn elements where we "wrap around" after reaching nn, using addition modulo nn.

 

Modulo

For any integer aa and natural number n1n \ge 1, if you divide aa by nn, you get

a=(qn)+ra = (q \cdot n) + r

where qq is the quotient and rr is the remainder

  • The remainder satisfies 0rn10 \le r \le n - 1
  • This remainder is written as
amodn=ra \mod n = r

Example

23mod4=323 \mod 4 = 3

because 23=(54)+323 = (5 \cdot 4) + 3

 

Set of Remainders

Zn={0,1,2,...,n1}\dfrac{\Z}{n} = \{0, 1, 2, ..., n-1\}

these are all the possible remainders when dividing integers by nn

 

The Operation: Addition Modulo n

We define an operation \cdot on Zn\dfrac{\Z}{n} as

ab=(a+b)modna \cdot b = (a + b) \mod n

Example

For n=5n = 5 34\quad \to \quad 3 \cdot 4

3+4=7,7mod5=23 + 4 = 7, \quad 7 \mod 5 = 2

so   34=2\; 3 \cdot 4 = 2

 

Finite Cyclic Groups

If a group GG has finitely many elements, the order of GG is just the number of elements it contains

In Zn\dfrac{\Z}{n} with addition modulo nn, starting from 00 and repeatedly adding 11 generates all the elements

0,1,2,...,n10, 1, 2,..., n-1

this is known as "clock arithmetic", after reaching n1n-1, you cycle back to 00

Example

n=4n=4, the elements of Z4\dfrac{\Z}{4} are

0,0+1=1,1+1=2,2+1=3,3+1=0mod40, \quad 0 + 1 = 1, \quad 1 + 1 = 2, \quad 2 + 1 = 3, \quad 3 + 1 = 0 \mod 4

when we get to 44, 4mod4=0\quad 4 \mod 4 = 0

so our group GG is

{0,1,2,3}\{0, 1, 2, 3\}

Group Table (Cayley Table)

For small finite groups, we can display all possible compositions aba \cdot b in a group table

Procedure

  1. List all elements of the group down the left column (choices for aa)
  2. List all elements of the group down the right column (choices for bb)
  3. Fill each cell with the result of aba \cdot b

Example

Addition modulo n=4n=4, Z4\dfrac{\Z}{4}

+0123
00123
11230
22301
33012