A Method To Determine of All Non-Isomorphic Groups of Order: Dumitru Vălcan

Download as pdf or txt
Download as pdf or txt
You are on page 1of 38

A method to determine of all non-isomorphic groups of order 16 65

Volume 5, Number 4, 2012


A METHOD TO DETERMINE OF ALL
NON-ISOMORPHIC GROUPS OF ORDER 16
Dumitru Vlcan
Abstract. Many students or teachers ask themselves: Being given a natural number n,
how many non-isomorphic groups of order n exists? The answer, generally, is not yet given.
But, for certain values of the number n have answered this question. The present work
gives a method to determine of all non-isomorphic groups of order 16 and gives descriptions
of all these groups. The results obtained here can be used by students in the senior year,
students in courses or seminars, or other Mathematics teachers are in dierent stages of their
professional development.
Key words: non-isometric groups of order n
The problem of determining all non-isomorphic groups of a given order is not new. She appeared
in the latter part of the nineteenth century and part was solved by Cayley and Frobenius - abelian
case. The problem is still open. In 1905, Dickson presents some general solutions, and in 1992,
Jungnickel solve the problem of uniqueness of the groups of order n.
In [6] Purdea has determined all non-isomorphic groups of order n 10, and I have determined in
[9] all these groups of order n {p, q, pq, p
2
, p
3
}, where p and q are two distinct prime numbers.
In this work we will present a method to determine of all non-isomorphic groups of order 16. In
this context, throughout this paper by group we mean a group (denoted by G) of order 16 in
multiplicative notation and we will denote: by 1 the identity (the "neutral") element of G, by
ord(g) the order of the element g G and by |A| the cardinal of the set A. If A is a subgroup of G,
then |A| is (also) the order of A.
Following the same reasoning as in [9], respectively [10], we will prove the main result of this paper:
Theorem: There are 14 non-isomorphic groups of order 16.
Proof: So, let G be a group of order 16 and Z(G) his center. According to Lagranges theorem and
to Burnsides theorem we have the following cases:
Case I: |Z(G)| = 16. In this case G is commutative and by [3,8.4] and [5,2.2 (p. 86) and 6.1 (p.
97)] it follows that we have the following possibilities:
1) G = G
1

=Z
16
; so, there is an element x G
1
such that ord(x) = 16 and
G
1
= {1, x, x
2
, x
3
, x
4
, x
5
, x
6
, x
7
, x
8
, x
9
, x
10
, x
11
, x
12
, x
13
, x
14
, x
15
}.
For this group see Table 1;
2) G = G
2

=Z
2
Z
8
; so, there are x, y G
2
such that ord(x) = 8, ord(y) = 2, xy = yx and
G
2
= {1, x, x
2
, x
3
, x
4
, x
5
, x
6
, x
7
, y, xy, x
2
y, x
3
y, x
4
y, x
5
y, x
6
y, x
7
y}.
For this group see Table 2;
3) G = G
3

=Z
4
Z
4
; so, there are x, y G
3
such that ord(x) = 4, ord(y) = 4, xy = yx and
G
3
= {1, x, x
2
, x
3
, y, y
2
, y
3
, xy, x
2
y, x
3
y, xy
2
, xy
3
, x
2
y
2
, x
2
y
3
, x
3
y
2
, x
3
y
3
}.
For this group see Table 3;
Volume 5, Number 4, 2012
66 Dumitru Vlcan
4) G = G
4

= Z
2
Z
2
Z
4
; so, there are x, y, z G
4
such that ord(x) = 4, ord(y) = ord(z) = 2,
xy = yx, xz = zx, yz = yz and
G
4
= {1, x, x
2
, x
3
, y, xy, x
2
y, x
3
y, z, xz, x
2
z, x
3
z, yz, xyz, x
2
yz, x
3
yz, x
3
y
3
}.
For this group see Table 4;
5) G = G
5

= Z
2
Z
2
Z
2
Z
2
; so, there are x, y, z, t G
5
such that ord(x) = ord(y) = ord(z) =
ord(t) = 2, xy = yx, xz = zx, xt =tx, yz = zy, yt =ty, zt =tz and
G
5
= {1, x, y, z, t, xy, xz, xt, yz, yt, zt, xyz, xyt, xzt, yzt, xyzt}.
For this group see Table 5.
Case II: |Z(G)| = 8. Then |G/Z(G)| = 2 and since the group G/Z(G) is cyclic, by [5,2.2 (p. 143)]
it follows that G is commutative-contradiction to the hypothesis. So, there is no group G of order
16 with |Z(G)| = 8.
Case III: |Z(G)| = 4. In this case |G/Z(G)| = 4 and according to [8,5.5] the group G/Z(G) is
commutative. Again by [3,8.4] and [5,2.2 (p. 86) and 6.1 (p. 97)] it follows that either G/Z(G)

=Z
4
or G/Z(G)

=Z
2
Z
2
. Since the group Z
4
is cyclic, it follows that only the second possibility holds.
Therefore
G/Z(G) = {Z(G), xZ(G), yZ(G), xyZ(G)}
, where x
2
Z(G), y
2
Z(G) and xyZ(G) = yxZ(G). If xy = yx then G is commutative, which is
impossible. So, xy = yx and there is an element b Z(G) such that yx = xyb. Then
y
2
x = y(yx) = y(xyb) = (yx)yb = xybyb = xy
2
b
2
.
Since y
2
Z(G) it follows that b
2
= 1. On the other hand, Z(G) being a (sub)group of order 4 (of
G) we distinguish the following subcases:
Subcase 1: Assume Z(G)

= Z
4
, so Z(G) = {1, a, a
2
, a
3
}, with a G. From the above proved facts
it follows that yx = xya
2
. Then xy = yxa
2
and we distinguish the following possibilities:
a) x
2
=y
2
=1. Then there is a group G
6
=x, y, a, with x, y and a satisfying the above conditions;
see Table 6.
b) x
2
= 1 and y
2
= c {a, a
2
, a
3
}.
i) If y
2
= a then there is a group G
7
= x, y, a = x, y, with x, y and a satisfying the above
conditions; see Table 7.
ii) If y
2
=a
2
then there is a group G
8
=x, y, a, with x, y and a satisfying the above conditions;
see Table 8.
iii) If y
2
=a
3
then there is a group G
8
=x, y, a, with x, y and a satisfying the above conditions;
see Table 9.
c) x
2
= c and y
2
= d, where c, d {a, a
2
, a
3
}.
i) If x
2
= y
2
= a then there is a group G
10
= x, y, a, with x, y and a satisfying the above
conditions; see Table 10.
ii) If x
2
= a and y
2
= a
2
then there is a group G
11
= x, y, a, with x, y and a satisfying the
above conditions; see Table 11.
iii) If x
2
= a and y
2
= a
3
then there is a group G
12
= x, y, a, with x, y and a satisfying the
above conditions; see Table 12.
iv) If x
2
= y
2
= a
2
then there is a group G
13
= x, y, a, with x, y and a satisfying the above
conditions; see Table 13.
Acta Didactica Napocensia, ISSN 2065-1430
A method to determine of all non-isomorphic groups of order 16 67
v) If x
2
= a
2
and y
2
= a
3
then there is a group G
14
= x, y, a, with x, y and a satisfying the
above conditions; see Table 14.
vi) If x
2
= y
2
= a
3
then there is a group G
15
= x, y, a, with x, y and a satisfying the above
conditions; see Table 15.
Subcase 2: Assume Z(G)

= Z
2
Z
2
, so Z(G) = {1, a, b, ab}, with a, b and ab = ba, a
2
= b
2
= 1.
Since xyZ(G) = yxZ(G), xy = yx and x
2
, y
2
Z(G) it follows that (say) xy = yxa, G = x, y, a, b and
we distinguish the following possibilities:
a) If x
2
= y
2
= 1 then there is a group G
16
= x, y, a, b, with x, y, a and b satisfying the above
conditions; see Table 16.
b) x
2
= 1 and y
2
= c {a, b, ab}.
i) If y
2
= a then there is a group G
17
= x, y, a, b, with x, y, a and b satisfying the above
conditions; see Table 17.
ii) If y
2
= b then there is a group G
18
= x, y, a, b, with x, y, a and b satisfying the above
conditions; see Table 18.
iii) If y
2
= ab then there is a group G
19
= x, y, a, b, with x, y, a and b satisfying the above
conditions; see Table 19.
c) x
2
= d and y
2
= e, where d, e {a, b, ab}.
i) If x
2
= y
2
= a then there is a group G
20
= x, y, a, b, with x, y, a and b satisfying the above
conditions; see Table 20.
ii) If x
2
= a and y
2
= b then there is a group G
21
= x, y, a, b, with x, y, a and b satisfying the
above conditions; see Table 21.
iii) If x
2
= a and y
2
= ab then there is a group G
22
= x, y, a, b, with x, y, a and b satisfying
the above conditions; see Table 22.
iv) If x
2
= y
2
= b then there is a group G
23
= x, y, a, b, with x, y, a and b satisfying the above
conditions; see Table 23.
v) If x
2
= b and y
2
= ab then there is a group G
24
= x, y, a, b, with x, y, a and b satisfying
the above conditions; see Table 24.
vi) If x
2
= ab and y
2
= a then there is a group G
25
= x, y, a, b, with x, y, a and b satisfying
the above conditions; see Table 25.
vii) If x
2
= ab and y
2
= b then there is a group G
26
= x, y, a, b, with x, y, a and b satisfying
the above conditions; see Table 26.
viii) If x
2
= y
2
= ab then there is a group G
27
= x, y, a, b, with x, y, a and b satisfying the
above conditions; see Table 27.
Case IV: |Z(G)| = 2. Then |G/Z(G)| = 8 and according to [6,p.141-142] and [5,2.2 (p. 143)] either
G/Z(G)

=Z
4
Z
2
or G/Z(G)

=Z
2
Z
2
Z
2
, or G/Z(G)

= D
4
, where D
4
is the dihedral group of
order 4, or G/Z(G)

= Q, where Q is the quaternions group.
Therefore Z(G) = a = {1, a}, with a G and a
2
= 1.
Subcase 1: G/Z(G)

=Z
4
Z
2
. It follows that
G/Z(G) = {Z(G), xZ(G), x
2
Z(G), x
3
Z(G), yZ(G), xyZ(G), x
2
yZ(G), x
3
yZ(G)}
, where x, y G, x
4
, y
2
Z(G) and xyZ(G) = yxZ(G). Thus G =< x, y, a > and xy = yxa. But in
these conditions yx
2
= x
2
y and x
2
Z(G)-which is impossible; so, there is no exist group G with
the above properties.
Volume 5, Number 4, 2012
68 Dumitru Vlcan
Subcase 2: G/Z(G)

=Z
2
Z
2
Z
2
. It follows that
G/Z(G) = {Z(G), xZ(G), yZ(G), zZ(G), xyZ(G), xzZ(G), yzZ(G), xyzZ(G)}
, where x, y, z G, x
2
, y
2
, z
2
Z(G) and xyZ(G) = yxZ(G), xzZ(G) = zxZ(G), yzZ(G) = zyZ(G).
Thus we have the following possibilities:
a) yx = xy, zx = xza and yz = zya. In these conditions
z(xy) = (xza)y = x(zya) = (xy)z
and xy Z(G)-which is impossible; so, it doesnt exist group G with the above properties.
b) yx = xya, zx = xz and yz = zya. In these conditions
(xz)y = x(yza) = (yx)z = y(xz)
and xz Z(G)-which is impossible; so, it doesnt exist group G with the above properties.
c) yx = xya, zx = xza and yz = zy. In these conditions
(yz)x = y(xza) = x(yz)
and yz Z(G)-which is impossible; so, it doesnt exist group G with the above properties.
d) yx = xya, zx = xza and yz = zya. Then we obtain the following equalities:
x(xyz) = yz = (xyz)x
,
y(xyz) = xza = (xyz)y
and
z(xyz) = xy = (xyz)z
. Therefore xyz Z(G)-which is impossible. So, also in these conditions there is no group G of
order 16.
Subcase 3: G/Z(G)

= D
4
. It follows that
G/Z(G) = {Z(G), xZ(G), x
2
Z(G), x
3
Z(G), yZ(G), xyZ(G), x
2
yZ(G), x
3
yZ(G)}
, where x, y G, x
4
, y
2
Z(G) and yxZ(G) = x
3
yZ(G). Thus in this subcase we have the following
possibilities:
a) yx = x
3
y.
i) If x
4
= 1 then
yx
2
= (x
3
y)x = x
3
(x
3
y) = x
2
y
and x
2
Z(G)-which is impossible. So, in these conditions there is no group G of order 16.
ii) If x
4
= a and y
2
= 1 then
yx
2
= (x
3
y)x = x
3
(x
3
y) = x
2
ya
and there is a group G
28
= x, y, a, with x, y and a satisfying the above conditions; see Table 28.
iii) If x
4
= y
2
= a then again we obtain that
yx
2
= (x
3
y)x = x
3
(x
3
y) = x
2
ya
Acta Didactica Napocensia, ISSN 2065-1430
A method to determine of all non-isomorphic groups of order 16 69
and there is a group G
29
= x, y, a, with x, y and a satisfying the above conditions; see Table 29.
b) yx = x
3
ya.
i) If x
4
= 1 then again we obtain that
yx
2
= (x
3
y)x = x
3
(x
3
y) = x
2
y
and x
2
Z(G)-which is impossible. So, in these conditions there is no group G of order 16.
ii) If x
4
= a and y
2
= 1 then
yx
2
= (x
3
ya)x = x
3
(x
3
ya)a = x
2
ya
and there is a group G
30
= x, y, a, with x, y and a satisfying the above conditions; see Table 30.
iii) If x
4
= y
2
= a then again we obtain that
yx
2
= (x
3
ya)x = x
3
(x
3
y)a = x
2
y
and x
2
Z(G)-which is impossible. So, in these conditions there is no group G of order 16.
Subcase 4: G/Z(G)

= Q. By [8, p.93] It follows that again
G/Z(G) = {Z(G), xZ(G), x
2
Z(G), x
3
Z(G), yZ(G), xyZ(G), x
2
yZ(G), x
3
yZ(G)}
, where x, y G, x
4
, y
4
Z(G), x
2
Z(G) = y
2
Z(G) and yxZ(G) = x
3
yZ(G). Thus in this subcase we
have the following possibilities:
a) yx = x
3
y and x
2
= y
2
.
i) If x
4
= 1 then
yx
2
= (x
3
y)x = x
3
(x
3
y) = x
2
y
and x
2
Z(G)-which is impossible. So, in these conditions there is no group G of order 16.
ii) If x
4
= a then
yx
2
= (yx)x = x
3
(yx) = x
2
ya
and
y
3
= yy
2
= yx
2
= x
2
ya.
On the other hand,
y
3
= y
2
y = x
2
y
and a = 1-which is impossible. So, in these conditions there is no group G of order 16.
b) yx = x
3
y and x
2
= y
2
a. If x
4
= a then
yx
2
= (x
3
y)x = x
3
(x
3
y) = x
2
ya
and
y
3
= yy
2
= yx
2
a = x
2
y
. On the other hand,
y
3
= y
2
y = x
2
ya
and a = 1-which is impossible. So, in these conditions there is no group G of order 16.
c) yx = x
3
ya and x
2
= y
2
.
i) If x
4
= 1 then
yx
2
= (x
3
ya)x = x
3
(x
3
ya)a = x
2
y
Volume 5, Number 4, 2012
70 Dumitru Vlcan
and x
2
Z(G)-which is impossible. So, in these conditions there is no group G of order 16.
ii) If x
4
= a then
yx
2
= (yx)x = x
3
(yx)a = x
2
ya
and
y
3
= yy
2
= yx
2
= x
2
ya.
On the other hand,
y
3
= y
2
y = x
2
y
and a = 1-which is impossible. So, in these conditions there is no group G of order 16.
d) yx = x
3
ya and x
2
= y
2
a.
i) If x
4
= 1 then
yx
2
= (x
3
ya)x = x
3
(x
3
ya)a = x
2
y
and x
2
Z(G)-which is impossible. So, in these conditions there is no group G of order 16.
ii) If x
4
= a then
yx
2
= (yx)x = x
3
(yx)a = x
2
ya
and
y
3
= yy
2
= yx
2
a = x
2
y.
On the other hand,
y
3
= y
2
y = x
2
ya
and a = 1-which is impossible. So, in these conditions there is no group G of order 16.
It follows that in the conditions from this subcase doesnt exist group G of order 16.
Therefore we have determined 30 groups of order 16. Afterwards we are going to show the following
isomorphisms:
G
6

= G
8

= G
13
,
G
9

= G
10

= G
11

= G
12

= G
14

= G
15
,
G
16

= G
17
and
G
18

= G
19

= G
24

= G
26
,
G
20

= G
21

= G
22

= G
23

= G
25

= G
27
.
By the tables of group it follows the Table 0, which presents all the elements of order 2, 4 and 8 in
each group determined above.
Indeed, using the Table 0, it is straightforward to verify that:
) the map f : G
6
G
8
dened by f (x) = x, f (y) = xy and f (a) = a is an isomorphism of groups
and G
6

= G
8
;
) the map g : G
8
G
13
dened by g(x) = xa, g(y) = y and g(a) = a is an isomorphism of groups
and G
8

= G
13
;
) so, the map g f : G
6
G
13
dened by (g f )(x) = xa, g( f )(y) = xya and (g f )(a) = a is an
isomorphism of groups and G
6

= G
13
.
Similarly, check the other isomorphisms above.
Therefore only 14 groups from these above presented are not isomorphic, namely: G
1
, G
2
, G
3
, G
4
,
G
5
, G
6
, G
7
, G
9
, G
16
, G
18
, G
20
, G
28
, G
29
, G
33
- the rst ve are abelian and last nine non-abelian.
Now the theorem is completely proved.
At the end of this paper we present the Table 0 - above mentioned and the (multiplication) tables
of these 30 groups which have been determined.
Acta Didactica Napocensia, ISSN 2065-1430
A method to determine of all non-isomorphic groups of order 16 71
References
[1] Clugreanu, G., Introduction to Abelian Groups Theory, (in Romanian), Editura Expert,
Cluj-Napoca, 1994.
[2] Dickson, J., E., Denitions of a group and a eld by independent postulates, Trans. Amer.
Math. Soc., 6(1905), p. 198-204.
[3] Fuchs, L., Innite Abelian Groups Theory, Vol. I, Academic Press, New York and London,
Pure and Applied Mathematics, 36, 1970.
[4] Jungnickel, D., On the Uniqueness of the Cyclic Group of Order n, Amer. Math. Monthly,
6(1992), p. 545-547.
[5] Popescu, D., Vraciu, C., Elements of Finite Group Theory, (In Romanian), Editura iinic
i Enciclopedic, Bucureti, 1986.
[6] Purdea, I., On the groups of order n 10, Selected paper from "Didactica Matematicii",
Vol. 1984-1992, "Babe-Bolyai" University, Faculty of Mathematics and Computer Science,
Research Seminars, Cluj-Napoca, 1992, p. 133-144.
[7] Purdea, I., Pic, G., Algebra, (In Romanian), "Babe-Bolyai" University, Faculty of Mathe-
matics and Mechanics, Lit., Cluj-Napoca, 1973.
[8] Rotmann, J., J., The Theory of Groups: An introduction, Allyn and Bacon, Inc., Boston,
1968.
[9] Vlcan, D., On some groups of nite order, (In Romanian), Lucrrile Seminarului de "Didac-
tica Matematicii" Vol. 13(1998), p. 177-182.
[10] Vlcan, D., A method to determine of all non-isomorphic groups of order 12, Creative Math.,
Nr. 14 (2005), p. 57-66.
Authors
Dumitru Vlcan, Babes-Bolyai University, Cluj-Napoca (Romania), E-mail: tdvalcan@yahoo.ca
Volume 5, Number 4, 2012
72 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 0: with the elements of order 2, 4 and 8 in each of the 30 groups determined in the paper.

The group The elements of order 2 The elements of order 4 The elements of order 8
G
1
x
8
x
4
, x
12
x
2
, x
6
, x
10
, x
14

G
2
x
4
, y, x
4
y x
2
, x
6
, x
2
y, x
6
y x, x
3
, x
5
, x
7
xy, x
3
y, x
5
y, x
7
y
G
3
x
2
, y
2
, x
2
y
2
x, x
3
, y, y
3
, xy, x
2
y, x
3
y, xy
2
, xy
3
, x
2
y
3
, x
3
y
2
, x
3
y
3
-
G
4
x
2
, y, x
2
y, z, x
2
z, yz, x
2
yz x, x
3
, xy, x
3
y, xz, x
3
z, xyz, x
3
yz -
G
5
all elements - -
G
6
x, y, a
2
, xa
2
, ya
2
, xya, xya
3
a, a
3
, xa, xa
3
, ya, ya
3
, xy, xya
3
-
G
7
x, a
2
, xa
2
a, a
3
y, xy, ya, ya
2
, ya
3
, xya, xya
2
, xya
3

G
8
x, xy, a
2
, xa
2
, ya, ya
3
, xya
2
y, a, a
3
, xa, xa
3
, ya
2
, xya, xya
3
-
G
9
x, a
2
, xa
2
a, a
3
, xa, xa
3
y, xy, ya, ya
2
, ya
3
, xya, xya
2
, xya
3

G
10
xy, a
2
, xya
2
a, a
3
, xya, xya
3
x, y, xa, xa
2
, xa
3
, ya, ya
2
, ya
3

G
11
a
2
, ya, ya
3
y, a, a
3
, ya
2
x, xy, xa
2
, xa
3
, xya, xya
2
, xya
3

G
12
a
2
, xya, xya
3
xy, a, a
3
, xya
2
x, xy, xa, xa
2
, xa
3
, ya, ya
2
, ya
3

G
13
a
2
, xa, xa
3
, ya, ya
3
, xya, xya
3
x, y, xy, a, a
3
, xa
2
, ya
2
, xya
2
-
G
14
a
2
, xa, xa
3
x, a, a
3
, xa
2
y, xy, ya, ya
2
, ya
3
, xya, xya
2
, xya
3

G
15
xy, a
2
, xya
2
a, a
3
, xya, xya
3
x, y, xa, xa
2
, xa
3
, ya, ya
2
, ya
3

G
16
x, y, a, b, ab, xa, xb, xab, ya, yb, yab xy, xya, xyb, xyab -
G
17
x, xy, a, b, ab, xa, xb, xab, xya, xyb, xyab y, ya, yb, yab -
G
18
x, a, b, ab, xa, xb, xab y, xy, ya, yb, yab, xya, xyb, xyab -
G
19
x, a, b, ab, xa, xb, xab y, xy, ya, yb, yab, xya, xyb, xyab -
G
20
a, b, ab x, y, xy, xa, xb, xab, ya, yb, yab, xya, xyb, xyab -
G
21
a, b, ab x, y, xy, xa, xb, xab, ya, yb, yab, xya, xyb, xyab -
G
22
a, b, ab x, y, xy, xa, xb, xab, ya, yb, yab, xya, xyb, xyab -
G
23
a, b, ab x, y, xy, xa, xb, xab, ya, yb, yab, xya, xyb, xyab -
G
24
xy, a, b, ab, xya, xyb, xyab x, y, xa, xb, xab, ya, yb, yab -
G
25
a, b, ab x, y, xy, xa, xb, xab, ya, yb, yab, xyab, xya, xyb, xyab -
G
26
xy, a, b, ab, xya, xyb, xyab x, y, xa, xb, xab, ya, yb, yab -
G
27
a, b, ab x, y, xy, xa, xb, xab, ya, yb, yab, xya, xyb, xyab -
G
28
y, x
2
y, a, ya, x
2
ya x
2
, xy, x
3
y, x
2
a, xya, x
3
ya x, x
3
, xa, x
3
a
G
29
xy, x
3
y, a, xya, x
3
ya x
2
, y, x
2
y, x
2
a, ya, x
2
ya x, x
3
, xa, x
3
a
G
30
y, xy, x
2
y, x
3
y, a, ya, xya, x
2
ya, x
3
ya x
2
, x
2
a x, x
3
, xa, x
3
a

A method to determine of all non+isometric groups of order 16 73

Volume 5 number 4
OPERATIONS GROUP TABLES

TABLE 1: G
1
Z
16
=<x>, x
16
=1; Z(G
1
)=G
1
.


1 x x
2
x
3
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 1 x x
2
x
3
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
x x x
2
x
3
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1
x
2
x
2
x
3
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x
x
3
x
3
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
4
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
3
x
5
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
3
x
4
x
6
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
3
x
4
x
5
x
7
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
3
x
4
x
5
x
6
x
8
x
8
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
3
x
4
x
5
x
6
x
7
x
9
x
9
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
3
x
4
x
5
x
6
x
7
x
8
x
10
x
10
x
11
x
12
x
13
x
14
x
15
1 x x
2
x
3
x
4
x
5
x
6
x
7
x
8
x
9
x
11
x
11
x
12
x
13
x
14
x
15
1 x X
2
x
3
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
12
x
12
x
13
x
14
x
15
1 X x
2
X
3
x
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
13
x
13
x
14
x
15
1 x x
2
x
3
X
4
x
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
14
x
14
x
15
1 x x
2
x
3
x
4
X
5
x
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
15
x
15
1 x x
2
x
3
x
4
x
5
X
6
x
7
x
8
x
9
x
10
x
11
x
12
x
13
x
14

74 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 2: G
2
Z
8
Z
2
=<x,y>, x
8
=y
2
=1, xy=yx; Z(G
2
)=G
2
.

1 x x
2
x
3
x
4
x
5
x
6
X
7
y xy

x
2
y x
3
y

x
4
y

x
5
y

x
6
y

x
7
y

1 1 x x
2
x
3
x
4
x
5
x
6
X
7
y xy

x
2
y

x
3
y

x
4
y x
5
y x
6
y

x
7
y

x x x
2
x
3
x
4
x
5
x
6
x
7
1 xy

x
2
y

x
3
y

x
4
y

x
5
y

x
6
y

x
7
y

y
x
2
x
2
x
3
x
4
x
5
x
6
x
7
1 x

x
2
y

x
3
y

x
4
y

x
5
y

x
6
y

x
7
y

y xy
x
3
x
3
x
4
x
5
x
6
x
7
1 x

X
2
x
3
y

x
4
y

x
5
y

x
6
y

x
7
y

y xy x
2
y

x
4
x
4
x
5
x
6
x
7
1 x

x
2
X
3
x
4
y

x
5
y

x
6
y

x
7
y

y xy x
2
y

x
3
y

x
5
x
5
x
6
x
7
1 x

x
2
x
3
X
4
x
5
y

x
6
y

x
7
y

y xy x
2
y x
3
y x
4
y
x
6
x
6
x
7
1 x

x
2
x
3
x
4
X
5
x
6
y

x
7
y

y xy x
2
y x
3
y x
4
y x
5
y
x
7
x
7
1 x

x
2
x
3
x
4
x
5
X
6
x
7
y

y xy x
2
y x
3
y x
4
y x
5
y x
6
y
y y

xy

x
2
y

x
3
y

x
4
y

x
5
y

x
6
y

X
7
y

1 x x
2
x
3
x
4
x
5
x
6
x
7
xy

xy

x
2
y

x
3
y

x
4
y

x
5
y

x
6
y

x
7
y

y x x
2
x
3
x
4
x
5
x
6
x
7
1
x
2
y

x
2
y

x
3
y

x
4
y

x
5
y

x
6
y

x
7
y

y xy x
2
x
3
x
4
x
5
x
6
x
7
1 x

x
3
y x
3
y

x
4
y

x
5
y

x
6
y

x
7
y

y xy X
2
y x
3
x
4
x
5
x
6
x
7
1 x

x
2
x
4
y x
4
y

x
5
y

x
6
y

x
7
y

y xy x
2
y X
3
y x
4
x
5
x
6
x
7
1 x

x
2
x
3
x
5
y

x
5
y

x
6
y

x
7
y

y xy x
2
y x
3
y X
4
y x
5
x
6
x
7
1 x

x
2
x
3
x
4
x
6
y

x
6
y

x
7
y

y xy x
2
y x
3
y x
4
y X
5
y x
6
x
7
1 x

x
2
x
3
x
4
x
5
x
7
y

x
7
y

y xy x
2
y x
3
y x
4
y x
5
y X
6
y x
7
1 x

x
2
x
3
x
4
x
5
x
6





A method to determine of all non+isometric groups of order 16 75

Volume 5 number 4

TABLE 3: G
3
Z
4
Z
4
=<x,y>, x
4
=y
4
=1, xy=yx; Z(G
3
)=G
3
.


1 x x
2
x
3
y

y
2
y
3
xy

x
2
y x
3
y xy
2
xy
3
x
2
y
2
x
2
y
3
x
3
y
2
x
3
y
3
1 1 x x
2
x
3
y

y
2
y
3
xy

x
2
y x
3
y

xy
2
xy
3
x
2
y
2
x
2
y
3
x
3
y
2
x
3
y
3
x x x
2
x
3
1 xy

xy
2
xy
3
X
2
y

x
3
y

y

x
2
y
2
x
2
y
3
x
3
y
2
x
3
y
3
y
2
y
3
x
2
x
2
x
3
1 x

x
2
y

x
2
y
2
x
2
y
3
X
3
y

y

xy

x
3
y
2
x
3
y
3
y
2
y
3
xy
2
xy
3
x
3
x
3
1 x

x
2
x
3
y

x
3
y
2
x
3
y
3
y

xy

x
2
y y
2
y
3
xy
2
xy
3
x
2
y
2
x
2
y
3
y

y

xy

x
2
y

x
3
y

y
2
y
3
1 xy
2
x
2
y
2
x
3
y
2
xy
3
x

x
2
y
3
x
2
x
3
y
3
x
3
y
2
y
2
xy
2
x
2
y
2
x
3
y
2
y
3
1 y

xy
3
x
2
y
3
x
3
y
3
x

xy x
2
x
2
y

x
3
x
3
y

y
3
y
3
xy
3
x
2
y
3
x
3
y
3
1 y

y
2
x

x
2
x
3
xy xy
2
x
2
y x
2
y
2
x
3
y

x
3
y
2
xy

xy

x
2
y

x
3
y

y

xy
2
xy
3
x

x
2
y
2
x
3
y
2
y
2
x
2
y
3
x
2
x
3
y
3
x
3
y
3
1
x
2
y x
2
y

x
3
y

y

xy

x
2
y
2
x
2
y
3
x
2
x
3
y
2
y
2
xy
2
x
3
y
3
x
3
y
3
1 xy
3
x

x
3
y x
3
y

y

xy

x
2
y

x
3
y
2
x
3
y
3
x
3
Y
2
xy
2
x
2
y
2
y
3
1 xy
3
x

x
2
y
3
x
2
xy
2
xy
2
x
2
y
2
x
3
y
2
y
2
xy
3
x

xy x
2
y
3
x
3
y
3
y
3
x
2
x
2
y

x
3
x
3
y

1 y

xy
3
xy
3
x
2
y
3
x
3
y
3
y
3
x

xy xy
2
X
2
x
3
1 x
2
y

x
2
y
2
x
3
y

x
3
y
2
y

y
2
x
2
y
2
x
2
y
2
x
3
y
2
y
2
xy
2
x
2
y
3
x
2
x
2
y x
3
y
3
y
3
xy
3
x
3
x
3
y

1 y

x

xy

x
2
y
3
x
2
y
3
x
3
y
3
y
3
xy
3
x
2
x
2
y x
2
y
2
X
3
1 x

x
3
y

x
3
y
2
y

y
2
xy

xy
2
x
3
y
2
x
3
y
2
y
2
xy
2
x
2
y
2
x
3
y
3
x
3
x
3
y

Y
3
xy
3
x
2
y
3
1 y

x

xy

x
2
x
2
y

x
3
y
3
x
3
y
3
y
3
xy
3
x
2
y
3
x
3
x
3
y

x
3
y
2
1 x

x
2
y

y
2
xy

xy
2
x
2
y

x
3
y






76 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 4: G
4
Z
4
Z
2
Z
2
=<x,y,z>, x
4
=y
2
=z
2
=1, xy=yx, yz=zy, xz=zx; Z(G
4
)=G
4
.


1 x x
2
x
3
y

xy

x
2
y X
3
y z

xz

x
2
z x
3
z yz

xyz

x
2
yz x
3
yz
1 1 x x
2
x
3
y

xy

x
2
y X
3
y z

xz

x
2
z x
3
z yz

xyz

x
2
yz x
3
yz
x x x
2
x
3
1 xy

x
2
y x
3
y y

xz

x
2
z x
3
z z

xyz

x
2
yz x
3
yz yz
x
2
x
2
x
3
1 x

x
2
y x
3
y y

xy

x
2
z x
3
z z

xz

x
2
yz x
3
yz yz xyz
x
3
x
3
1 x

x
2
x
3
y y

xy

X
2
y x
3
y z

xz

x
2
z x
3
yz yz xyz x
2
yz
y

y

xy

x
2
y x
3
y 1 x

x
2
X
3
yz

xyz

x
2
yz x
3
yz z xz x
2
z x
3
z
xy

xy

x
2
y x
3
y y

x

x
2
x
3
1 xyz

x
2
yz x
3
yz yz xz x
2
z x
3
z z

x
2
y x
2
y x
3
y y

xy

x
2
x
3
1 x

x
2
yz x
3
yz yz xyz x
2
z x
3
z z

xz

x
3
y x
3
y y

xy

x
2
y x
3
y 1 x

X
2
x
3
yz yz xyz x
2
yz x
3
z z

xz

x
2
z
z

z

xz

x
2
z x
3
z yz

xyz

x
2
yz x
3
yz 1 x x
2
x
3
y

xy

x
2
y x
3
y
xz

xz

x
2
z x
3
z z

xyz

x
2
yz x
3
yz yz x x
2
x
3
1 xy

x
2
y x
3
y y

x
2
z x
2
z x
3
z z

xz

x
2
yz x
3
yz yz xyz x
2
x
3
1 x

x
2
y x
3
y y

xy

x
3
z x
3
z z

xz

x
2
z x
3
yz yz xyz x
2
yz x
3
1 x

x
2
x
3
y y

xy

x
2
y
yz

yz

xyz

x
2
yz x
3
yz z xz x
2
z X
3
z y

xy

x
2
y x
3
y 1 x

x
2
x
3
xyz

xyz

x
2
yz x
3
yz yz xz x
2
z x
3
z z

xy

x
2
y x
3
y y

x

x
2
x
3
1
x
2
yz x
2
yz x
3
yz yz xyz x
2
z x
3
z z

xz

x
2
y x
3
y y

xy

x
2
x
3
1 x

x
3
yz x
3
yz yz xyz x
2
yz x
3
z z

xz

X
2
z x
3
y y

xy

x
2
y x
3
1 x

x
2





A method to determine of all non+isometric groups of order 16 77

Volume 5 number 4

TABLE 5: G
5
Z
2
Z
2
Z
2
Z
2
=<x,y,z,t>, x
2
=y
2
=z
2
=t
2
=1, xy=yx, xz=zx, xt=tx, yz=zy, yt=ty, zt=tz; Z(G
5
)=G
5
.


1 x y

z

t

xy

xz

xt

yz

yt

zt

xyz

xyt

xzt

yzt

xyzt

1 1 x y

z

t xy

xz

xt yz

yt zt xyz

xyt xzt yzt xyzt
x x 1 xy

xz

xt y

z

t xyz

xyt xzt yz

yt zt xyzt yzt
y

y

xy

1 yz

yt x

xyz

xyt z

t yzt xz

xt xyzt zt xzt
z

z

xz

yz

1 zt xyz

x

xzt y

yzt t xy

xyzt xt yt xyt
t

t xt yt zt 1 xyt xzt x

yzt y

z

xyzt xy xz yz

xyz

xy

xy

y

x

xyz

xyt 1 yz

yt xz

xt xyzt z t yzt xzt zt
xz

xz

z

xyz

x

xzt yz

1 zt xy

xyzt xt y yzt t xyt yt
xt

xt t xyt xzt x

yt zt 1 xyzt xy xz yzt y

z

xyz

yz

yz

yz

xyz

z

y

yzt xz

xy

xyzt 1 zt yt x

xzt xyt t xt
yt

yt xyt t yzt y

xt xyzt xy zt 1 yz

xzt x

xyz

z

xz

zt

zt xzt yzt t z

xyzt xt xz yt yz

1 xyt xyz

x

y

xy

xyz

xyz

yz

xz

xy

xyzt z y yzt x

xzt xyt 1 zt yt xt t
xyt

xyt yt xt xyzt xy t yzt y

xzt x

xyz

zt 1 yz

xz

z

xzt

xzt zt xyzt xt xz yzt t z

xyt xyz

x

yt yz

1 xy

y

yzt

yzt xyzt zt yt yz

xzt xyt xyz

t z

y

xt xz

xy

1 x

xyzt

xyzt yzt xzt xyt xyz

zt yt yz

xt xz

xy

t z

y

x

1





78 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 6: G
6
=<x,y,a>, x
2
=y
2
=a
4
=1, yx=xya
2
, Z(G
6
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x 1 xy

y

xa xa
2
xa
3
a a
2
a
3
xya xya
2
xya
3
ya ya
2
ya
3
y

y

xya
2
1 xa
2
ya ya
2
ya
3
xya
3
xy

xya a a
2
a
3
xa
3
x

xa
xy

xy

ya
2
x

a
2
xya xya
2
xya
3
ya
2
y

ya xa xa
2
xa
3
a
3
1 a
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a xya ya xa
2
xa
3
x

A
2
a
3
1 xya
2
xya
3
xy

ya
2
ya
3
y

xa
2
xa
2
a
2
xya
2
ya
2
xa
3
x

xa A
3
1 a xya
3
xy

xya ya
3
y

ya
xa
3
xa
3
a
3
xya
3
ya
3
x

xa xa
2
1 a a
2
xy

xya xya
2
y

ya ya
2
ya

ya xya
3
a xa
3
ya
2
ya
3
y xy

xya xya
2
a
2
a
3
1 x

xa xa
2
ya
2
ya
2
xy

a
2
x

ya
3
y ya xya xya
2
xya
3
a
3
1 a xa xa
2
xa
3
ya
3
ya
3
xya a
3
xa y ya ya
2
xya
2
xya
3
xy

1 a a
2
xa
2
xa
3
x

xya

xya ya
3
xa a
2
xya
2
xya
3
xy

ya
3
ya ya
2
xa
2
xa
3
x

1 a a
2
xya
2
xya
2
y

xa
2
a
3
xya
3
xy

xya y

ya
2
ya
3
xa
3
x

xa a a
2
a
3
xya
3
xya
3
ya xa
3
1 xy

xya xya
2
ya ya
3
y

x

xa xa
2
a
2
a
3
1





A method to determine of all non+isometric groups of order 16 79

Volume 5 number 4

TABLE 7: G
7
=<x,y,a>, x
2
=a
4
=1, y
2
=a, yx=xya
2
, Z(G
7
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x 1 xy

y

xa xa
2
xa
3
a a
2
a
3
xya xya
2
xya
3
ya ya
2
ya
3
y

y

xya
2
a xa
3
ya ya
2
ya
3
xya
3
xy

xya a
2
a
3
1 x

xa xa
2

xy

xy

ya
2
xa a
3
xya xya
2
xya
3
ya
3
y

ya xa
2
xa
3
x

1 a a
2
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a xya ya xa
2
xa
3
x

A
2
a
3
1 xya
2
xya
3
xy

ya
2
ya
3
y

xa
2
xa
2
a
2
xya
2
ya
2
xa
3
x

xa A
3
1 a xya
3
xy

xya ya
3
y

ya
xa
3
xa
3
a
3
xya
3
ya
3
x

xa xa
2
1 a a
2
xy

xya xya
2
y

ya ya
2
ya

ya xya
3
a
2
x

ya
2
ya
3
y xy

xya xya
2
a
3
1 a xa xa
2
xa
3
ya
2
ya
2
xy

a
3
xa ya
3
y ya xya xya
2
xya
3
1 a a
2
xa
2
xa
3
x

ya
3
ya
3
xya 1 xa
2
y ya ya
2
xya
2
xya
3
xy

a a
2
a
3
xa
3
x

xa
xya

xya ya
3
xa
2
1 xya
2
xya
3
xy

y

ya ya
2
xa
3
x

xa a a
2
a
3
xya
2
xya
2
y

xa
3
a xya
3
xy

xya ya ya
2
ya
3
x

xa xa
2
a
2
a
3
1
xya
3
xya
3
ya x

a
2
xy

xya xya
2
ya
2
ya
3
y

xa xa
2
xa
3
a
3
1 a





80 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 8: G
8
=<x,y,a>, x
2
=a
4
=1, y
2
=a
2
, yx=xya
2
, Z(G
8
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x 1 xy

y

xa xa
2
xa
3
a a
2
a
3
xya xya
2
xya
3
ya ya
2
ya
3
y

y

xya
2
a
2
x

ya ya
2
ya
3
xya
3
xy

xya a
3
1 a xa xa
2
xa
3

xy

xy

ya
2
xa
2
1 xya xya
2
xya
3
ya
3
y

ya xa
3
x

xa a a
2
a
3
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a xya ya xa
2
xa
3
x

A
2
a
3
1 xya
2
xya
3
xy

ya
2
ya
3
y

xa
2
xa
2
a
2
xya
2
ya
2
xa
3
x

xa A
3
1 a xya
3
xy

xya ya
3
y

ya
xa
3
xa
3
a
3
xya
3
ya
3
x

xa xa
2
1 a a
2
xy

xya xya
2
y

ya ya
2
ya

ya xya
3
a
3
xa ya
2
ya
3
y xy

xya xya
2
1 a a
2
xa
2
xa
3
x

ya
2
ya
2
xy

1 xa
2
ya
3
y ya xya xya
2
xya
3
a a
2
a
3
xa
3
x

xa
ya
3
ya
3
xya a xa
3
y ya ya
2
xya
2
xya
3
xy

a
2
a
3
1 x

xa xa
2
xya

xya ya
3
xa
3
a xya
2
xya
3
xy

y

ya ya
2
x

xa xa
2
a
2
a
3
1
xya
2
xya
2
y

x

a
2
xya
3
xy

xya ya ya
2
ya
3
xa xa
2
xa
3
a
3
1 a
xya
3
xya
3
ya xa a
3
xy

xya xya
2
ya
2
ya
3
y

xa
2
xa
3
x

1 a a
2





A method to determine of all non+isometric groups of order 16 81

Volume 5 number 4

TABLE 9: G
9
=<x,y,a>, x
2
=a
4
=1, y
2
=a
3
, yx=xya
2
, Z(G
9
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x 1 xy

y

xa xa
2
xa
3
a a
2
a
3
xya xya
2
xya
3
ya ya
2
ya
3
y

y

xya
2
a
3
xa ya ya
2
ya
3
xya
3
xy

xya 1 a a
2
xa
2
xa
3
x
xy

xy

ya
2
xa
3
a xya xya
2
xya
3
ya
3
y

ya x

xa xa
2
a
2
a
3
1
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a xya ya xa
2
xa
3
x

A
2
a
3
1 xya
2
xya
3
xy

ya
2
ya
3
y

xa
2
xa
2
a
2
xya
2
ya
2
xa
3
x

xa A
3
1 a xya
3
xy

xya ya
3
y

ya
xa
3
xa
3
a
3
xya
3
ya
3
x

xa xa
2
1 a a
2
xy

xya xya
2
y

ya ya
2
ya

ya xya
3
1 xa
2
ya
2
ya
3
y xy

xya xya
2
a a
2
a
3
xa
3
x

xa
ya
2
ya
2
xy

a xa
3
ya
3
y ya xya xya
2
xya
3
a
2
a
3
1 x

xa xa
2
ya
3
ya
3
xya a
2
x

y ya ya
2
xya
2
xya
3
xy

a
3
1 a xa xa
2
xa
3
xya

xya ya
3
x

a
2
xya
2
xya
3
xy

y

ya ya
2
xa xa
2
xa
3
a
3
1 a
xya
2
xya
2
y

xa a
3
xya
3
xy

xya ya ya
2
ya
3
xa
2
xa
3
x

1 a a
2
xya
3
xya
3
ya xa
2
1 xy

xya xya
2
ya
2
ya
3
y

xa
3
x

xa a a
2
a
3





82 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 10: G
10
=<x,y,a>, x
2
=y
2
=a, a
4
=1, yx=xya
2
, Z(G
10
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x a xy

ya xa xa
2
xa
3
A
2
a
3
1 xya xya
2
xya
3
ya
2
ya
3
y

y

y

xya
2
a xa
3
ya ya
2
ya
3
xya
3
xy

xya a
2
a
3
1 x

xa xa
2

xy

xy

ya
3
xa 1 xya xya
2
xya
3
y

ya ya
2
xa
2
xa
3
x

a a
2
a
3
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a
2
xya ya
2
xa
2
xa
3
x

a
3
1 a xya
2
xya
3
xy

ya
3
y

ya
xa
2
xa
2
a
3
xya
2
ya
3
xa
3
x

xa 1 a a
2
xya
3
xy

xya y

ya ya
2
xa
3
xa
3
1 xya
3
y

x

xa xa
2
A a
2
a
3
xy

xya xya
2
ya ya
2
ya
3
ya

ya xya
3
a
2
x

ya
2
ya
3
y xy

xya xya
2
a
3
1 a xa xa
2
xa
3
ya
2
ya
2
xy

a
3
xa ya
3
y ya xya xya
2
xya
3
1 a a
2
xa
2
xa
3
x

ya
3
ya
3
xya 1 xa
2
y ya ya
2
xya
2
xya
3
xy

a a
2
a
3
xa
3
x

xa
xya

xya y

xa
2
a xya
2
xya
3
xy

ya ya
2
ya
3
xa
3
x

xa a
2
a
3
1
xya
2
xya
2
ya xa
3
a
2
xya
3
xy

xya ya
2
ya
3
y

x

xa xa
2
a
3
1 a
xya
3
xya
3
ya
2
x

a
3
xy

xya xya
2
ya
3
y

ya xa xa
2
xa
3
1 a a
2





A method to determine of all non+isometric groups of order 16 83

Volume 5 number 4

TABLE 11: G
11
=<x,y,a>, x
2
=a, y
2
=a
2
, a
4
=1, yx=xya
2
, Z(G
11
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x a xy

ya xa xa
2
xa
3
a
2
a
3
1 xya xya
2
xya
3
ya
2
ya
3
y

y

y

xya
2
a
2
x

ya ya
2
ya
3
xya
3
xy

xya a
3
1 a xa xa
2
xa
3

xy

xy

ya
3
xa
2
a xya xya
2
xya
3
Y

ya ya
2
xa
3
x

xa a
2
a
3
1
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
X

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a
2
xya ya
2
xa
2
xa
3
x

a
3
1 a xya
2
xya
3
xy

ya
3
y

ya
xa
2
xa
2
a
3
xya
2
ya
3
xa
3
x

xa 1 a a
2
xya
3
xy

xya y

ya ya
2
xa
3
xa
3
1 xya
3
y

x

xa xa
2
a a
2
a
3
xy

xya xya
2
ya ya
2
ya
3
ya

ya xya
3
a
3
xa ya
2
ya
3
y xy

xya xya
2
1 a a
2
xa
2
xa
3
x

ya
2
ya
2
xy

1 xa
2
ya
3
y ya xya xya
2
xya
3
a a
2
a
3
xa
3
x

xa
ya
3
ya
3
xya a xa
3
y ya ya
2
xya
2
xya
3
xy

a
2
a
3
1 x

xa xa
2
xya

xya y

xa
3
a
2
xya
2
xya
3
xy

ya ya
2
ya
3
x

xa xa
2
a
3
1 a
xya
2
xya
2
ya x

a
3
xya
3
xy

xya Ya
2
ya
3
y

xa xa
2
xa
3
1 a a
2
xya
3
xya
3
ya
2
xa 1 xy

xya xya
2
Ya
3
y

ya xa
2
xa
3
x

a a
2
a
3





84 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 12: G
12
=<x,y,a>, x
2
=a, y
2
=a
3
, a
4
=1, yx=xya
2
, Z(G
12
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x a xy

ya xa xa
2
xa
3
a
2
a
3
1 xya xya
2
xya
3
ya
2
ya
3
y

y

y

xya
2
a
3
xa ya ya
2
ya
3
xya
3
xy

xya 1 a a
2
xa
2
xa
3
x
xy

xy

ya
3
xa
3
a
2
xya xya
2
xya
3
Y

ya ya
2
x

xa xa
2
a
3
1 a
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
X

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a
2
xya ya
2
xa
2
xa
3
x

a
3
1 a xya
2
xya
3
xy

ya
3
y

ya
xa
2
xa
2
a
3
xya
2
ya
3
xa
3
x

xa 1 a a
2
xya
3
xy

xya y

ya ya
2
xa
3
xa
3
1 xya
3
y

x

xa xa
2
a a
2
a
3
xy

xya xya
2
ya ya
2
ya
3
ya

ya xya
3
1 xa
2
ya
2
ya
3
y xy

xya xya
2
a a
2
a
3
xa
3
x

xa
ya
2
ya
2
xy

a xa
3
ya
3
y ya xya xya
2
xya
3
a
2
a
3
1 x

xa xa
2
ya
3
ya
3
xya a
2
x

y ya ya
2
xya
2
xya
3
xy

a
3
1 a xa xa
2
xa
3
xya

xya y

x

a
3
xya
2
xya
3
xy

ya ya
2
ya
3
xa xa
2
xa
3
1 a a
2
xya
2
xya
2
ya xa 1 xya
3
xy

xya Ya
2
ya
3
y

xa
2
xa
3
x

a a
2
a
3
xya
3
xya
3
ya
2
xa
2
a xy

xya xya
2
Ya
3
y

ya xa
3
x

xa a
2
a
3
1





A method to determine of all non+isometric groups of order 16 85

Volume 5 number 4

TABLE 13: G
13
=<x,y,a>, x
2
=y
2
=a
2
, a
4
=1, yx=xya
2
, Z(G
13
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x a
2
xy

ya
2
xa xa
2
xa
3
A
3
1 a xya xya
2
xya
3
ya
3
y

ya
y

y

xya
2
a
2
x

ya ya
2
ya
3
xya
3
xy

xya a
3
1 a xa xa
2
xa
3

xy

xy

y

xa
2
a
2
xya xya
2
xya
3
ya ya
2
ya
3
xa
3
x

xa a
3
1 a
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a
3
xya ya
3
xa
2
xa
3
x

1 a a
2
xya
2
xya
3
xy

y

ya ya
2
xa
2
xa
2
1 xya
2
y

xa
3
x

xa a a
2
a
3
xya
3
xy

xya ya ya
2
ya
3
xa
3
xa
3
a xya
3
ya x

xa xa
2
A
2
a
3
1 xy

xya xya
2
ya
2
ya
3
y

ya

ya xya
3
a
3
xa ya
2
ya
3
y xy

xya xya
2
1 a a
2
xa
2
xa
3
x

ya
2
ya
2
xy

1 xa
2
ya
3
y ya xya xya
2
xya
3
a a
2
a
3
xa
3
x

xa
ya
3
ya
3
xya a xa
3
y ya ya
2
xya
2
xya
3
xy

a
2
a
3
1 x

xa xa
2
xya

xya ya xa
3
a
3
xya
2
xya
3
xy

ya
2
ya
3
y

x

xa xa
2
1 a a
2
xya
2
xya
2
ya
2
x

1 xya
3
xy

xya ya
3
y

ya xa xa
2
xa
3
a a
2
a
3
xya
3
xya
3
ya
3
xa a xy

xya xya
2
y

ya ya
2
xa
2
xa
3
x

a
2
a
3
1





86 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 14: G
14
=<x,y,a>, x
2
=a
2
, y
2
=a
3
, a
4
=1, yx=xya
2
, Z(G
14
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x a
2
xy

ya
2
xa xa
2
xa
3
A
3
1 a xya xya
2
xya
3
ya
3
y

ya
y

y

xya
2
a
3
xa ya ya
2
ya
3
xya
3
xy

xya 1 a a
2
xa
2
xa
3
x
xy

xy

y

xa
3
a
3
xya xya
2
xya
3
ya ya
2
ya
3
x

xa xa
2
1 a a
2
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa a
3
xya ya
3
xa
2
xa
3
x

1 a a
2
xya
2
xya
3
xy

y

ya ya
2
xa
2
xa
2
1 xya
2
y

xa
3
x

xa a a
2
a
3
xya
3
xy

xya ya ya
2
ya
3
xa
3
xa
3
a xya
3
ya x

xa xa
2
A
2
a
3
1 xy

xya xya
2
ya
2
ya
2
ya
3
ya

ya xya
3
1 xa
2
ya
2
ya
3
y xy

xya xya
2
a a
2
a
3
xa
3
x

xa
ya
2
ya
2
xy

a xa
3
ya
3
y ya xya xya
2
xya
3
a
2
a
3
1 x

xa xa
2
ya
3
ya
3
xya a
2
x

y ya ya
2
xya
2
xya
3
xy

a
3
1 a xa xa
2
xa
3
xya

xya ya x

1 xya
2
xya
3
xy

ya
2
ya
3
y

xa xa
2
xa
3
a a
2
a
3
xya
2
xya
2
ya
2
xa a xya
3
xy

xya ya
3
y

ya xa
2
xa
3
x

a
2
a
3
1
xya
3
xya
3
ya
3
xa
2
a
2
xy

xya xya
2
y

ya ya
2
xa
3
x

xa a
3
1 a





A method to determine of all non+isometric groups of order 16 87

Volume 5 number 4

TABLE 15: G
14
=<x,y,a>, x
2
=y
2
=a
3
, a
4
=1, yx=xya
2
, Z(G
14
)=<a>.


1 x y

xy

a

a
2
a
3
xa

xa
2
xa
3
ya

ya
2
ya
3
xya

xya
2
xya
3
1 1 x y

xy

a a
2
a
3
xa xa
2
xa
3
ya ya
2
ya
3
xya xya
2
xya
3
x x a
3
xy

ya
3
xa xa
2
xa
3
1 a a
2
xya xya
2
xya
3
y

ya ya
2
y

y

xya
2
a
3
xa ya ya
2
ya
3
xya
3
xy

xya 1 a a
2
xa
2
xa
3
x
xy

xy

ya xa
3
1 xya xya
2
xya
3
ya
2
ya
3
y

x

xa xa
2
a a
2
a
3
a

a xa ya xya a
2
a
3
1 xa
2
xa
3
x

ya
2
ya
3
y xya
2
xya
3
xy

a
2
a
2
xa
2
ya
2
xya
2
a
3
1 a xa
3
x

xa ya
3
y ya xya
3
xy

xya
a
3
a
3
xa
3
ya
3
xya
3
1 a a
2
x

xa xa
2
y ya ya
2
xy

xya xya
2
xa

xa 1 xya y

xa
2
xa
3
x

a a
2
a
3
xya
2
xya
3
xy

ya ya
2
ya
3
xa
2
xa
2
a xya
2
ya xa
3
x

xa A
2
a
3
1 xya
3
xy

xya ya
2
ya
3
y

xa
3
xa
3
a
2
xya
3
ya
2
x

xa xa
2
A
3
1 a xy

xya xya
2
ya
3
y

ya
ya

ya xya
3
1 xa
2
ya
2
ya
3
y xy

xya xya
2
a a
2
a
3
xa
3
x

xa
ya
2
ya
2
xy

a xa
3
ya
3
y ya xya xya
2
xya
3
a
2
a
3
1 x

xa xa
2
ya
3
ya
3
xya a
2
x

y ya ya
2
xya
2
xya
3
xy

a
3
1 a xa xa
2
xa
3
xya

xya ya
2
x

a xya
2
xya
3
xy

ya
3
y

ya xa xa
2
xa
3
a
2
a
3
1
xya
2
xya
2
ya
3
xa a
2
xya
3
xy

xya y

ya ya
2
xa
2
xa
3
x

a
3
1 a
xya
3
xya
3
y xa
2
a
3
xy

xya xya
2
ya ya
2
ya
3
xa
3
x

xa 1 a a
2





88 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 16: G
16
=<x,y,a,b>, x
2
=y
2
=a
2
=b
2
=1, xy=yxa, ab=ba, Z(G
16
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x 1 xy

y

xa xb xab a b ab xya xyb xyab ya yb yab
y

y

xya 1 xa ya yb yab xy

xyab xyb a b ab x

xab xb
xy

xy

ya x

a xya xyb xyab y

yab yb xa xb xab 1 ab b
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa a xya ya x

xab xb 1 ab b xy

xyab xyb y

yab yb
xb

xb b xyb yb xab x

xa ab 1 a xyab xy

xya yab y

ya
xab

xab ab xyab yab xb xa x

b a 1 xyb xya xy

yb ya y

ya

ya xy

a x

y

yab yb xya xyb xyab 1 ab b xa xb xab
yb

yb xyab b xab yab y

ya xyb xya xy

ab 1 a xb xa x

yab

yab xyb ab xb yb ya y

xyab xy

xya b a 1 xab x

xa
xya

xya y

xa 1 xy xyab xyb ya yb yab x

xab xb a b ab
xyb

xyb yab xb ab xyab xy

xya yb ya y

xab x

xa b a 1
xyab

xyab yb xab b xyb xya xy

yab y

ya xb xa x

ab 1 a





A method to determine of all non+isometric groups of order 16 89

Volume 5 number 4

TABLE 17: G
17
=<x,y,a,b>, x
2
=a
2
=b
2
=1, y
2
=a, xy=yxa, Z(G
17
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x 1 xy

y

xa xb xab a b ab xya xyb xyab ya yb yab
y

y

xya a x

ya yb yab xy

xyab xyb 1 ab b xa xb xab
xy

xy

ya xa 1 xya xyb xyab y

yab yb x

xab xb a b ab
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa a xya ya x

xab xb 1 ab b xy

xyab xyb y

yab yb
xb

xb b xyb yb xab x

xa ab 1 a xyab xy

xya yab y

ya
xab

xab ab xyab yab xb xa x

b a 1 xyb xya xy

yb ya y

ya

ya xy

1 xa y

yab yb xya xyb xyab a b ab x

xab xb
yb

yb xyab ab xb yab y

ya xyb xya xy

b a 1 xab x

xa
yab

yab xyb b xab yb ya y

xyab xy

xya ab 1 a xb xa x

xya

xya y

x

a xy xyab xyb ya yb yab xa xb xab 1 ab b
xyb

xyb yab xab b xyab xy

xya yb ya y

xb xa x

ab 1 a
xyab

xyab yb xb ab xyb xya xy

yab y

ya xab x

xa b a 1





90 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 18: G
18
=<x,y,a,b>, x
2
=a
2
=b
2
=1, y
2
=b, xy=yxa, Z(G
18
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x 1 xy

y

xa xb xab a b ab xya xyb xyab ya yb yab
y

y

xya b xab ya yb yab xy

xyab xyb ab 1 a xb xa x

xy

xy

ya xb ab xya xyb xyab y

yab yb xab x

xa b a 1
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa a xya ya x

xab xb 1 ab b xy

xyab xyb y

yab yb
xb

xb b xyb yb xab x

xa ab 1 a xyab xy

xya yab y

ya
xab

xab ab xyab yab xb xa x

b a 1 xyb xya xy

yb ya y

ya

ya xy

ab xb y

yab yb xya xyb xyab b a 1 xab x

xa
yb

yb xyab 1 xa yab y

ya xyb xya xy

a b ab x

xab xb
yab

yab xyb a x

yb ya y

xyab xy

xya 1 ab b xa xb xab
xya

xya y

xab b xy xyab xyb ya yb yab xb xa x

ab 1 a
xyb

xyb yab x

a xyab xy

xya yb ya y

xa xb xab 1 ab b
xyab

xyab yb xa 1 xyb xya xy

yab y

ya x

xab xb a b ab





A method to determine of all non+isometric groups of order 16 91

Volume 5 number 4

TABLE 19: G
19
=<x,y,a,b>, x
2
=a
2
=b
2
=1, y
2
=ab, xy=yxa, Z(G
19
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x 1 xy

y

xa xb xab a b ab xya xyb xyab ya yb yab
y

y

xya ab xb ya yb yab xy

xyab xyb b a 1 xab x

xa
xy

xy

ya xab b xya xyb xyab y

yab yb xb xa x

ab 1 a
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa a xya ya x

xab xb 1 ab b xy

xyab xyb y

yab yb
xb

xb b xyb yb xab x

xa ab 1 a xyab xy

xya yab y

ya
xab

xab ab xyab yab xb xa x

b a 1 xyb xya xy

yb ya y

ya

ya xy

b xab y

yab yb xya xyb xyab ab 1 a xb xa x

yb

yb xyab a x

yab y

ya xyb xya xy

1 ab b xa xb xab
yab

yab xyb 1 xa yb ya y

xyab xy

xya a b ab x

xab xb
xya

xya y

xb ab xy xyab xyb ya yb yab xab x

xa b a 1
xyb

xyb yab xa 1 xyab xy

xya yb ya y

x

xab xb a b ab
xyab

xyab yb x a xyb xya xy

yab y

ya xa xb xab 1 ab b





92 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 20: G
20
=<x,y,a,b>, x
2
=a=y
2
, a
2
=b
2
=1, xy=yxa, Z(G
20
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x a xy

ya xa xb xab 1 ab b xya xyb xyab y

yab yb
y

y

xya a x

ya yb yab xy

xyab xyb 1 ab b xa xb xab
xy

xy

y

xa a xya xyb xyab ya yb yab x

xab xb 1 ab b
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa 1 xya y

x

xab xb a b ab xy

xyab xyb ya yb yab
xb

xb ab xyb yab xab x

xa b a 1 xyab xy

xya yb ya y

xab

xab b xyab yb xb xa x

ab 1 a xyb xya xy

yab y

ya
ya

ya xy

1 xa y

yab yb xya xyb xyab a b ab x

xab xb
yb

yb xyab ab xb yab y

ya xyb xya xy

b a 1 xab x

xa
yab

yab xyb b xab yb ya y

xyab xy

xya ab 1 a xb xa x

xya

xya ya x

1 xy xyab xyb y

yab yb xa xb xab a b ab
xyb

xyb yb xab ab xyab xy

xya yab y

ya xb xa x

b a 1
xyab

xyab yab xb b xyb xya xy

yb ya y

xab x

xa ab 1 a





A method to determine of all non+isometric groups of order 16 93

Volume 5 number 4

TABLE 21: G
21
=<x,y,a,b>, x
2
=a, y
2
=b, a
2
=b
2
=1, xy=yxa, Z(G
21
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x a xy

ya xa xb xab 1 ab b xya xyb xyab y

yab yb
y

y

xya b xab ya yb yab xy

xyab xyb ab 1 a xb xa x

xy

xy

y

xb b xya xyb xyab ya yb yab xab x

xa ab 1 a
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa 1 xya y

x

xab xb a b ab xy

xyab xyb ya yb yab
xb

xb ab xyb yab xab x

xa b a 1 xyab xy

xya yb ya y

xab

xab b xyab yb xb xa x

ab 1 a xyb xya xy

yab y

ya
ya

ya xy

ab xb y

yab yb xya xyb xyab b a 1 xab x

xa
yb

yb xyab 1 xa yab y

ya xyb xya xy

a b ab x

xab xb
yab

yab xyb a x

yb ya y

xyab xy

xya 1 ab b xa xb xab
xya

xya ya xab ab xy xyab xyb y

yab yb xb xa x

b a 1
xyb

xyb yb x

1 xyab xy

xya yab y

ya xa xb xab a b ab
xyab

xyab yab xa a xyb xya xy

yb ya y

x

xab xb 1 ab b





94 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 22: G
22
=<x,y,a,b>, x
2
=a, y
2
=ab, a
2
=b
2
=1, xy=yxa, Z(G
22
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x a xy

ya xa xb xab 1 ab b xya xyb xyab y

yab yb
y

y

xya ab xb ya yb yab xy

xyab xyb b a 1 xab x

xa
xy

xy

y

xab ab xya xyb xyab ya yb yab xb xa x

b a 1
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa 1 xya y

x

xab xb a b ab xy

xyab xyb ya yb yab
xb

xb ab xyb yab xab x

xa b a 1 xyab xy

xya yb ya y

xab

xab b xyab yb xb xa x

ab 1 a xyb xya xy

yab y

ya
ya

ya xy

b xab y

yab yb xya xyb xyab ab 1 a xb xa x

yb

yb xyab a x

yab y

ya xyb xya xy

1 ab b xa xb xab
yab

yab xyb 1 xa yb ya y

xyab xy

xya a b ab x

xab xb
xya

xya ya xb b xy xyab xyb y

yab yb xab x

xa ab 1 a
xyb

xyb yb xa a xyab xy

xya yab y

ya x

xab xb 1 ab b
xyab

xyab yab x 1 xyb xya xy

yb ya y

xa xb xab a b ab





A method to determine of all non+isometric groups of order 16 95

Volume 5 number 4

TABLE 23: G
23
=<x,y,a,b>, x
2
=y
2
=b, a
2
=b
2
=1, xy=yxa, Z(G
23
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x b xy

yb xa xb xab ab 1 a xya xyb xyab yab y

ya
y

y

xya b xab ya yb yab xy

xyab xyb ab 1 a xb xa x

xy

xy

yab xb a xya xyb xyab yb ya y

xab x

xa 1 ab b
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa ab xya yab x

xab xb b a 1 xy

xyab xyb yb ya y

xb

xb 1 xyb y

xab x

xa a b ab xyab xy

xya ya yb yab
xab

xab a xyab ya xb xa x

1 ab b xyb xya xy

y

yab yb
ya

ya xy

ab xb y

yab yb xya xyb xyab b a 1 xab x

xa
yb

yb xyab 1 xa yab y

ya xyb xya xy

a b ab x

xab xb
yab

yab xyb a x

yb ya y

xyab xy

xya 1 ab b xa xb xab
xya

xya yb xab 1 xy xyab xyb yab y

ya xb xa x

a b ab
xyb

xyb ya x

ab xyab xy

xya y

yab yb xa xb xab b a 1
xyab

xyab y

xa b xyb xya xy

ya yb yab x

xab xb ab 1 a





96 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 24: G
24
=<x,y,a,b>, x
2
=b, y
2
=ab, a
2
=b
2
=1, xy=yxa, Z(G
24
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x b xy

yb xa xb xab ab 1 a xya xyb xyab yab y

ya
y

y

xya ab xb ya yb yab xy

xyab xyb b a 1 xab x

xa
xy

xy

yab xab 1 xya xyb xyab yb ya y

xb xa x

a b ab
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa ab xya yab x

xab xb b a 1 xy

xyab xyb yb ya y

xb

xb 1 xyb y

xab x

xa a b ab xyab xy

xya ya yb yab
xab

xab a xyab ya xb xa x

1 ab b xyb xya xy

y

yab yb
ya

ya xy

b xab y

yab yb xya xyb xyab ab 1 a xb xa x

yb

yb xyab a x

yab y

ya xyb xya xy

1 ab b xa xb xab
yab

yab xyb 1 xa yb ya y

xyab xy

xya a b ab x

xab xb
xya

xya yb xb a xy xyab xyb yab y

ya xab x

xa 1 ab b
xyb

xyb ya xa b xyab xy

xya y

yab yb x

xab xb ab 1 a
xyab

xyab y

x ab xyb xya xy

ya yb yab xa xb xab b a 1





A method to determine of all non+isometric groups of order 16 97

Volume 5 number 4

TABLE 25: G
25
=<x,y,a,b>, x
2
=ab, y
2
=a, a
2
=b
2
=1, xy=yxa, Z(G
25
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x ab xy

yab xa xb xab b a 1 xya xyb xyab yb ya y

y

y

xya a x

ya yb yab xy

xyab xyb 1 ab b xa xb xab
xy

xy

yb xa ab xya xyb xyab yab y

ya x

xab xb b a 1
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa b xya yb x

xab xb ab 1 a xy

xyab xyb yab y

ya
xb

xb a xyb ya xab x

xa 1 ab b xyab xy

xya y

yab yb
xab

xab 1 xyab y

xb xa x

a b ab xyb xya xy

ya yb yab
ya

ya xy

1 xa y

yab yb xya xyb xyab a b ab x

xab xb
yb

yb xyab ab xb yab y

ya xyb xya xy

b a 1 xab x

xa
yab

yab xyb b xab yb ya y

xyab xy

xya ab 1 a xb xa x

xya

xya yab x

b xy xyab xyb yb ya y

xa xb xab ab 1 a
xyb

xyb y

xab a xyab xy

xya ya yb yab xb xa x

1 ab b
xyab

xyab ya xb 1 xyb xya xy

y

yab yb xab x

xa a b ab





98 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 26: G
26
=<x,y,a,b>, x
2
=ab, y
2
=b, a
2
=b
2
=1, xy=yxa, Z(G
26
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x ab xy

yab xa xb xab b a 1 xya xyb xyab yb ya y

y

y

xya b xab ya yb yab xy

xyab xyb ab 1 a xb xa x

xy

xy

yb xa 1 xya xyb xyab yab y

ya xab x

xa a b ab
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa b xya yb x

xab xb ab 1 a xy

xyab xyb yab y

ya
xb

xb a xyb ya xab x

xa 1 ab b xyab xy

xya y

yab yb
xab

xab 1 xyab y

xb xa x

a b ab xyb xya xy

ya yb yab
ya

ya xy

ab xb y

yab yb xya xyb xyab b a 1 xab x

xa
yb

yb xyab 1 xa yab y

ya xyb xya xy

a b ab x

xab xb
yab

yab xyb a x

yb ya y

xyab xy

xya 1 ab b xa xb xab
xya

xya yab x

a xy xyab xyb yb ya y

xb xa x

1 ab b
xyb

xyb y

xab b xyab xy

xya ya yb yab xa xb xab ab 1 a
xyab

xyab ya xb ab xyb xya xy

y

yab yb x

xab xb b a 1





A method to determine of all non+isometric groups of order 16 99

Volume 5 number 4

TABLE 27: G
27
=<x,y,a,b>, x
2
=y
2
=ab, a
2
=b
2
=1, xy=yxa, Z(G
27
)=<a,b>.


1 x y

xy

a

b

ab

xa

xb

xab

ya

yb

yab

xya

xyb

xyab

1 1 x y

xy

a b ab xa xb xab ya yb yab xya xyb xyab
x x ab xy

yab xa xb xab b a 1 xya xyb xyab yb ya y

y

y

xya ab xb ya yb yab xy

xyab xyb b a 1 xab x

xa
xy

xy

yb xab a xya xyb xyab yab y

ya xb xa x

1 ab b
a

a xa ya xya 1 ab b x

xab xb y

yab yb xy

xyab xyb
b

b xb yb xyb ab 1 a xab x

xa yab y

ya xyab xy

xya
ab

ab xab yab xyab b a 1 xb xa x

yb ya y

xyb xya xy

xa

xa b xya yb x

xab xb ab 1 a xy

xyab xyb yab y

ya
xb

xb a xyb ya xab x

xa 1 ab b xyab xy

xya y

yab yb
xab

xab 1 xyab y

xb xa x

a b ab xyb xya xy

ya yb yab
ya

ya xy

b xab y

yab yb xya xyb xyab ab 1 a xb xa x

yb

yb xyab a x

yab y

ya xyb xya xy

1 ab b xa xb xab
yab

yab xyb 1 xa yb ya y

xyab xy

xya a b ab x

xab xb
xya

xya yab xb 1 xy xyab xyb yb ya y

xab x

xa a b ab
xyb

xyb y

xa ab xyab xy

xya ya yb yab x

xab xb b a 1
xyab

xyab ya x b xyb xya xy

y

yab yb xa xb xab ab 1 a





100 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 28: G
28
=<x, y, a>, x
4
=a, y
2
=a
2
=1, yx=x
3
y, Z(G
28
)=<a>.


1 x x
2
x
3
y

xy

x
2
y X
3
y a

xa

x
2
a x
3
a ya

xya

x
2
ya x
3
ya
1 1 x x
2
x
3
y

xy

x
2
y X
3
y a xa x
2
a x
3
a ya xya x
2
ya x
3
ya
x x x
2
x
3
a xy

x
2
y x
3
y ya xa x
2
a x
3
a 1 xya x
2
ya x
3
ya y
x
2
x
2
x
3
a xa x
2
y x
3
y ya xya x
2
a x
3
a 1 x

x
2
ya x
3
ya y xy
x
3
x
3
a xa x
2
a x
3
y ya xya x
2
ya x
3
a 1 x

x
2
x
3
ya y xy x
2
y
y

y

x
3
y

x
2
ya xy 1 x
3
x
2
a x

ya x
3
ya x
2
y xya a x
3
a x
2
xa
xy

xy

ya x
3
ya x
2
y

x

a x
3
a X
2
xya y x
3
y x
2
ya xa 1 x
3
x
2
a
x
2
y x
2
y xya y

x
3
y

x
2
xa 1 X
3
x
2
ya xy ya x
3
ya x
2
a x a x
3
a
x
3
y x
3
y x
2
ya xy

ya x
3
x
2
a x

a x
3
ya x
2
y xya y x
3
a x
2
xa 1
a

a xa x
2
a x
3
a ya xya x
2
ya x
3
ya 1 x x
2
x
3
y

xy

x
2
y x
3
y
xa

xa x
2
a x
3
a 1 xya x
2
ya x
3
ya y x x
2
x
3
a xy

x
2
y x
3
y ya
x
2
a x
2
a x
3
a 1 x

x
2
ya x
3
ya y xy x
2
x
3
a xa x
2
y x
3
y ya xya
x
3
a x
3
a 1 x

x
2
x
3
ya y xy X
2
y x
3
a xa x
2
a x
3
y ya xya x
2
ya
ya

ya x
3
ya x
2
y xya a x
3
a x
2
xa y

x
3
y

x
2
ya xy 1 x
3
x
2
a x

xya

xya y x
3
y x
2
ya xa 1 x
3
X
2
a xy

ya x
3
ya x
2
y

x

a x
3
a x
2
x
2
ya x
2
ya xy ya x
3
ya x
2
a x a X
3
a x
2
y xya y

x
3
y

x
2
xa 1 x
3
x
3
ya x
3
ya x
2
y xya y x
3
a x
2
xa 1 x
3
y x
2
ya xy

ya x
3
x
2
a x

a





A method to determine of all non+isometric groups of order 16 101

Volume 5 number 4

TABLE 29: G
29
=<x,y,a>, x
4
=y
2
=a, a
2
=1, yx=x
3
y, Z(G
29
)=<a>.


1 x x
2
x
3
y

xy

x
2
y X
3
y a

xa

x
2
a x
3
a ya

xya

x
2
ya x
3
ya
1 1 x x
2
x
3
y

xy

x
2
y X
3
y a xa x
2
a x
3
a ya xya x
2
ya x
3
ya
x x x
2
x
3
a xy

x
2
y x
3
y ya xa x
2
a x
3
a 1 xya x
2
ya x
3
ya y
x
2
x
2
x
3
a xa x
2
y x
3
y ya xya x
2
a x
3
a 1 x

x
2
ya x
3
ya y xy
x
3
x
3
a xa x
2
a x
3
y ya xya x
2
ya x
3
a 1 x

x
2
x
3
ya y xy x
2
y
y

y

x
3
y

x
2
ya xy a x
3
a x
2
xa ya x
3
ya x
2
y xya 1 x
3
x
2
a x
xy

xy

ya x
3
ya x
2
y

xa 1 x
3
X
2
a xya y x
3
y x
2
ya x a x
3
a x
2
x
2
y x
2
y xya y

x
3
y

x
2
a x

a X
3
a x
2
ya xy ya x
3
ya x
2
xa 1 x
3
x
3
y x
3
y x
2
ya xy

ya x
3
a x
2
xa 1 x
3
ya x
2
y xya y x
3
x
2
a x

a
a

a xa x
2
a x
3
a ya xya x
2
ya x
3
ya 1 x x
2
x
3
y

xy

x
2
y x
3
y
xa

xa x
2
a x
3
a 1 xya x
2
ya x
3
ya y x x
2
x
3
a xy

x
2
y x
3
y ya
x
2
a x
2
a x
3
a 1 x

x
2
ya x
3
ya y xy x
2
x
3
a xa x
2
y x
3
y ya xya
x
3
a x
3
a 1 x

x
2
x
3
ya y xy X
2
y x
3
a xa x
2
a x
3
y ya xya x
2
ya
ya

ya x
3
ya x
2
y xya 1 x
3
x
2
a x y

x
3
y

x
2
ya xy a x
3
a x
2
xa
xya

xya y x
3
y x
2
ya x a x
3
a X
2
xy

ya x
3
ya x
2
y

xa 1 x
3
x
2
a
x
2
ya x
2
ya xy ya x
3
ya x
2
xa 1 X
3
x
2
y xya y

x
3
y

x
2
a x

a x
3
a
x
3
ya x
3
ya x
2
y xya y x
3
x
2
a x

a x
3
y x
2
ya xy

ya x
3
a x
2
xa 1





102 Dumitru Vlcan

Acta Didactica Napocensia, ISSN 2065-1430

TABLE 30: G
30
=<x,y,a>, x
4
=a, y
2
=a
2
=1, yx=x
3
ya, Z(G
30
)=<a>.


1 x x
2
x
3
y

xy

x
2
y X
3
y a

xa

x
2
a x
3
a ya

xya

x
2
ya x
3
ya
1 1 x x
2
x
3
y

xy

x
2
y X
3
y a xa x
2
a x
3
a ya xya x
2
ya x
3
ya
x x x
2
x
3
a xy

x
2
y x
3
y ya xa x
2
a x
3
a 1 xya x
2
ya x
3
ya y
x
2
x
2
x
3
a xa x
2
y x
3
y ya xya x
2
a x
3
a 1 x

x
2
ya x
3
ya y xy
x
3
x
3
a xa x
2
a x
3
y ya xya x
2
ya x
3
a 1 x

x
2
x
3
ya y xy x
2
y
y

y

x
3
ya x
2
ya xya 1 x
3
a x
2
a xa ya x
3
y

x
2
y xy a x
3
x
2
x
xy

xy

y x
3
ya x
2
ya x

1 x
3
a X
2
a xya ya x
3
y x
2
y xa a x
3
x
2
x
2
y x
2
y xy y

x
3
ya x
2
x

1 X
3
a x
2
ya xya ya x
3
y x
2
a xa a x
3
x
3
y x
3
y x
2
y

xy

y x
3
x
2
x

1 x
3
ya x
2
ya xya ya x
3
a x
2
a xa a
a

a xa x
2
a x
3
a ya xya x
2
ya x
3
ya 1 x x
2
x
3
y

xy

x
2
y x
3
y
xa

xa x
2
a x
3
a 1 xya x
2
ya x
3
ya y x x
2
x
3
a xy

x
2
y x
3
y ya
x
2
a x
2
a x
3
a 1 x

x
2
ya x
3
ya y xy x
2
x
3
a xa x
2
y x
3
y ya xya
x
3
a x
3
a 1 x

x
2
x
3
ya y xy X
2
y x
3
a xa x
2
a x
3
y ya xya x
2
ya
ya

ya x
3
y

x
2
y xy a x
3
x
2
x y

x
3
ya x
2
ya xya 1 x
3
a x
2
a xa
xya

xya ya x
3
y x
2
y xa a x
3
X
2
xy

y x
3
ya x
2
ya x

1 x
3
a x
2
a
x
2
ya x
2
ya xya ya x
3
y x
2
a xa a X
3
x
2
y xy y

x
3
ya x
2
x

1 x
3
a
x
3
ya x
3
ya x
2
ya xya ya x
3
a x
2
a xa a x
3
y x
2
y

xy

y x
3
x
2
x

1

You might also like