Académique Documents
Professionnel Documents
Culture Documents
-1 = … • = E
i-1 = I … i • i = E
(Cnm)-1 = Cnn-m … Cnm • Cnn-m = E (ex. (C52)-1 = C53 since C52 • C53 = E)
(Snm)-1 n even = Snn-m … Snm • Snn-m = Snn = E
(Snm)-1 n odd = Sn2n-m … Snm • Sn2n-m = Sn2n = E
(x1, y1)
x
(x2, y2) = (x1, -y1)
C4(z)(x 1, -y1, z1)
y
(x2, y2)
(x1, y1)
(x1, y1)
y
(x3, y3)=(x1, y1, z1)
C3 • C3 = C32
o o
v C3
C3 • v = ? o
v'
o
C3 • v = v’
Thus E, C3 and v are not closed and consequently these operators do not
form a group. what other operators are generated by C3 and v?
C3
C3 • C3 = C32
C3 • C3 • C3 = C32 • C3 = C3 • C32 = E
C3 • C3 • C3 • C3 = E • C3 = C3
etc.
v v v
o
C3 v
o o
o
C3 • v = v”
Will discover that no new operators may be generated. Moreover one finds
that
inverses
2
E C3 C3
v v v
The above group is closed, i.e. it contains the identity operator and meets
inverse and associativity conditions. Thus the above set of operators
constitutes a mathematical group (note that the group is not Abelian).
The order, h, of the group is the number of elements. In the above example,
h = 6.
Note that E, C3, and C32 meet the conditions of a group… they form a cyclic
group. Moreover these three operators are a subgroup of E, C3, C32, v, v’,v”.
The order of a subgroup must be a divisor of the order of its parent group.
(Example hsubgroup = 3, hgroup = 6 … a divisor of 2.)