
\input amssym
\def\c #1{{\cal #1}}
\def\b #1{{\bf #1}}
\def\q {{\Bbb Q}}
\def\r {{\Bbb R}}
\def\cm {{\Bbb C}}
\def\z {{\Bbb Z}}
\def\n {{\Bbb N}}
\def\f {{\Bbb F}}
\def\ker {\mathop{\rm Ker}\nolimits }
\def\im  {\mathop{\rm Im}\nolimits }
\def\hom {\mathop{\rm Hom}\nolimits }
\def\GL {\mathop{\rm GL}\nolimits}
\def\SL {\mathop{\rm SL}\nolimits}
\def\mapright#1{\smash{\mathop{\longrightarrow}\limits^{#1}}}
\font\smr=cmr5
\headline{\smr Version 1 \hfil June 2, 1999}

\centerline{\bf Algebra  Exam Syllabus}
\bigskip
The Algebra comprehensive exam covers four broad areas of algebra:
(1) Groups; (2) Rings; (3) Modules;  and (4)
Linear Algebra.  These topics are all covered in the first semester graduate algebra
course Math 7200, although the more elementary portions of linear algebra
are covered in any undergraduate linear algebra course, e.g., Math
4153.  Questions from all four areas can be expected, with the
major portion of the questions coming from the 7000-level material.

Naturally, not every topic in the following detailed list will be
on every exam.  However, all listed topics provide a potential
source of questions.   Examples of representative questions follow the syllabus.  The exam itself will consist of five questions (some exams may require one to do five out of six questions) similar to the sample questions given below.  In fact, many of these questions were extracted from one (or more) past exams.  You will have two and one-half hours to complete the exam.

\medskip
{\bf Hint:  }  In preparing for the exams, a candidate should
become familiar with examples and counterexamples, and should
develop a facility for computing with specific examples.

\medskip
The following  standard textbooks in algebra
have been used in this department in recent years.  References to
the relevant chapters of each are given in the detailed list of
topics which follows.  These texts are intended only as examples
where one may find the topics tested; the same topics may be found
in many other books.  Moreover, there is substantial overlap in the texts.
In fact, each of the texts contains most, if not all, of the topics listed, plus many other topics.
\bigskip
\centerline{\bf Reference Texts}
\medskip
\item{[A]}  M. Artin, {\it Algebra}, Prentice Hall, Englewood Cliffs, NJ, 1991.
\item{[AW]}  W. A. Adkins and S. H. Weintraub, {\it Algebra: An
Approach via Module Theory}, Graduate Texts in Math. 136,
Springer-Verlag, New York, 1992.
\item{[H]}  T. W. Hungerford, {\it Algebra}, Graduate Texts in
Math. 73, Springer-Verlag, New York, 1974.

\bigskip
{\bf Algebra Exam Syllabus}
\bigskip
{\bf 1. Group Theory}
\medskip
Groups,  subgroups,   normal
subgroups, cosets, quotient groups, Lagrange's theorem,  homomorphisms,
 Noether isomorphism theorems, abelian groups, center of a group, commutator subgroup,     direct products, fundamental
theorem of finitely generated abelian groups as an application of
the structure theorem for finitely generated modules over a Euclidean Domain
(See \S 3), Examples: cyclic groups,  simple groups,
 $S_n$ (symmetric group), $A_n$ (alternating
group), dihedral groups, matrix groups, i.e., $\GL (n,k)$ and its subgroups.
\medskip
\noindent References: [A], Chapter 2; [AW], Chapter 1; [H], Chapter 1, \S 1--6, 8,
Chapter 2, \S 1, 2.
\bigskip
{\bf 2. Rings}
\medskip
Rings, subrings, homomorphisms, ideals, quotient rings, Noether
isomorphism theorems for rings, prime ideals, maximal ideals, units, divisibility,
polynomial rings,
 principal ideal domains (PID's) and Euclidean
domains: especially $\z$ and $k[X]$ for $k$ a field, Euclidean algorithm and computation of greatest common divisor,
 unique factorization
in Euclidean domains and polynomial rings over Euclidean domains, Gauss's lemma, field of quotients of an
integral domain, fields, construction of finite fields.
\medskip
\noindent
References: [A], Chapter 10, Chapter 11, \S 1--4; [AW], Chapter 2; [H], Chapter 3.
\bigskip
{\bf 3. Modules}
\medskip
Modules, submodules, homomorphisms, quotient
modules, Noether isomorphism theorems for modules, direct sums and
direct products, exact sequences, free modules, torsion modules,
structure of finitely generated modules over a Euclidean domain, especially over
$\z$ and $k[X]$: annihilator
ideals, invariant factors,  elementary divisors, application to
Jordan and rational canonical form for linear operators (see \S 4), application to finitely generated abelian groups (see \S 1), diagonalization of integer matrices and application to generators and relations for finitely generated abelian groups.
\medskip
\noindent
References: [A], Chapter 12, [AW], Chapter 3, \S 4.4, \S 5.1--5.4; [H], Chapter 4.

\bigskip
{\bf 4. Linear Algebra}
\medskip
Vector spaces, subspaces, quotient spaces, dual spaces,
 Hom $(V,\,W)$. Basis, dimension, linear transformations, matrices, change of basis,  determinants.  Theory of a single
linear operator: eigenvalues, eigenvectors, generalized eigenvectors, similarity,
diagonalization and triangularization of operators, functions of matrices and operators, characteristic and minimum polynomials, Jordan
canonical form, rational canonical form. (The theory of a single
linear transformation can (and probably should) be viewed as a special case of the
structure theorem for finitely generated $k[X]$-modules. See \S 3.) Inner product spaces, Hermitian, unitary, orthogonal and normal operators, adjoints, spectral theorem for normal operators, bilinear and quadratic forms, diagonalization of quadratic forms, signature and Sylvester's law for real quadratic forms.
\medskip
\noindent  References:   [A], Chapters 3, 4, 7, and 12; [AW], Chapters 4, 5, 6; [H],
Chapter 7;  Hoffman--Kunze, {\it Linear
Algebra} Chapters 6 and 7, also has the theory of a single linear
transformation, Chapters 8, 9, 10 has the theory of inner products spaces and bilinear forms.
\bigskip
\bigskip
\centerline{\bf Sample Algebra Questions}
\bigskip
The following questions are representative of the type and difficulty of the questions which can be expected on the comprehensive exam.  For convenience, the problems are divided (very roughly) into the four divisions listed under the syllabus.  Some questions could just as easily be included in more than one subdivision.  Notation which will be standardized for all exercises is the following:  $\n$, $\z$, $\q$, $\r$, $\cm$  will denote respectively, the natural numbers, the integers, the rational numbers, the real numbers, and the complex numbers.  The integers modulo $n$ will be denoted $\z/n \z$, while $\f_q$ will refer to a finite field with $q$ elements.

\bigskip
\centerline{\bf Group Theory}
\medskip
\item{G1.}  Let $H$ be a normal subgroup of a group $G$, and let $K$ be a subgroup of $H$.
\itemitem{(a)}  Give an example of this situation where $K$ is not a normal subgroup of $G$.
\itemitem{(b)}  Prove that if the normal subgroup $H$ is cyclic, then $K$ is normal in $G$.
\item{G2.}  Prove that every finite group of order at least three has a nontrivial automorphism.
\item{G3.} (a) State the structure theorem for finitely generated abelian groups.
\itemitem{(b)}  If $p$ and $q$ are distinct primes determine the number of nonisomorphic abelian groups of order $p^3q^4$.
\item{G4.}   Let $G= \GL(2, \f_p)$ be the group of invertible $2\times 2$ matrices with entries in the finite field $\f_p$, where $p$ is a prime.
\itemitem{(a)}  Show that $G$ has order $(p^2-1)(p^2-p)$.
\itemitem{(b)}  Show that for $p=2$ the group $G$ is isomorphic to the symmetric group $S_3$.
\item{G5.}  Let $G$ be the group of units of the ring $\z/247\z$.
\itemitem{(a)}  Determine the order of $G$ (note that $247=13\cdot 19$).
\itemitem{(b)}  Determine the structure of $G$ (as in the classification theorem for finitely generated abelian groups).  {\it Hint:}  Use the Chinese Remainder Theorem.
\item{G6.}  Let $G$ be the group of invertible $2\times 2$ upper triangular matrices with entries in $\r$.  Let $D\subseteq G$ be the subgroup of invertible diagonal matrices and let $U\subseteq G$ be the subgroup of matrices of the form $\left[\matrix{1&x\cr 0&1\cr}\right]$ where $x\in \r$ is arbitrary.
\itemitem{(a)}  Show that $U$ is a normal subgroup of $G$ and that $G/U$ is isomorphic to $D$.
\itemitem{(b)}  True or False (with justification):  $G\cong U\times D$
\item{G7.}  Let $G$ be a group and let $Z$ denote the center of $G$.
\itemitem{(a)}  Show that $Z$ is a normal subgroup of $G$.
\itemitem{(b)}  Show that if $G/Z$ is cyclic, then $G$ must be abelian.
\itemitem{(c)}  Let $D_6$ be the dihedral group of order 6.  Find the center of $D_6$.
\item{G8.}  List all abelian groups of order 8 up to isomorphism.  Identify which group on your list is isomorphic to each of the following groups of order 8.  Justify your answer.
\itemitem{(a)}  $(\z/15\z)^* = $ the group of units of the ring $\z/15\z$.
\itemitem{(b)}  The roots of the equation $z^8-1=0$ in $\cm$.
\itemitem{(c)}  $\f_8^+=$ the additive group of the field $\f_8$ with eight elements.
\item{G9.}  Let $S_9$ denote the symmetric group on 9 elements.
\itemitem{(a)}  Find an element of $S_9$ of order $20$.
\itemitem{(b)}  Show that there is no element of $S_9$ of order 18.
\item{G10.}  $G=\left\{\left[\matrix{a&b\cr 0&a^{-1}\cr}\right]: a, b\in \r, a>0\right\}$ and $N =\left\{\left[\matrix {1&c\cr 0&1\cr}\right]: c\in \r \right\}$ are groups under matrix multiplication.
\itemitem{(a)}  Show that $N$ is a normal subgroup of $G$ and that $G/N$ is isomorphic to the multiplicative group of positive real numbers $\r^+$.
\itemitem{(a)}  Find a group $N'$ with $N\subseteq N'\subseteq G$, with both inclusions proper, or prove that no such $N'$ exists.
\item{G11.}  Let $R$ be a commutative ring with identity, and let $H$ be a subgroup of the group of units $R^*$ of $R$.  Let $N=\left\{A\in \GL(n,\, R): \det A\in H\right\}$.  Prove that $N$ is a normal subgroup of $\GL(n,\, R)$ and $\GL(n,\, R)/N\cong R^*/H$.
\item{G12.}  Let $G$ be a group of order $2p$ where $p$ is an odd prime.  If $G$ has a normal subgroup of order 2, show that $G$ is cyclic.
\item{G13.}  Prove that every finitely generated subgroup of  the additive group of rational numbers is cyclic.
\item{G14.}  Prove that any finite group of order $n$ is isomorphic to a subgroup of the orthogonal group ${\rm O}(n,\, \r)$.
\item{G15.}  Prove that the group $\GL(2, \r)$ has cyclic subgroups of all orders $n\in \n$.  ({\it Hint:}  The set of matrices $\left [\matrix{a&b\cr -b&a\cr}\right]$ where $a$ and $b$ are arbitrary real numbers, is a subring of the ring of $2\times 2$ matrices which is isomorphic to $\cm$.)
\item{G16.}  Let $H_1$ be the subgroup of $\z^2$ generated by $\{(1,\,3),\, (1,\, 7)\}$ and let $H_2$ be the subgroup of $\z^2$ generated by $\{(2,\,4),\, (2,\, 6)\}$.  Are the quotient groups $G_1=\z^2/H_1$ and $G_2=\z^2/H_2$ isomorphic?
\item{G17.} Let $H$ and $N$ be subgroups of a group $G$ with $N$ normal.  Prove that $HN=NH$ and that this set is a subgroup of $G$.
\item{G18.}  Let $G = \z/2\z\oplus \z/6\z\oplus \z/30\z$ and let $H = \z/4\z\oplus \z/20\z$.  Express the abelian group $\hom (G, H)$ of homomorphisms from $G$ to $H$ as a direct sum of cyclic groups.
\item{G19.}  Let $G$ be an abelian group generated by $x$, $y$, $z$ subject to the relations
$$\leqalignno{15x+3y&=0\cr 3x+7y+4z&=0\cr 18x+14y+8z&=0.\cr}$$
\itemitem{(a)}  Write $G$ as a product of two cyclic groups.
\itemitem{(b)}  Write $G$ as a direct product of cyclic groups of prime power order.
\itemitem{(c)}  How many elements of $G$ have order 2?
\item{G20.}  Let $\f$ be a field and let
$$H(\f) = \left\{\left[\matrix{1&a&b\cr 0&1&c\cr 0&0&1\cr}\right]: a,\,  b,\, c \in \f\right\}.$$
\itemitem{(a)}  Verify that $H(\f)$ is a nonabelian subgroup of $\GL(3,\,\f)$.
\itemitem{(b)}  If $|\f|=q$, what is $|H(\f)|$?
\itemitem{(c)}  Find the order of all elements of $H(\z/2\z)$.
\itemitem{(d)}  Verify that $H(\z/2\z)\cong D_8$, the dihedral group of order 8.
\item{G21.}  Let $R$ be an integral domain and let $G$ be a finite subgroup of $R^*$, the group of units of $R$.  Prove that $G$ is cyclic.
\item{G22.}  Let $\alpha$ and $\beta$ be conjugate elements of the symmetric group $S_n$.  Suppose that $\alpha$ fixes at least two symbols. Prove that $\alpha$ and $\beta$ are conjugate via an element $\gamma$ of the alternating group $A_n$.
\item{G23.}  Are $(1\, 3)(2\,5)$ and $(1\, 2)(4\,5)$ conjugate in $S_5$?  If you say ``yes", find an element giving the conjugation; if you say ``no", prove your answer.
\item{G24.}  (a)  Suppose that $G$ is a group and $a$, $b\in G$ are elements such that the order of $a$ is $m$ and the order of $b$ is $n$.  If $ab=ba$ and if $m$ and $n$ are relatively prime, show that the order of $ab$ is $mn$.
\itemitem{(b)}  Prove that an abelian group of order $pq$, where $p$ and $q$ are distinct primes, must be cyclic.
\itemitem{(c)}  If $m$ and $n$ are relatively prime, must a group of order $mn$ be cyclic?  Justify your answer.
\item{G25.}  Let $\varphi:G\to H$ be a {\it surjective} group homomorphism and let $N$ be a normal subgroup of $G$.  Show that $\varphi(N)$ is a normal subgroup of $H$.  What happens if $\varphi$ is not surjective?  Explain your answer.
\item{G26.}  Let $Q=\{1,\,-1,\, i,\, -i,\, j,\, -j,\, k,\,-k\}$ be the quaternion group and $N=\{1,\,-1,\, i,\, -i\}$.  Show that $N$ is a normal subgroup of $Q$.  Describe the quotient group $Q/N$.
\item{G27.}  Let $G$ be a finite abelian group of odd order. If $\varphi :G\to G$ is defined by $\varphi (a)=a^2$ for all $a\in G$, show that $\varphi$ is an isomorphism.  Generalize this result.
\item{G28.}  Prove that the direct product of two infinite cyclic groups is not cyclic.
\item{G29.}  Prove that if a group has exactly one element of order two, then that element is in the center of the group.
\item{G30.}  Prove that a group of order 30 can have at most 7 subgroups of order 5.
\item{G31.}  Let  $H=\{1,\, -1,\, i,\, -i\}$ be the subgroup of the multiplicative group $G=\cm^*=\cm\setminus \{0\}$ consisting of the fourth roots of unity.  Describe the cosets of $H$ in $G$, and show that the quotient $G/H$ is isomorphic to $G$.
\item{G32.}  (a)  Show that the set of all elements of finite order in an abelian group form a subgroup.
\itemitem{(b)}  Let $G=\r/\z$.  Show that the set of elements of $G$ of finite order is the subgroup $\q/\z$.


\bigskip
\bigskip
\centerline{\bf Ring Theory}
\medskip
\item{R1.}  Let $R=\z[\sqrt{-3}]=\{a+b\sqrt{-3}: a, b\in \z\}$.
\itemitem{(a)}  Why is $R$ an integral domain?
\itemitem{(b)}  What are the units in $R$?
\itemitem{(c)}  Is the element 2 irreducible in $R$?
\itemitem{(d)}  If $x$, $y \in R$, and $2$ divides $xy$, does it follow that $2$ divides either $x$ or $y$?  Justify your answer.
\item{R2.} (a) Give an example of an integral domain with exactly 9 elements.
\itemitem{(b)}  Is there an integral domain with exactly 10 elements?  Justify your answer.
\item{R3.}  Let $$F=\left\{ \left[\matrix{a&b\cr 2b&a\cr}\right]:a, b\in \q\right\}.$$
\itemitem{(a)}  Prove that $F$ is a field under the usual matrix operations of addition and multiplication.
\itemitem{(b)}  Prove that $F$ is isomorphic to the field $\q(\sqrt 2)$.
\item{R4.}  Let $\f$ be a field     and let $R= \f[X,\,Y]$ be the  ring of polynomials in $X$ and  $Y$ with coefficients from $\f$.
\itemitem{(a)}  Show that $M=\langle X+1,\, Y-2\rangle$ is a maximal ideal of $R$.
\itemitem{(b)}  Show that $P=\langle X+Y+1\rangle$ is a prime ideal of $R$.
\itemitem{(c)}  Is $P$ a maximal ideal of $R$?  Justify your answer.
\item{R5.}  Let $R$ be an integral domain containing a field $k$ as a subring.  Suppose that $R$ is a finite-dimensional vector space over $k$, with scalar multiplication being the multiplication in $R$.  Prove that $R$ is a field.
\item{R6.}  Let $R$ be a commutative ring with identity and let $I$ and $J$ be ideals of $R$.
\itemitem{(a)}  Define $$ (I:J) = \{r\in R: rx\in I \hbox{ for all $x\in J$}\}.$$
Show that $(I:J)$ is an ideal of $R$ containing $I$.
\itemitem{(b)}  Show that if $P$ is a prime ideal of $R$ and $x\notin P$, then $(P:\langle x\rangle)= P$, where $\langle x\rangle$ denotes the principal ideal generated by $x$.
\item{R7.}  Let $R$ be a commutative ring with identity, and let $I$ and $J$ be ideals of $R$.
\itemitem{(a)}  Define what is meant by the sum $I+J$ and the product $IJ$ of the ideals $I$ and $J$.
\itemitem{(b)}  If $I$ and $J$ are distinct maximal ideals, show that $I+J=R$ and $I\cap J=IJ$.
\item{R8.}  Let $\f_2$ be the field with 2 elements.
\itemitem{(a)}  Show that $f(X) = X^3 +X^2+1$ and $g(X) = X^3+X+1$ are the only irreducible polynomials of degree 3 in $\f_2[X]$.
\itemitem{(b)}  Give an explicit field isomorphism
$$\f_2[X]/\langle f(X)\rangle \cong \f_2[X]/\langle g(X)\rangle.$$
\item{R9.}  Show that $\z[i]/\langle 1+i\rangle $ is isomorphic to the field $\f_2$ with 2 elements.  As usual, $i$ denotes the complex number $\sqrt{-1}$ and  $\langle 1+i\rangle$ denotes the principal ideal of $\z[i]$ generated by $1+i$.
\item{R10.}  Consider the ring $\z[X]$ of polynomials in one variable $X$ with coefficients in $\z$.
\itemitem{(a)}  Find all the units of $\z[X]$.
\itemitem{(b)}  Describe  an easy way to recognize the  elements of the ideal $I$ of $\z[X]$ generated by $2$ and $X$.
\itemitem{(c)}  Find a prime ideal of $\z[X]$ that is not maximal.
\item{R11.}  Determine, with justification, all of the irreducible polynomials of degree 4 over the field $\f_2$ of two elements.
\item{R12.}  Let $R=\z[\sqrt{-10}]$.
\itemitem{(a)}  Show that $R$ is not a PID.  ({\it Hint:}  Show that 10 admits two essentially different factorizations into irreducible elements of $R$.)
\itemitem{(b)}  Let $P=\langle 7, 5+\sqrt{-10}\rangle$.  Show that $R/P$ is isomorphic to $\z/7\z$.
\item{R13.}  Suppose that $R$ is an integral domain and $X$ is an indeterminate.
\itemitem{(a)}  Prove that if $R$ is a field, then the polynomial ring $R[X]$ is a PID (principal ideal domain).
\itemitem{(b)}  Show, conversely, that if $R[X]$ is a PID, then $R$ is a field.
\item{R14.} (a)  Prove that every Euclidean domain is a principal ideal domain (PID).
\itemitem{(b)}  Give an example of a unique factorization domain that is not a PID and justify your answer.
\item{R15.}  (a)  Show that for each natural number $n\in \n$, there is an irreducible polynomial $P_n(X)\in \q[X]$ of degree $n$.
\itemitem{(b)}  Is this true when $\q$ is replaced by $\r$?  Explain.
\item{R16.}  Prove that the multiplicative group of units $U_5 = ((\z/5\z)^*, \times)$ is isomorphic to the additive group $(\z/4\z, +)$.
\item{R17.}  Let $R$ be a commutative ring with identity.  If $I\subseteq R$ is an ideal, then the radical of $I$, denoted $\sqrt I$, is defined by
$$\sqrt I =\left\{ a\in R: a^n\in I \hbox{ for some positive integer $n$}\right\}.$$
\itemitem{(a)}  Prove that $\sqrt {I\cap J} = \sqrt I \cap \sqrt J$.
\itemitem{(b)}  If $P$ is a prime ideal of $R$ and $r\in \n$, find $\sqrt{P^r}$ and justify your answer.
\itemitem{(c)}  Find $\sqrt I$, where $I$ is the ideal $\langle 108\rangle$ in the ring $\z$ of integers.
\item{R18.}  (a) Show that $\z[i]/\langle 3+i\rangle \cong \z/10\z$, where $i$ is the usual complex number $\sqrt{-1}$.
\itemitem{(b)}  Is $\langle 3+i\rangle $ a maximal ideal of $\z[i]$?  Give a reason for your answer.
\item{R19.}  Let $R=\z[X]$.  Answer the following questions about the ring $R$.  You may quote an appropriate theorem, provide a counterexample, or give a short proof to justify your answer.
\itemitem{(a)}  Is $R$ a unique factorization domain?
\itemitem{(b)}  Is $R$ a principal ideal domain?
\itemitem{(c)}  Find the group of units of $R$.
\itemitem{(d)}  Find  a prime ideal of $R$ which is not maximal.
\itemitem{(e)}  Find a maximal ideal of $R$.
\item{R20.}  An element $a$ in a ring $R$ is {\it nilpotent} if $a^n=0$ for some natural number $n$.
\itemitem{(a)}  If $R$ is a commutative ring with identity, show that the set of nilpotent elements forms an ideal.
\itemitem{(b)}  Describe all of the nilpotent elements in the ring $\cm[X]/\langle f(X)\rangle$, where
$$f(X) = (X-1)(X^2-1)(X^3-1).$$
\itemitem{(c)}  Show that part (a) need not be true if $R$ is not commutative.  ({\it Hint:}  Try a matrix ring.)
\item{R21.}  Let $R$ be a ring, let $R^*$ be the set of units of $R$, and let $M=R\setminus R^*$.  If $M$ is an ideal, prove that $M$ is a maximal ideal and that moreover it is the only maximal ideal of $R$.
\item{R22.}  (a)  Let $R$ be a PID and let $I$, $J$ be nonzero ideals of $R$.  Show that $IJ=I\cap J$ if and only if $I+J=R$.
\itemitem{(b)} Show that $\z/900\z$ is isomorphic to $\z/100\z\oplus \z/9\z$ as {\it rings}.
\item{R23.}  Let $I=\langle X^2+2,\, 5\rangle \subseteq \z[X]$ and let $J=\langle X^2+2,\, 3\rangle$.  Show that $I $ is a maximal ideal, but $J$ is not a maximal ideal.
\item{R24.}  Let $F$ be a subfield of a field $K$ and let $f(X)$, $g(X) \in F[X]\setminus \{0\}$.  Prove that the greatest common divisor of $f(X)$ and $g(X)$ in $F[X]$ is the same as the greatest common divisor taken in $K[X]$.
\item{R25.}  Find the greatest common divisor of $X^3-6X^2+X+4$ and $X^5-6X+1$ in $\q[X]$.
\item{R26.}  Define $\varphi: \cm[X,\, Y]\to\cm[T]$ by $\varphi (X)=T^2$, $\varphi (Y)= T^3$.
\itemitem{(a)}  Show that $\ker (\varphi) = \langle Y^2-X^3\rangle$.
\itemitem{(b)}  Find the image of $\varphi$.
\item{R27.}  Prove that $\z[\sqrt{-2}]$ is a Euclidean domain.
\item{R28.}  Let $m$, $n$ be two non-zero integers.  Prove that the greatest common divisor of $m$ and $n$ in $\z$ is the same as the greatest common divisor taken in $\z[i]$.  Generalize this to a statement about the greatest common divisor of elements $a$ and $b$ in a Euclidean domain $R$ which is a subring  of a Euclidean domain $S$.
\item{R29.}  Prove that the center of the matrix ring $M_n(\r)$ is the set of scalar matrices, i.e., $C(M_n(\r))=\{aI_n: a\in \r\}$.
\item{R30.}  Let $R_1= \f_p[X]/\langle X^2-2\rangle$ and $R_2 = \f_p[X]/\langle X^2-3\rangle $  where $\f_p$ is the field of $p$ elements, $p$ a prime.  Determine if $R_1$ is isomorphic to $R_2$ in each of the cases $p=2$, $p=5$, and $p=11$.
\item{R31.}  (a)  Show that the only automorphism of the field $\r$ of real numbers is the identity.
\itemitem{(b)}  Show that any automorphism of the field $\cm$ of complex numbers which fixes $\r$ is either the identity or complex conjugation.
\item{R32.}  (a) Find all ideals of the ring $\z/24\z$.
\itemitem{(b)}  Find all ideals of the ring $\q[X]/\langle X^2+2X-2\rangle$.
\item{R33.}  Let $R$ be an integral domain.  Show that the group of units of the polynomial ring $R[X]$ is equal to the group of units of the ground ring $R$.
\item{R34.}  Express the polynomial $X^4-2X^2-3$ as a product of irreducible polynomials over each of the following fields:  $\q$, $\r$, $\cm$, $\f_5$.
\item{R35.}  Let $\omega = (1+\sqrt{-3})/2\in \cm$ and let $R=\{a+b\omega: a, \, b\in \z\}$.
\itemitem{(a)}  Show that $R$ is a subring of $\cm$.
\itemitem{(b)}  Show that $R$ is a Euclidean domain with respect to the norm function $N(z)=z\overline z$, where, as usual, $\overline z$ denotes the complex conjugate of $z$.
\item{R36.}  Let $I$ be an ideal of $\r[X]$ generated by an irreducible polynomial of degree 2.  Show that $\r[X]/I$ is isomorphic to the field $\cm$.
\item{R37.}   Show that in the ring $M$ of $2\times 2$ real matrices (with the usual sum and multiplication of matrices), the only 2-sided ideals are $\langle 0\rangle $ and the whole ring $M$.
\item{R38.}  Let $R$ be a commutative ring with identity.  Suppose $a\in R$ is a unit and $b\in R$ is nilpotent.  Show that $a+b$ is a unit.
\item{R39.}  (a)  Define {\it prime ideal} and {\it maximal ideal} in a commutative ring $R$ with identity.
\itemitem{(b)}   Let $R$ and $S$ be commutative rings with identities $1_R$ and $1_S$, respectively, let $f:R\to S$ be a ring homomorphism such that $f(1_R)=1_S$.  If $P$ is a prime ideal of $S$ show that $f^{-1}(P)$ is a prime ideal of $R$.
\itemitem{(c)}  Let $f$ be as in part (b).  If $M$ is a maximal ideal of $S$, is $f^{-1}(M)$ a maximal ideal of $R$?  Prove that it is or give a counterexample.
\bigskip
\bigskip
\centerline{\bf Module Theory}
\medskip
\item{M1.}  Let $\z\left[{1\over 2}\right]$ denote the subring of $\q$ generated by $\z$ and ${1\over 2}$.  Is $\z\left[{1\over 2}\right]$  finitely generated as a $\z$-module?  Justify your answer.
\item{M2.} (a) Let $R$ be a ring and $M$ an $R$-module.  What does it mean for $M$ to be a {\it free} $R$-module?
\itemitem{(b)}   Let $\z\left[{1\over 2}\right]$ denote the subring of $\q$ generated by $\z$ and ${1\over 2}$.  Prove or disprove:  $\z\left[{1\over 2}\right]$ is a free  $\z$-module.
\item{M3.}  (a)  Show that $\q$ is a torsion-free $\z$-module.
\itemitem{(b)}  Is $\q$ a free $\z$-module?  Justify your answer.
\item{M4.}  Show that $\z/3\z$ is a $\z/6\z$-module and conclude that it is not a free $\z/6\z$-module.
\item{M5.}  Let $N$ be a submodule of an $R$-module $M$.  Show that if $N$ and $M/N$ are finitely generated, then $M$ is finitely generated.
\item{M6.}  Let $G$ be the abelian group with generators $x$, $y$, and $z$ subject to the relations
$$\leqalignno{ 5x+9y+5z&=0\cr 2x+4y+2z&=0\cr x+y-3z&=0.\cr}$$
Determine the elementary divisors of $G$ and write $G$ as a direct sum of cyclic groups.
\item{M7.}  Let $R$ be a ring and let $f:M\to N$ be a {\it surjective} homomorphism of $R$-modules, where $N$ is a free $R$-module.  Show that there exists an $R$-module homomorphism $g:N\to M$ such that $f\circ g = 1_N$.  Show that $M=\ker (f) \oplus \im(g)$.
\item{M8.}  Let $R$ be an integral domain and let $M$ be an $R$-module.  A property $P$ of $M$ is said to be {\it hereditary} if, whenever $M$ has property $P$, then so does every submodule $N$ of $M$.  Which of the following properties of $M$ are hereditary?  If a property is hereditary, give a brief reason.  If it is not hereditary, give a counterexample.
\itemitem{(a)}  Free
\itemitem{(b)}  Torsion
\itemitem{(c)}  Finitely generated
\item{M9.} Let $R$ be an integral domain.  Determine if each of the following statements about $R$-modules is true or false.  Give a proof or counterexample, as appropriate.
\itemitem{(a)}  A submodule of a free module is free.
\itemitem{(b)}  A submodule of a free module is torsion-free.
\itemitem{(c)}  A submodule of  a cyclic module is cyclic.
\itemitem{(d)}  A quotient module of a cyclic module is cyclic.
\item{M10.}  Let $M$ be an $R$-module and let $f:M\to M$ be an $R$-module endomorphism which is idempotent, that is,  $f\circ f= f$.   Prove that $M\cong \ker (f)\oplus \im (f)$.
\item{M11.}  Prove that $\hom_{\z}(\z/n\z, \z/m\z)\cong \z/d\z$, where $d$ is the greatest common divisor of $n$ and $m$.
\item{M12.}  Compute $\hom_{\z}(\z,\, \q)$ and $\hom_{\z}(\q,\,\z)$.
\item{M13.}  Let $R$ be a commutative ring with 1 and let $I$ and $J$ be ideals of $R$. Prove that $R/I\cong R/J$ as $R$-modules if and only if $I=J$.  Suppose we only ask that $R/I$ and $R/J$ be isomorphic as rings.  Is the same conclusion valid?  ({\it Hint:}  Consider $F[X]/\langle X-a\rangle$ for $a\in F$.)
\item{M14.}  Let $M\subseteq \z^n$ be a $\z$-submodule of rank $n$.  Prove that $\z^n/M$ is a finite group.
\item{M15.}  Let $G$, $H$, and $K$ be finite abelian groups.  If $G\times K \cong H\times K$, then prove that $G\cong H$.
\item{M16.}  Let $G$ be an abelian group and $K$ a subgroup.  For each of the following statements, decide if it is true or false.  Give a proof or provide a counterexample, as appropriate.
\itemitem{(a)}  If $G/K\cong \z^2$, then $G\cong K\oplus \z^2$.
\itemitem{(b)}  If $G/K\cong \z/2\z$,  then $G\cong K\oplus \z/2\z$.
\item{M17.}  Let $F$ be a field and let $V$ and $W$ be vector spaces over $F$.  Make $V$ and $W$ into $F[X]$-modules via linear operators $T$ on $V$ and $S$ on $W$ by defining $X\cdot v=T(v)$ for all $v\in V$ and $X\cdot w=S(w)$ for all $w\in W$.  Denote the resulting $F[X]$-modules by $V_T$ and $W_S$ respectively.
\itemitem{(a)}  Show that an $F[X]$-module homomorphism from $V_T$ to $W_S$ consists of an $F$-linear transformation $R:V\to W$ such that  $RT=SR$.
\itemitem{(b)}  Show that $V_T\cong W_S$ as $F[X]$-modules if and only if there is an $F$-linear isomorphism $P:V\to W$ such that $T=P^{-1}SP$.
\item{M18.}  Let $G=\z/4\z\oplus \z/6\z\oplus \z/9\z\oplus \z/10\z$.  Determine the elementary divisors and invariant factors of $G$.
\item{M19.}  (a)  Find a basis and the invariant factors of the submodule $N$ of $\z^2$ generated by $x=(-6,2)$, $y=(2,-2)$ and $z=(10,6)$.
\itemitem{(b)}  From your answer to part (a), what is the structure of $\z^2/N$?
\item{M20.}  Let $R$ be a ring and let $M$ be a free $R$ module of finite rank.  Prove or disprove each of the following statements.
\itemitem{(a)}  Every set of generators contains a basis.
\itemitem{(b)}  Every linearly independent set can be extended to a basis.
\item{M21.}  Let $R$ be a ring.  An  $R$-module $N$  is called {\it simple} if it is not the zero module and if it has no  submodules except $N$ and the zero submodule.
\itemitem{(a)}  Prove that any simple module $N$ is isomorphic to $R/M$, where $M$ is a maximal ideal.
\itemitem{(b)}  Prove {\it Schur's Lemma:}  Let $\varphi:S\to S'$ be a homomorphism of simple modules.  Then either $\varphi$ is zero, or it is an isomorphism.
\goodbreak
\bigskip
\bigskip
\centerline{\bf Linear Algebra}
\medskip
\item{L1.}  Let $\f$ be a field and let $A$ be an $n\times n$ matrix with entries in $\f$.
\itemitem{(a)}  State a necessary and sufficient condition on the minimal polynomial of $A$ for $A$ to be diagonalizable.
\itemitem{(b)}  If $\f =\cm$ and $A$ satisfies the equation $A^3=-A$, then show that $A$ is diagonalizable.
\itemitem{(c)}  If $\f = \r$, $A$ satisfies the equation $A^3=-A$, and $A$ is diagonalizable, then explain what consequences this has for $A$.
\item{L2.}  Let $A$ be a square matrix with entries in a field $\f$.
\itemitem{(a)}  If $A^n = I$ for some $n$, where $I$ denotes the identity matrix, show that the eigenvalues of $A$ are  $n^{\rm th}$ roots of unity.
\itemitem{(b)}  Prove that if $A$ is nilpotent, then $0$ is the only eigenvalue of $A$.
\itemitem{(c)}  If 0 is the only eigenvalue of $A$ in $\f$, must $A$ be nilpotent?  Justify your answer.
\item{L3.}  Let $V$ be a vector space of dimension 3 over $\cm$.  Let $\{v_1,\,v_2,\,v_3\}$ be a basis for $V$ and let $T:V\to V$ be the linear transformation defined by $T(v_1)=0$, $T(v_2)=-v_1$, and $T(v_3)=5v_1+v_2$.
\itemitem{(a)}  Show that $T$ is nilpotent.
\itemitem{(b)}  Find the Jordan canonical form of $T$.
\itemitem{(c)}  Find a basis of $V$ such that the matrix of $T$ with respect to this basis is the Jordan canonical form of $T$.
\item{L4.}  Let $V$ be a finite-dimensional vector space over an infinite field $\f$.
\itemitem{(a)}  Prove that if $\dim V>1$, then $V$ contains infinitely many distinct hyperplanes (where a hyperplane is a subspace of codimension 1, the codimension of a subspace $W$ being defined to be $\dim V-\dim W$).
\itemitem{(b)}  Prove that $V$ is not the union of finitely many proper subspaces.
\item{L5.}  Let $p$ be a prime number and let $V$ be a 2-dimensional vector space over the field $\f_p$ with $p$ elements.
\itemitem{(a)}  Find the number of linear transformations $T:V\to V$.
\itemitem{(b)}  Find the number of invertible linear transformations $T:V\to V$.
\item{L6.}  Let $M=\left[\matrix{7&2\cr 3&6\cr}\right]$.
\itemitem{(a)}  Show that $M$ is diagonalizable over the field of rational numbers.
\itemitem{(b)}  Let $\f$ be a field of characteristic $p>0$.  For which values of $p$ is $M$ diagonalizable over $\f$?
\item{L7.}  Let $T:\r^n\to \r^n$ be a linear transformation, with minimal polynomial $m_T(X)$ in $\r[X]$.  Assume that $m_T(X)$ factors in $\r[X]$ as $f(X)g(X)$ with $f(X)$ and $g(X)$ relatively prime.  Show that $\r^n$ can be written as a direct sum $\r^n=U\oplus V$, where $U$ and $V$ are $T$-invariant subspaces with $T|_U$ having minimal polynomial $f(X)$ and $T|_V$ having minimal polynomial $g(X)$.
\item{L8.}  Let $\f$ be a field.  Construct, up to similarity, all linear transformations $T:\f^6\to \f^6$ with minimal polynomial $m_T(X)= (X-5)^2(X-6)^2$.
\item{L9.}  Let $V$ be a finite-dimensional vector space and let $S$, $T:V\to V$ be diagonalizable linear operators on $V$.  The operators  $S$ and $T$ are said to be   simultaneously diagonalizable  if  there is a basis of $V$ with respect to which {\it both} $S$ and $T$ are diagonal.  Show that the diagonalizable linear operators $S$ and $T$ are simultaneously diagonalizable if and only if $ST=TS$.
\item{L10.}  Let $V$ be a finite-dimensional vector space over $\cm$ and let $T:V\to V$ be a linear operator on $V$.
\itemitem{(a)}  Show that there is a basis $\c B$ of $V$ such that the matrix $[T]_{\c B}$ of $T$ with respect to $\c B$ is upper triangular.
\itemitem{(b)}  If $S$ and $T$ are two linear operators on $V$ such that $ST=TS$, then there is a basis $\c B$ of $V$ such that both $[T]_{\c B}$ and $[S]_{\c B}$ are upper triangular.
\itemitem{(c)}  Show that the converse of part (b) is false by showing that upper triangular matrices do not necessarily commute.
\item{L11.}  Let $M_n(\f)$ be the ring of all $n\times n$ matrices with entries in the field $\f$, and let $\det:M_n(\f)\to \f$ be the determinant function.
\itemitem{(a)}  Show that $\det$ is surjective.
\itemitem{(b)}  Now assume that $\f$ is a {\it finite} field.  Prove that all {\it nonzero} elements of $\f$ are taken on the same number of times by the determinant function.
\item{L12.}  Recall that a complex matrix $A=[a_{ij}]$ is {\it Hermitian} if $A^*=A$, where $A^*$ denotes the conjugate transpose $\overline A^t$ of $A$.  That is, $A$ is Hermitian if and only if $a_{ij}=\overline a_{ji}$ for all $i$, $j$.  You may assume the fact that the Hermitian $n\times n$ matrices, under the usual addition and scalar multiplication of matrices, form a real vector space $H_n$.
\itemitem{(a)}  Find a basis of $H_3$ and determine its dimension as a real vector space.  What is the dimension of $H_n$ as a real vector space?
\itemitem{(b)}  Is $H_n$ a vector space over $\cm$?  Explain.
\item{L13.}  Let $T:\cm^n\to \cm^n$ be a nilpotent linear transformation.
\itemitem{(a)}  How is $\dim \ker T$ related to the Jordan normal form of $T$?  How is the minimal polynomial related to the Jordan normal form?
\itemitem{(b)}  Let $T$, $S:\cm^6\to \cm^6$ be nilpotent linear transformations such that $S$ and $T$ have the same minimal polynomial and $\dim \ker T =\dim \ker S$.  Show that $S$ and $T$ have the same Jordan form.
\itemitem{(c)}  Show that there are nilpotent linear transformations $T$, $S:\cm^8\to \cm^8$ such that $S$ and $T$ have the same minimal polynomial and $\dim \ker T = \dim \ker S$, but $S$ and $T$ have different Jordan forms.  That is, part (b) is false if $6$ is replaced by 8.
\item{L14.} (a)  Define {\it basis} of a finite dimensional vector space.
\itemitem{(b)}   Prove that any two bases of a finite-dimensional vector space have the same number of elements.
\item{L15.}  Let $T:V\to W$ be a linear transformation between finite-dimensional vector spaces $V$ and $W$.  Show that  $\dim \ker T + \dim \im T = \dim V$.
\item{L16.}  Let $A$ be an $m\times n$ matrix with entries in a field $\f$.  Prove that the column rank of $A$ and the row rank of $A$ are equal.  Recall that the column rank of $A$ is the maximal number of linearly independent columns.  The row rank is defined similarly.
\item{L17.}  Find the Jordan canonical form of the matrix
$$A=\left[\matrix{1&0&0&0&0&0\cr 1&1&0&0&0&0\cr 1&0&1&0&0&0\cr
1&0&0&1&0&0\cr
1&0&0&0&1&0\cr
1&1&1&1&1&1\cr}\right].$$
\item{L18.}  Let $N$ be a linear operator on an $n$-dimensional vector space $V$ with $n>1$. Assume that $N^n=0$ but $N^{n-1}\ne 0$.  Prove that there is no linear operator $T$ on $V$ with $T^2 = N$.
\item{L19.}  Let $T:V\to W$ be a linear transformation between finite-dimensionanl vector spaces $V$ and $W$.  Prove that there is a basis $\c B$ of $V$, and a basis $\c C$ of $W$ so that the matrix $[T]_{\c B, \c C}$ of $T$ with respect to $\c B$ and $\c C$ has the block form
$$[T]_{\c B, \c C} =\left[\matrix{ I_r&0\cr 0&0\cr}\right].$$
\item{L20.}  (a) Let $A\in \GL(n,\cm)$ generate a cyclic subgroup of finite order.  Show that $A$ is diagonalizable.
\itemitem{(b)}  By considering $A=\left[\matrix{0&1\cr -1&0\cr}\right]\in \GL(2,\r)$ show that the result is false if $\cm $ is replaced by $\r$.
\item{L21.}  Let $\f$ be a field and let
$$0\longrightarrow V_1\mapright {T_1} V_2\mapright{T_2} \cdots \mapright{T_n} V_{n+1} \longrightarrow 0$$
be an exact sequence of finite-dimensional vector spaces and linear transformations over $\f$.  This means that $T_1$ is injective, $T_n$ is surjective, and $\im (T_i)=\ker (T_{i+1})$ for $1\le i\le n-1$.  Show that
$$\sum_{i=1}^{n-1} (-1)^{i+1}\dim V_i = 0.$$
\item{L22.}  An algebraic integer is a complex number which is a root of a monic polynomial with integer coefficients.  Show that every algebraic integer is an eigenvalue of a matrix $A\in M_n(\z)$ for some $n$.
\item{L23.}  Let $V$ be a vector space over a field $\f$ and let $\c S$ be a linearly independent subset of $V$.  Prove that there exists a basis $\c B$ of $V$ containing $\c S$.  ({\it Hint:}  Apply Zorn's Lemma.)
\item{L24.}  Let $S$ and $T$ be linear transformations between finite-dimensional vector spaces $V$ and $W$ over the field $\f$.  Show that $\ker S=\ker T$ if and only if there is an invertible operator $U$ on $W$ such that $S=UT$.
\item{L25.} (a) Let $A\in M_n(\cm)$.  If the eigenvalues of $A$ are distinct, show that $A$ is diagonalizable, i.e., there is an invertible matrix $P$ such that $P^{-1}AP$ is diagonal.
\itemitem{(b)}  What is the condition on $A\in M_n(\cm)$ so that $A$ is unitarily diagonalizable? Simply state the condition and quote (do not prove) the theorem which justifies your answer.   Recall that $A$ is unitarily diagonalizable if there is a unitary matrix $U$ such that $U^*AU$ is diagonal.
\itemitem{(c)}  Give an example of a complex matrix $A$ which is diagonalizable, but not unitarily diagonalizable.
\item{L26.}  Find a square root of the matrix
$$A=\left[\matrix{1&3&-3\cr 0&4&5\cr 0&0&9\cr}\right].$$
\item{L27.}  Suppose that the vector space $V$ is the sum of subspaces $W_1$ and $W_2$.  That is $V=W_1+W_2$, but we are {\it not} assuming that the sum is direct.  Let $\c S$ be the vector space  of all linear operators $T:V\to V$ such that $T(W_1)\subseteq W_1$ and $T(W_2)\subseteq W_2$.  Compute the dimension of $\c S$ as a function of $n= \dim V$, $m_1=\dim W_1$, and $m_2=\dim W_2$.
\item{L28.}  Find the Jordan form of all real matrices with characteristic polynomial $(X-1)^5(X+1)$ and minimal polynomial $(X-1)^2(X+1)$.
\item{L29.} In this problem we will work with complex $n\times n$ matrices.
\itemitem{(a)}  Define {\it unitary} matrix, {\it Hermitian} matrix, and {\it normal} matrix.
\itemitem{(b)}  State the {\it Spectral Theorem} for normal matrices.
\itemitem{(c)} Show that a normal matrix is Hermitian if and only if all the eigenvalues are real.
\item{L30.}  Suppose that $A$ is a $3\times 3$ complex matrix such that
$$A^2=\left[\matrix{2&0&0\cr 0&2&0\cr 0&0&-1\cr}\right].$$
Show that $A$ is diagonalizable.
\item{L31.}  Let $T$ be a linear operator on a finite-dimensional complex inner product space $V$.  Show that $T$ is a normal operator if and only if $T^*=g(T)$ where $g(X)$ is a complex polynomial.  ({\it Hint:}  Use the spectral theorem and Lagrange interpolation.)
\item{L32.}  Let $A=\left[\matrix{ 3&1&2\cr 1&4&0\cr 2&0&-1\cr}\right]$.  Then $A$ is a symmetric matrix with rational entries.  Find a rational invertible matrix $P$ so that $P^tAP$ is diagonal.
\item{L33.}  Determine the signature of the real quadratic form with matrix
$$A=\left[\matrix{1&3&4\cr 3&9&5\cr 4&5&0\cr}\right].$$
\item{L34.}  Let $A\in M_n(\cm)$ be a Hermitian matrix.  Show that $A$ is positive definite if and only if $A$ is invertible and $A^{-1}$ is positive definite.
\item{L35.}  If $A$ is a real symmetric matrix prove that there is an $\alpha\in \r$ such that $A+\alpha I_n$ is positive definite.
\item{L36.}  Prove that the eigenvalues of a real symmetric matrix are real numbers.
\item{L37.}  Let $V$ be a finite-dimensional real vector space and let $T:V\to V$ be a nilpotent transformation (i.e. $T^j=0$ for some positive integer $j$).
\itemitem{(a)}  Find the eigenvalues of $T$.
\itemitem{(b)}  Is $I-T$ invertible, where $I:V\to V$ is the identity transformation?  Explain fully.
\itemitem{(c)}  Give an example of two non-similar linear transformations $A$ and $B$ on the same finite dimensional vector space $V$, having identical characteristic polynomials and identical minimal polynomials.
\item{L38.}  Let $T:\q^3\to \q^3$ be the linear transformation expressed relative to the standard basis $\b e_1=(1,0,0)$, $\b e_2=(0,1,0)$, $\b e_3=(0,0,1)$ by the matrix
$$\left[\matrix{1&-1&3\cr 0&2&2\cr 1&0&4\cr}\right].$$
\itemitem{(a)}  Find a basis for $\ker (T)$.
\itemitem{(b)}  Find a basis for $\im (T)$.
\itemitem{(c)}  Find the matrix for $T$ expressed in the basis $\b f_1=(-1,1,0)$, $\b f_2=(0,1,-1)$, $\b f_3=(1,0,1)$.
\item{L39.}  Find the characteristic polynomial, minimal polynomial, and Jordan canonical form of the linear transformation $T$ with matrix
$$\left[\matrix{ 4&0&4\cr 2&1&3\cr -1&0&0\cr}\right].$$
\item{L40.}  If $A$ is a diagonalizable complex $n\times n $ matrix, show that $A$ has a square root.  That is, there is a complex $n\times n$ matrix $B$ such that $B^2=A$.
\item{L41.}  Prove that the matrix equation $A^2=\left[\matrix{0&1\cr 0&0\cr}\right]$ is not solvable for $A\in M_2(\cm)$ (the ring of $2\times 2$ complex matrices).
\item{L42.}  (a) Let $A\in M_n(\cm)$ satisfy the equation $A^k=I_n$ for some $k\ge 1$, where $I_n$ is the $n\times n$ identity matrix.  Show that $A$ is diagonalizable.
\itemitem{(b)}  Show that the result of part (a) is not true if the field $\cm$ is replaced by a field $\f$ of characterisitic $p>0$.  ({\it Hint:}  Check that $A=\left[\matrix{1&1\cr 0&1\cr}\right]\in M_2(\f)$ satisfies $A^p=I$.)
\item{L43.}  Let $V$ be the vector space of polynomials $p(X)\in \cm[X]$ of degree $\le 4$.  Define a linear transformation $T:V\to V$ by $T(p(X))=p''(X)$ (the second derivative of the polynomial $p(X)$).  Compute the characteristic polynomial, minimal polynomial, and Jordan canonical form of the linear transformation $T$.
\item{L44.}  Let $V$ and $W$ be finite-dimensional vector spaces over a field $\f$, and let $\hom (V,W)$ denote the vector space of linear transformations from $V$ to $W$.  Let $\c B=\{v_1,\,\ldots, \, v_n\}$ be a basis of $V$ and let $\c C=\{w_1,\,\ldots,\, w_m\}$ be a basis of $W$.
\itemitem{(a)}  Write down a basis of $\hom (V,W)$ and verify that this is a basis.
\itemitem{(b)}  What is the dimension of $\hom (V,W)$ over $\f$?
\item{L45.}  Suppose that $V$ is a finite-dimensional vector space over a field $\f$.  Prove that the dual space of $V$ is isomorphic to $V$.
\item{L46.}  Let $A$ and $B$ be $n\times n$ matrices with entries in a field $\f$.
\itemitem{(a)}  Show that $AB$ and $BA$ have the same characteristic values ({\it not} counting multiplicities).
\itemitem{(b)}  If $A$ and $B$ are similar, show that $A$ and $B$ have the same characteristic polynomials.
\item{L47.}  Let $p$ be a prime number, $\f_p=\z/p\z$ the field with $p$ elements, $V=\f_p^4$ (a $4$-dimensional vector space over $\f_p$), and $W$ the subspace of $V$ spanned by the three vectors $\b a_1= (1,2,2,1)$, $\b a_2 = (0,2,0,1)$, and $\b a_3=(-2,0,-4,3)$.  Find $\dim _{\f_p} W$.  (Note that this dimension depends on $p$.)
\item{L48.}  Let $V$ be the real inner product space $\r^n$ with the standard inner product $\langle \, ,\rangle$.  Show that a linear  operator $T:V\to V$ preserves the length of each vector if and only if $T$ is an {\it isometry}, that is, $\langle T(v),\, T(w)\rangle = \langle v,\, w\rangle$, for all $v$, $w\in V$.
\item{L49.}  Prove that if the columns of a real $n\times n$ matrix form an orthonormal basis of $\r^n$, then the rows do too.
\item{L50.}  Let $A$ and $B$ be real $n\times n$ matrices.  Prove that $A=B$ if and only if $X^tAY=X^tBY$ for all $n\times 1$ real matrices $X$, $Y$.
\item{L51.}  Let $V$ denote the vector space of real $n\times n$ matrices.  Prove that $\langle A,\, B\rangle = $ Trace$(A^tB)$ is a positive definite bilinear form on $V$.  Find an orthonormal basis for this form.
\item{L52.}  (a)  Prove that every real square matrix is the sum of a symmetric matrix and a skew-symmetric matrix ($A^t=-A$) in exactly one way.
\itemitem{(b)}  Let $\langle \, ,\rangle$ be a bilinear form on a finite-dimensional real vector space $V$.  Show that there is a symmetric form $(\, ,)$ and a skew-symmetric form $[\, ,]$ so that $\langle \, ,\rangle = (\, ,)+[\, ,]$.
\item{L53.}  Prove that the only real $n\times n$ matrix that is orthogonal, symmetric, and positive definite is the identity.
\item{L54.}  Let $A$ be an $n\times n$ real symmetric matrix, and let $T$ be the linear operator on $\r^n$ whose matrix in the standard basis is $A$.
\itemitem{(a)}  Prove that $\ker (T)$ is orthogonal to $\im (T)$ and that $V=\ker (T) \oplus \im (T)$.
\itemitem{(b)}  Prove that $T$ is an orthogonal projection onto $\im (T)$ if and only if, in addition to being symmetric, $A^2=A$.
\item{L55.}  Let $A$ be a normal complex $n\times n$ matrix.
\itemitem{(a)}  Show that $\ker A= \ker (\overline A^t)$.
\itemitem{(b)}  Show that $\ker A = (\im A)^{\perp} $ in the standard complex inner product on $\cm^n$.


\bye
