Let and be groups of order 10 and 15, respectively. Prove that if there is a nontrivial homomorphism , then is abelian.
Problem 2
Let be an abelian group and be the set of elements of finite order in . (a) Prove that is a subgroup of . (b) Prove that every non-identity element of has infinite order. (c) Characterize the elements of when , where is the additive group of real numbers.
Problem 3
(a) Suppose and are ideals in a commutative ring such that . Prove that the map given by induces the isomorphism
(b) Prove that . (Hint: Use part (a).)
Problem 4
An element of a ring is said to be idempotent if . Suppose that is a commutative ring with unity containing an idempotent element . (a) Prove that is also idempotent. (b) Prove that and are both ideals in and that
(c) Prove that if has a unique maximal ideal, then the only idempotent elements in are 0 and 1.
Problem 5
Suppose is a linear transformation on a finite-dimensional complex inner-product space . Let denote the identity transformation on . The numerical range of is the subset of defined by
(a) Show that for every . (b) Show that for every . (c) Show that the eigenvalues of are contained in . (d) Let be an orthonormal basis for . Show that the diagonal entries of are contained in .
Important note
Sometime after this exam was given, the exam syllabus was updated and the topic of general inner-product spaces was removed. As such, Problem 5 does not appear in the problem bank.