These homework problems are meant to expand your understanding of what goes on during class. Any you turn in will be graded and returned to you. Answers may or may not be posted on the web, depending on demand.
(a) the groups
and
are isomorphic, but...
(b)
and
are not the same symmetry type.
(a)
Prove that
is an element of
. (This is easy. You may also
assume associativity holds.)
(b) Prove that
is closed. That is, show that if
and
are
integers with
and
, show
that
and so
. (Warning!
Recall that
, only that
, so that
minus some integer multiple of
.)
(c) Prove that every element of
has an inverse. Here's a handy
sketch for you to fill in: Suppose that
for some elements
,
, and
in
. If we can show that
, then we've shown that the product of
with elements of
produces a permutation of the elements of
. In particular,
for some
in
, so
. That is,
has
an inverse.
So how do we prove that
? Since
, we
have
, or
for some integer
.
Since
, what does that say about
?
IfHint: You may assume thatand
are positive integers with
, then there are integers
and
with
.