Algebra Qual 2017-03
Problem 1
Let
- Verify
is closed under product (using the usual product operation in ). - Let
be the linear transformation defined by . Find the matrix that represents with respect to the basis for . - Determine the characteristic polynomial for
.
View code
Let $V=\{a_0+a_1\sqrt[3]{2}+a_2\sqrt[3]{4}\mid a_0, a_1, a_2\in {\bf Q}\}\subseteq {\bf R}$. This set is a vector space over ${\bf Q}$.
\begin{enumerate}[label=\alph*)]
\item Verify $V$ is closed under product (using the usual product operation in ${\bf R}$).
\item Let $T:V\to V$ be the linear transformation defined by $T(v)=(\sqrt[3]{2}+\sqrt[3]{4}) v$. Find the matrix that represents $T$ with respect to the basis $\{1,\sqrt[3]{2},\sqrt[3]{4}\}$ for $V$.
\item Determine the characteristic polynomial for $T$.
\end{enumerate}
Problem 2
Suppose
View code
Suppose $F$ is a field and $A$ is an $n\times n$ matrix over $F$. Suppose further that $A$ possesses distinct eigenvalues $\lambda_1$ and $\lambda_2$ with $\dim \operatorname{Null}(A-\lambda_1 I_n)=n-1$. Prove $A$ is diagonalizable.
Problem 3
- Suppose
is a normal subgroup of a group and is the usual projection homomorphism, defined by . Prove that if is any homomorphism with , then there exists a unique homomorphism such that . (You must explicitly define , show it is well defined, show , and show that is uniquely determined.) - Prove the:
Third Isomorphism Theorem. If with , then .
View code
\begin{enumerate}[label=\alph*)]
\item Suppose $N$ is a normal subgroup of a group $G$ and $\pi_N:G\to G/N$ is the usual projection homomorphism, defined by $\pi_N(g)=gN$. Prove that if $\phi:G\to H$ is any homomorphism with $N\leq \ker(\phi)$, then there exists a unique homomorphism $\psi:G/N\to H$ such that $\phi = \psi\circ \pi_N$. (You must explicitly define $\psi$, show it is well defined, show $\phi=\psi\circ\pi_N$, and show that $\psi$ is uniquely determined.)
\item Prove the:
\medskip
{\bfseries Third Isomorphism Theorem.} If $M, N\unlhd G$ with $N\leq M$, then $(G/N)/(M/N)\cong G/M$.
\end{enumerate}
Problem 4
Explicitly list all group homomorphisms
View code
Explicitly list all group homomorphisms $f: {\bf Z}/6{\bf Z} \to {\bf Z}/12{\bf Z}$.
Problem 5
Let
- Prove that
. - Prove that
is a maximal ideal in .
View code
Let $\varepsilon:{\bf R}[x]\to {\bf C}$ be the ring homomorphism that is evaluation at $i$, so $\varepsilon(f)=f(i)$. (Here $i$ denotes the complex number sometimes denoted $\sqrt{-1}$.)
\begin{enumerate}[label=\alph*)]
\item Prove that $\ker(\varepsilon)=(x^2+1)\subseteq {\bf R}[x]$.
\item Prove that $(x^2+1)$ is a maximal ideal in ${\bf R}[x]$.
\end{enumerate}