Download Section 6.2 Introduction to Groups

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Location arithmetic wikipedia , lookup

History of logarithms wikipedia , lookup

List of first-order theories wikipedia , lookup

Algebra wikipedia , lookup

Arithmetic wikipedia , lookup

Addition wikipedia , lookup

Transcript
1
Section 6.2
Introduction to Groups
Section 6.2 Introduction to the Algebraic Group
Purpose of Section:
Section To introduce the concept of a mathematical structure
called an algebraic group. To illustrate group concepts, we introduce cyclic
and dihedral groups.
Introduction
The theory of groups is an area of mathematics which is concerned with
underlying relationships of things, and arguably the most powerful tool ever
created for illuminating structure, both mathematical and physical. The word
group was first used by the French genius Evariste Galois in 1830, who wrote
his seminal paper on the unsolvability of the 5th order polynomial equation, the
night before he was killed in a stupid duel at the age of 20. Other early
contributors to the development of group theory were Joseph Louis Lagrange,
(1736-1813), Niels Abel (1802-1829), Augustin-Louis Cauchy (1789-1857),
Arthur Cayley (1821-1895, Camille Jordan (1838-1923), Ludwig Sylow (18321918) and Marius Sophus Lie (1842-1899). Now, merely more than a century
later, group theory has resulted in an amazing unification of areas of
mathematics, including algebra and geometry, long thought to be separate and
unrelated. It is often said that whenever groups make an appearance in a
subject, simplicity is created from chaos. Group theory has played (and is
playing) a crucial role for both chemists and physicists to penetrate the deep
underlying relationships in our amazing world.
Binary Operation and Groups
Groups
A binary operation on a set A is a rule, which assigns to each pair of
elements of A a unique element of A . Thus, a binary operation is simply a
function f : A × A → A . Two common binary operations familiar to the reader
are +, i which assign the sum a + b ∈ and product a i b∈ to a pair
( a, b ) ∈ × of real numbers. We now give a formal definition of a group.
2
Section 6.2
Introduction to Groups
Definition:
Definition An algebraic group
group G (or simply group)
group is a set of elements with a
binary operation,
operation say “ ∗ ”, satisfying the closure
closure property
a, b ∈ G ⇒ a * b ∈ G
as well as the following properties:
▪
Associative: ∗ is associative,
associative that is, for every a, b, c ∈ G , we
have
( a ∗ b ) ∗ c = a ∗ (b ∗ c ) .
▪ Identity: G has a unique identity1 e .
have a * e = e * a = a
That is, for any element a ∈ G we
▪ Inverse: Every element a ∈ G has a unique inverse2 . That is, for a ∈ G
there exists an element a −1 ∈ G that satisfies a * a −1 = a −1 * a = e .
We often denote a group G with operation "∗ " by {G, ∗} .
Often it happens that a ∗ b = b ∗ a for all a, b ∈ G . When this happens the group
is called a commutative (or Abelian)
We often denote the group
Abelian group.
operation a ∗ b as ab , or maybe something more suggestive like ⊕ if the
group operation is addition or closely resembles addition. A group is called
finite if it contains a finite number of elements and the number of elements in
the group is called the order of the group. If the order of a group G is n , we
denote this by writing G = n
If the group is not of finite order we say it is
of infinite order.
order
In Plain English
▪ Associative: The associative property tells us when we combine three
elements a, b, c ∈ G (keeping them in the same order), the result is unchanged
regardless of which two elements are combined first. There are examples of
algebraic groups where the operation is not associative, the cross product of
vectors in vector analysis is an example of a non-associative operation, as
well as the difference between two numbers3, but by far the majority of binary
operations in mathematics are associative.
1
It is not necessary to state that the identity is unique since it can be proven there is only one identity. In a
more lengthy treatment of groups, we would define the existence of an identity and then prove it is unique,
but here we assume uniqueness to shorten the discussion.
2
Again, it can be proven that the inverse is unique so it is not really necessary to assume uniqueness of an
inverse in the definition.
3
( a − b) − c ≠ a − (b − c) .
3
Section 6.2
Introduction to Groups
▪ Identity: The identity element of a group depends on the binary relation ∗
and is the unique element e ∈ G that leaves every element a ∈ G unchanged
when combined with e . In the group of the integers with the binary
operation + (addition), the identity is 0 since a + 0 = 0 + a = a for every
integer a . If the binary operation is × (multiplication), then the identity e is 1
since a ×1 = 1× a = a for all a in the group.
▪ Inverse: The inverse a −1 of an element a depends (of course) on the
element a , but also on the identity e and is an element such that when
combined with a yields the identity; that is aa −1 = a −1a = e . For example, the
inverse of an integer a with group operation addition + is its negative − a since
a + ( −a ) = ( −a ) + a = 0 .
Operation
Table 1: Properties of Binary Operations
Associative
Commutative
Identity
Inverse
∪ on P ( A)
Yes
Yes
Yes
No
∩ on P ( A)
Yes
Yes
Yes
Yes
gcd on + on − on × on min on Yes
Yes
No
Yes
Yes
Yes
Yes
No
Yes
Yes
No
Yes
No
Yes
No
No
Yes
No
Yes
No
Example 1: Group Test
Which of the following define a group on the set of integers?
a)
b)
c)
{, +} : Integers with the operation of addition.
{, (m + n) / 2} : Integers with operation of averaging two integers.
{, −} Integers with operation of taking the difference of two integers.
Solution
a)
{, +} : We leave it to the reader to show {, +} is a group.
b)
{, (m + n) / 2} :
See Problem 5.
Taking the average of two integers, say 2 and 3, is not an
integer, hence the averaging operation is not closed in . Hence with the
averaging operation is not a group. There is no need to check the other
properties required of a group.
4
Section 6.2
c)
{, −}
Introduction to Groups
The integers with the difference operation is not a group since
subtraction is not associative, i.e. m − ( n − p ) ≠ ( m − n ) − p . However, it does
have an identity, 0 since 0 − m = −m − 0 = − m . Also, every integer has an
inverse, itself, i.e. m − m = 0, − m − ( − m ) = 0 . Nevertheless, failure of the
associative property says it is not a group.
Abstraction Abstraction reveals connections between different areas of mathematics
since the process of abstraction allows one to see essential ideas and see the “forest and
not just the trees.” This broad viewpoint can result in making new discoveries in one
area of mathematics as a result of knowledge in other areas. A disadvantage might be
that highly abstract mathematics is more difficult to master and tends to isolate
mathematics from the outside world.
Cayley Table
The binary operation of a group can be illustrated by means of a Cayley4 table as
drawn in Table 2, which shows the products gi g j of elements gi and g j of a group. It is
much like the addition or multiplication tables the reader studied as a child, except a
Cayley table can record any binary operation. A Cayley table is an example of a latin
square, meaning that every element of the group occurs once and exactly once in every
row and column. We examine the Cayley table to learn about the inner workings of a
group.
∗
g1 = e
g2
g3
gj
g1 = e
e
g1
g2
gj
g2
g2
g 22
g 2 g3
g2 g j
gi
g i g1
gi g 2
gi g 3
gi g j
Cayley Table for a Group
Figure 2
Example 2
Below we illustrate the only groups of order 2 and 3. Show they are both
commutative. Find the inverse of each element in the group. Show that each
group is associative. Convince yourself that the only groups of these orders
are the ones given. Keep in mind every row and column of the multiplication
4
Arthur Cayley (1821-1895) was an English mathematician
5
Section 6.2
Introduction to Groups
table includes every element of the group exactly once. We leave this fun for
the reader.
Order 2
*
e
a
e
e
a
a
a
e
Order 3
*
e
a
b
e
e
a
b
a
a
b
e
b
b
e
a
Example 3: The set G = {a, b, c, d } and binary operation * define a group
illustrated by the Cayley table
a) Is there an identity element? If so, find it.
b) Find the inverse of each element.
c) Is the binary operation commutative?
d) Is a * ( b * c ) = ( a * b ) * c
Solution
a) The identity is a since ab = ba = b, ac = ca = c, ad = da = d .
b) a −1 = a, b −1 = d , c −1 = c, d −1 = b
c) yes, the multiplication table is symmetric around the main diagonal
d) yes, a * ( b * c ) = a * d = d and ( a * b ) * c = b * c = d . In general, there is
no quick way to verify the associative property like there is the commutative
property.
You have to check ALL possible arrangements to verify
associativity.
On the other hand, if one instance where associativity fails,
then the binary operation * is not associative.
6
Section 6.2
Introduction to Groups
Example 4: Klein 4-Group
Show that the set G = {e, a, b, c} described by the multiplication table in
Figure 1 forms a group. This group is called the Klein5 4-group,
group which is the
symmetry group of a (non square) rectangle6 studied in Section 6.1. There
are exactly two distinct groups of order four, the Klein 4-group and the cyclic
group 4 which we will study shortly.
∗
e
a
b
c
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e
Multiplication Table for the Klein four-group
Figure 1
Proof: First observe all products of elements of G belong to G since the
table consists only of elements of G . The hardest requirement to check is
associativity, which requires we check ( r ∗ s ) ∗ t = r ∗ ( s ∗ t ) , where r , s can be
any of the elements e, a, b, c , which means we have 43 = 48 equations to check
since each or the r , s, t in the associative formula can take on one of four
values e, a, b, c . The computations can be simplified by observing the group is
commutative (i.e. r ∗ s = s ∗ r for all r , s ∈ G ), which implies ( r ∗ r ) ∗ r = r ∗ ( r ∗ r )
so we have associativity when r = s = t . Other shortcuts tricks can be used
(as well as computer algebra systems) to shorten the list of elements you
must check. In this example, we observe that the group operation ∗ is simply
the composition of functions and we can resort to the fact that composition of
functions is associative.
Finding the group identity e is easy since multiplying any member of the
group by e , either on the left of right, does not change the member. You can
see that the first row and column of the table are the same as the group
elements themselves.
5
Felix Klein (1849-1925) was a German geometer and one of the major mathematicians of the 19th
century.
6
Try interpreting the elements e, a of the Klein group are 0 and 180 degree rotations of a rectangle, and
c, d the horizontal and vertical flips of the rectangle..
7
Section 6.2
Introduction to Groups
Finally, to find the inverse r −1 of an element r simply follow along the
row labeled " r " until you get to the group identity e , then the inverse r −1 is
the column label above e . You could also do the same thing by going down
the column labeled " r " until reaching e , then the row label at the left of e is
r −1 . In the Klein four-group each element 1, a, b, c is its own inverse since the
identity e lies along the diagonal of the “multiplication” table.
Familiar Groups
You are familiar with more groups that you probably realize. Table 2
shows just a few algebraic groups you might have seen in earlier studies.
Group
Elements
n∈
m/n
+
m, n > 0
Operation
addition
Identity
0
Inverse
−n
Abelian
yes
multiplication
1
n/m
yes
multiplication
mod n
0
n−k
yes
multiplication
1
1/ x
yes
vector
addition
( 0, 0 )
( − a , −b )
yes
n
k ∈ {0,1, 2,..., n − 1}
− {0}
x nonzero real
2
( a, b ) ∈ 2
GL ( 2, )
a b 
c d 


ad − bc ≠ 0
matrix
multiplication
1 0 
0 1 


a b 
c d 


ad − bc = 1
matrix
multiplication
1 0 
0 1 


number
general linear
group
SL ( 2, )
special linear
group
 d
 ad − bc

 −c
 ad − bc
−b 
ad − bc 

a 
ad − bc 
 d −b 
 −c a 


Common Groups
Table 2
Notational Note: Repeated multiplication of an element g of a group by itself
result in powers of an element and are denoted by g n , n = 1, 2,... . When n = 0
we define g 0 as the identity g 0 = e .
Cyclic Groups (Modular
(Modular Arithmetic)
The most common and most simple of all groups are the cyclic groups,
groups
which are well-known to every child who has learned to keep time.
no
no
8
Section 6.2
Introduction to Groups
A finite cyclic group ( Z n , ∗) of order n is a group that contains an
Definition:
element g ∈ Z n called the generator of the group, such that
g ≡ {e, g , g 2 , g 3 ,..., g n −1} = Z n .
where “powers” of g are simply repeated multiplications7 of g ; that is
g 2 = g ∗ g , g 3 = g 2 ∗ g ,...
For example, the three rotational symmetries
triangle form a cyclic group
2
120
R
3
120
= R240 , R
3
{e, R120 , R240 }
with generator
of an equilateral
g = R120
(note that
= e ).
Cyclic groups also describe modular (or clock) arithmetic, which is the
type of arithmetic we carry out when keeping time on 24-hour timepiece,
where the numbers “wrap around” after 24 hours. However, unless you are
in the military, your clock lists hours from 0 to 11 so telling time is done, as
they say, modulo 12, as in 5 hours after 9 P.M. is ( 5 + 9 ) mod(12) = 3 A.M. .
This leads us to the cyclic group Z12 with elements
Z12 = {0,1, 2,3, 4,5, 6, 7,8,9,10,11 }
and the group operation on Z12 exactly what you do when you keep time, that
is
a ⊕ b = ( a + b ) mod12
where “mod 12” refers to computing a ⊕ b by computing
(a + b)
then taking
its remainder after dividing by 12. (We denote the group operation by ⊕ to
remind us it is addition, only reduced modulo 12.)
For example
2 = ( 9 + 5 ) mod12 which, related to a 12-hour clock, translates into 2 A.M is 5
hours after 9 P.M. The hours of the clock Z12 and keeping time using this
binary operation defines an Abelian group of order 12, called a cyclic group,
group,
whose Cayley table is shown in Table 3.
7
We use the word “multiplication” here, but keep in mind the group operation can mean any binary
operation, even addition.
9
Section 6.2
Introduction to Groups
⊕
0
1
2
3
4
5
6
7
8
9
10
11
0
1
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11
0
2
3
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
10
10
11
11
0
0
1
1
2
4
4
5
6
7
8
9
10
11
0
1
2
3
5
6
7
8
5
6
7
8
6
7
8
9
7
8
9
10
8
9
10
11
9
10
11
0
10
11
0
1
11
0
1
2
0
1
2
3
1
2
3
4
2
3
4
5
3
4
5
6
4
5
6
7
9
10
11
9
10
11
10
11
0
11
0
1
0
1
2
1
2
3
2
3
4
3
4
5
4
5
6
5
6
7
6
7
8
7
8
9
8
9
10
Cayley table for the cyclic group of 12 elements
Table 3
Figure 3 shows various clocks that give rise to different cyclic groups.
The cyclic group Z 6 consists of elements Z 6 = {0, r1 , r2 , r3 , r4 , r5 } were as always
e is the identity map and rj is rotation of the clock by 60 j degrees, j = 1,...,5 .
This set, along with the binary operation of doing one operation after another
(function composition) forms a group with the following Cayley table. In other
to make the table read faster, we have replaced the angles of rotation rj by
the time on the hour hand, 1,2,3,… , 11.
10
Section 6.2
Introduction to Groups
Cyclic Groups n
Z2
Cyclic
Group
Of
Order
2
0
0
6
⊕
0
6
6
6
0
Z3
⊕
0
4
8
Cyclic
Group
of
Order
3
0
4
8
0
4
8
4
8
0
8
0
4
Z4
⊕
0
3
6
9
0
3
6
9
0
3
6
9
3
6
9
0
6
9
0
3
9
0
3
6
0
2
0
0
2
2
2
4
4
4
6
6
6
8
8
8
10
10
10
0
4
6
8
10
4
6
8
10
6
8
10
0
8
10
0
2
10
0
2
4
0
2
4
6
2
4
6
8
Cyclic
Group
of
Order
4
⊕
Z6
Cyclic
Group
of
Order
6
Z12
Cyclic
of
Order
12
See
Table 1
Cyclic Groups
Figure 3
11
Section 6.2
Introduction to Groups
Example 5 (Symmetries of a Square) Figure 4 shows the eight symmetries
of a square, called the octic group.
a) Is the octic group commutative? Hint: Compare products R270 a
and aR270 .
b) There are several subsets of the eight symmetries that form a group
in their own right. These are called subgroups of the octic group. Can you
find all ten of them?
Solution
a) The reader can check but R270 a ≠ aR70 . Hence, the octic group is not
commutative.
b)
The 10 subgroups of the octic group are
{e} , {e, v} , {e, h} , {e, d } , {e, a} , {e, R180 } , {e, R180 , v, h} , {e, R180 .d , a} , D4
The reader can visualize these symmetries and make Cayley tables for them.
(See Problem 16.) These subgroups form a partially ordered set and can be
put in the Hasse diagram shown in Figure 5.
12
Section 6.2
Motion
Symbol
No motion
e
Rotate 90
Counterclockwise
R90
Rotate 180
Counterclockwise
R180
Rotate 270
Counterclockwise
R270
Horizontal flip
h
Vertical flip
v
Anti-diagonal flip
a
Diagonal flip
d
Introduction to Groups
First and Final Positions
Symmetries of a Square
Figure 4
Section 6.2
13
Introduction to Groups
Hasse Diagram for the Subgroups of the Octic Group D4
Figure 5
Symmetry Groups of n -gons: Dihedral Groups
In Section 6.1 we saw how symmetries of a figure in the plane, which is
a rigid motion which leaves the figure unchanged, can create new symmetries
by following one symmetry after another. In this way, one creates an
“arithmetic” of symmetries, where the composition of symmetries plays the
role of multiplication, and the system contains identity elements, inverses and
all the goodies on an “arithmetic” system. In other words, a group of
symmetries, called the symmetry
symmetry group of the figure. Every figure no matter
how “non symmetric” has at least one symmetric group, namely the group
consisting only of the identity or ‘do nothing symmetry.”
The more
“symmetric” a figure the more elements in its symmetry group. In Section 6.1
we saw that the (non square) rectangle had four symmetries; namely rotations
14
Section 6.2
Introduction to Groups
of 0 and 180 degrees, and a horizontal and vertical flip about the midlines,
which constitute the Klein 4-group. On the other hand, the more “symmetric”
square has 8 symmetries in its symmetry group. (Can you find them?) Some
figures have both rotational and flip symmetries.
A polygon is called regular if all its sides have the same length and all its
angles are equal. An equilateral triangle is a regular 3-gon, a square is a
regular 4-gon, a pentagon is a regular 5-gon and so on. The symmetry group
of a regular n -gon, which has n rotational and n flip symmetries, for a total
of 2n symmetries, is called the dihedral group of the n -gon and denoted by
Dn Can you find the 10 symmetries of the dihedral group D5 of the pentagon
drawn in Figure 5?
Find the Symmetric Group D5
Figure 5
We are getting ahead of ourselves, but in addition to the complete dihedral
group of 10 symmetries of a pentagon, there is also a “smaller” group of five
rotation symmetries , called a subgroup,
subgroup which is a group in its own right, of
the larger group of 10 symmetries as well as a subgroup of the 5 flip
symmetries. Figure 6 shows commercial figures whose symmetry groups are
the dihedral groups D1 − D5 .
D1 one rotation (0 degrees), one vertical
flip
2 symmetries
D2 two rotations, two flips (horizontal
and vertical axes)
4 symmetries
15
Section 6.2
Introduction to Groups
D3 three rotations, three flips
6 symmetries
D4 four rotations, four flips
8 symmetries
D5 five rotations, five flips
10
symmetries
Figure with Dihedral Symmetry Groups
Figure 6
16
Section 6.2
Introduction to Groups
Problems
1. Do the following sets with given binary operations form a group? If it
does, give the identity element and the inverse of each element. If it does not
form a group, say why.
a)
b)
All even numbers, addition
{−1,1 } , multiplication
c)
d)
e)
All positive real numbers, multiplication
All nonzero real numbers, division
All 2 × 2 real matrices, matrix addition
f)
the four numbers 1, −1, i, −i where i = −1 is the unit
complex number, the binary operation is ordinary multiplication.
g)
{a, b, c}
with operation ∗ defined by the Cayley table
a
b
a
c
∗
a
b
c
c
a
c
b
b
c
b
a
2. (Finish the Group) Complete the following Cayley table for a group of
order three.
e
e
a
b
∗
e
a
b
a
a
b
b
3.
(Finish the Group) Complete the following Cayley table for a group of
order four without looking at the Cayley tables of the Klein 4- group or the
cyclic group of order 4 in the text.
∗
e
a
b
c
e
e
a
b
c
a
a
b
b
c
c
4. (Verification of a Group) Do the nonzero integers with the operation of
multiplication form a group?
17
Section 6.2
5.
Introduction to Groups
(Group You are Well Familiar) Show that {, +} is a group (i.e. the
integers with the operation of addition) is a group.
6.
(Property of a Group) Verify that for all elements a, b in a group the
identity
( ab )
−1
= b −1a −1 holds. Hint: Show that ( ab ) ( a −1b −1 ) = e .
General Properties of Groups
7.
8.
Show that a group has exactly one identity.
Show that every element in a group has no more than one inverse.
9. Show that in a group the identity
( ( ( ab ) c ) d ) = ( ab )( cd )
holds.
10. Let a, b, c are members of a set with a binary operation ∗ on the set. If
a = b , then the multiplication rule says ca = cb .
a) Show that in a group we can cancel the c .
b) Given an example of elements in the set 6 = {0,1, 2,3, 4,5} with
addition modulo 6, where cancellation does not hold.
11. (Cyclic Group) The cyclic group of order 6 describes the rotational
symmetries of a regular hexagon. Its Cayley table is shown in Table 4.
For notational simplicity the group elements are the number of degrees
required to map the hexagon back onto itself.
⊕
0
60
120
180
240
300
0
0
60
120
180
240
300
60
60
120
180
240
300
0
120
120
180
240
300
0
60
180
180
240
300
0
60
120
240
240
300
0
60
120
180
300
300
0
60
120
Cayley Table for 6
180
240
Table 4
a) What is the inverse of each element of the group?
b) The order of an element of a group is defined as the (smallest)
number of repeated operations on itself that results in the group identity.
What is the order of each element of the group?
18
Section 6.2
Introduction to Groups
c) Show that by taking repeated operations with itself of the element
240 the set of elements obtained is itself a group. Construct the Cayley
table of this group.
12. (Affine Group) The set G of all transformations from the plane to the p
lane of the form
x′ = ax + by + c
y′ = dx + ey + f
where a, b, c, d , e, and f are real numbers satisfying ad − bc ≠ 0 , is a group if we
define the group operation of performing one operation after the other, this
forms a group called the affine group.
group
a) What is the identity of the affine group? That is, what are the values
of a, b, c, d , e, f ?
b) What is the inverse of ( 0, 0 ) ?
13.. (Mod 5 Multiplication) Create the multiplication table for the integers
0,1, 2, 3, 4 where multiplication defined as mod ( 5) arithmetic. Show this defines
a group.
14.
(Mod 4 Multiplication) Create the multiplication table for the integers
0,1, 2,3 for modular arithmetic mod ( 4 ) and show that this does not define a
group.
In other that the numbers
0,1, 2,..., n − 1 forms a group under
mod ( n ) multiplication, it must be true that n is a prime number.
15.
(Subgroups of the Dihedral Group D4 )
A subgroup of a group is a subset
of the elements of a group which itself a group using the group operation of the
larger group. The Hasse diagram for the subgroups of the symmetries of a
square (i.e. the dihedral group ) is shown in Figure 6. The letter " F "
represents the identity element, the other letters represent rotations and
reflections of F . Interpret the rotations in the subgroups and make a Cayley
table for them.
16. (Subgroups of the Octic Group) Make a Cayley table for the subgroups of
the octic group.
{e, v}
b) {e, h}
c) {e, d }
a)
19
Section 6.2
Introduction to Groups
d) {e, a}
e) {e, R180 }
f) {e, R180 , v, h}
g) {e, R180 , d , a}
Hasse diagram for the Subgroups of D4
Figure 6
17. (Isomorphic Groups) Sometime two groups appear different but are really
the same group. The two groups in Figures 7, called Group A and Group B
look different, but are really the same, or what are called isomorphic groups.
Convince yourself the two groups are the same by making the substitution, or
isomorphism
⊕ → ⊗, 0 → i, 1 → a, 2 → b, 3 → c
that sends Group A into Group B.
20
Section 6.2
⊕
0
1
2
3
⊗
i
a
b
c
0
0
1
2
3
i
i
a
b
c
Introduction to Groups
1
1
2
3
0
Group A
2
2
3
0
1
a
a
b
c
i
b
b
c
i
a
3
3
0
1
2
c
c
i
a
b
Group B
18. (Harder to See Isomorphic Groups) Show that Group C and Group D are
isomorphic (the same group) by making the substitution
⊕ → ⊗, 0 → 1, 1 → 2, 2 → 4, 3 → 3
in Group C, and then interchanging the 3rd and 4th columns, followed by the 3rd
and 4th rows of the resulting table.
⊕
0
1
2
3
⊗
1
2
3
4
0
0
1
2
3
1
1
2
3
0
Group C
2
2
3
0
1
3
3
0
1
2
1
1
2
3
4
2
2
4
1
3
Group D
3
3
1
4
2
4
4
3
2
1