Homework 3
MATH 301/601
Test #3 is on Wednesday, March 12
Instructions. Read the Homework Guide to make sure you understand how to successfully complete the assignment. Click here for a pdf version of the homework.
Exercise 1.
Prove that
is a subgroup of under the group operation of multiplication.
*Exercise 2.
Let and be subgroup of a group .
-
(a)
Prove that is a subgroup of .
-
(b)
Prove or disprove: is a subgroup of .
-
(c)
Prove that if is abelian, then is a subgroup of .
Exercise 3.
Let be a group. The center of is the set
Prove that is a subgroup of .
Exercise 4.
-
(a)
Compute the center of . Hint: Use the following test matrices: and .
-
(b)
Compute the center of .
*Exercise 5.
Let be a subgroup of a group . Define the relation on by if . Prove that is an equivalence relation on .
**Exercise 6.
Suppose is a nonempty finite subset of a group and that is closed under multiplication (that is, for all ). Prove that is a subgroup of .
Exercise 7.
Let be a group, and let have finite order.
-
(a)
Prove that the set is not empty.
-
(b)
Let be the least element of the set (which exists by part (a) and the well-ordering principle). Prove that if such that , then .
-
(c)
Prove that .
(Note: Parts (b) and (c) together show that .)
Exercise 8.
Determine if is cyclic. Justify your answer.
*Exercise 9.
Let .
-
(a)
Prove that if has finite order, then .
-
(b)
Prove that if and , then has a (real) eigenvalue such that , where denotes the trace of .
-
(c)
Let be as in part (b), so and . Use the existence of an eigenvalue (and hence an eigenvector) to prove that if , then has infinite order.
Exercise 10.
Let be a group
-
(a)
Let . Prove that .
-
(b)
Let . Prove that . (Hint: use part (a).)
Exercise 11.
Let be a prime number. Prove that has exactly two subgroups, namely the trivial subgroup and itself.
*Exercise 12.
Suppose is a nontrivial group in which the only two subgroups of are itself and the trivial subgroup.
-
(a)
Prove that is cyclic.
-
(b)
Using part (a), prove that is a finite group of prime order.
Exercise 13.
Let and be distinct prime numbers.
-
(a)
How many generators does have? Justify your answer.
-
(b)
Let . How many generators does have? Justify your answer.
*Exercise 14.
Let be an element of a group. For , find a generator for the group . Justify your answer.
Exercise 15.
Let and be elements in a group with relatively prime orders. Prove that is the trivial subgroup.
**Exercise 16.
Let be relatively prime, and let be an abelian group of order . Prove that if contains elements of order and , then is cyclic.
Exercise 17.
Let be an abelian group. Show that the elements of finite order in form a subgroup (known as the torsion subgroup).