Observe the behavior of Gn for small values of n .

Suppose n=4.
ThenG n is composed of the following elements :

B 0=
A0

A3

A2

A1

B0

B1

B2

B3

A0

A0

A3

A2

A1

B0

B1

B2

B3

A1

A1

A0

A3

A2

B1

B2

B3

B0

A2

A2

A1

A0

A3

B2

B3

B0

B1

A3

A3

A2

A1

A0

B3

B0

B1

B2

B0

B0

B1

B2

B3

A0

A3

A2

A1

B1

B1

B2

B3

B0

A1

A0

A3

A2

B2

B2

B3

B0

B1

A2

A1

A0

A3

B3

B3

B0

B1

B2

A3

A2

A1

A0

The corresponding multiplication table is as follows :

0
e2 i

e 2 i
=0 1
1 0
0

)( )

Define a function :G 4 D4 such that :

( Ai ) =Ri

( B j ) =F j

where Ri arethe rotation symmetriesF j arethe reflection symmetries .

But the table for D4 can be constructed the same way the table of Gn was constructed ,
that is , by replacingthe A 'i s with R'i sthe B 'j s with F 'j s . ( Cabillan , et . al. )
It is clearthis way , that is bijectiveat the same time, homomorphic .

Therefore ,G 4 D 4

 general :

Let n=2 k ,G n ={ A i , Bi|0 i 2 k1 }, where :

A0

A 2 k1

A 2 k2 A 3

A2

A1

B0

B1

B2

B 2 k3

B 2 k2

B 2 k1

A0

A0

A 2 k1

A 2 k2 A 3

A2

A1

B0

B1

B2

B 2 k3

B 2 k2

B 2 k1

A1

A1

A0

A 2 k1 A 4

A3

A2

B1

B2

B3

B 2 k2

B 2 k1

B0

A2

A2

A1

A0

A5

A4

A3

B2

B3

B4

B 2 k1

B0

B1

A 2 k3

A 2 k3 A 2 k4

A 2 k5 A 0

A 2 k1 A 2 k2 B 2 k3 B 2 k2 B 2 k1 B 2 k6

B 2 k5

B 2 k4

A 2 k2

A 2 k2 A 2 k3

A 2 k4 A 1

A0

A 2 k1 B 2 k2 B 2 k1 B 0

B 2 k5

B 2 k4

B 2 k3

A 2 k1

A 2 k1 A 2 k2

A 2 k3 A 2

A1

A0

B 2 k4

B 2 k3

B 2 k2

B0

B0

B1

B2

B 2 k3 B 2 k2 B 2 k1

A0

A 2 k1 A 2 k2 A 3

A2

A1

B1

B1

B2

B3

B 2 k2 B 2 k1 B 0

A1

A0

A 2 k1 A 4

A3

A2

B2

B2

B3

B4

B 2 k1 B 0

B1

A2

A1

A0

A5

A4

A3

B 2 k3

B 2 k3

B 2 k2
B 2 k1

B 2 k2

B 2 k1 B 0

B1

B 2 k1

B 2 k6 B 2 k5 B 2 k4

A 2 k3

A 2 k4 A 2 k5 A 0

A 2 k1

A 2 k2

B 2 k2 B 2 k1

B0

B 2 k5 B 2 k4 B 2 k3

A 2 k2

A 2 k3 A 2 k4 A 1

A0

A 2 k1

B 2 k1 B 0

B1

B 2 k4 B 2 k3 B 2 k2

A 2 k1 A 2 k2 A 2 k3 A 2

A1

A0

for 1 j 2 k 1
The resulting multiplication table for Gn is as follows :

general , we have the following relations :

A iA j= A i+ j(mod n)

A iB j=Bi+ j(mod n)

B iA j=Bi j (mod n)

B iB j =A i j (mod n)
Define a function :G n D n such that :
( Ai ) =Ri

( B j ) =F j

where Ri is the

( 360n i )degree rotation symmetry ,0 i 2 k1

'

F j s are the different reflection

symmetries .

( Cabillan ,2015 ) But for R'i sF 'i sDn , we have the following relations :
RiR j=Ri + j (mod n)
RiF j =Fi + j (mod n )
FiR j =Fi j(mod n)
FiF j=Ri j(mod n)
Observe that this isthe same relations we have when we generalized the relations between
Thisdirectly shows that is both bijectivehomomorhphic .

thus ,Gn D n .

'

'

the A i sB i sGn .