Let be a group and a normal subgroup of . Let denote the left coset defined by , and consider the binary operation
given by .
Show the operation is well defined.
Show the operation is well defined only if the subgroup is normal.
View code
Let $G$ be a group and $N$ a normal subgroup of $G$. Let $aN$ denote the left coset defined by $a\in G$, and consider the binary operation
\[
G/N\times G/N\to G/N
\]
given by $(aN, bN)\mapsto abN$.
\begin{enumerate}[label=\alph*)]
\item Show the operation is well defined.
\item Show the operation is well defined only if the subgroup $N$ is normal.
\end{enumerate}
Problem 2
Let be a (possibly infinite) cyclic group, and let and be the groups of automorphisms and inner automorphisms, respectively. (Recall an automorphism is inner if it is given by conjugation: for some .)
Describe and in familiar terms, as groups you would study in a first algebra course. Prove your result. (Hint: Where do generators go?)
Write down explicitly, giving its generic name and computing the order of every element. Show all work.
View code
Let $C$ be a (possibly infinite) cyclic group, and let $\operatorname{Aut}(C)$ and $\operatorname{Inn}(C)$ be the groups of automorphisms and inner automorphisms, respectively. (Recall an automorphism $\gamma$ is {\bfseries inner} if it is given by conjugation: $\gamma(b)=aba^{-1}$ for some $a\in C$.)
\begin{enumerate}[label=\alph*)]
\item Describe $\operatorname{Aut}(C)$ and $\operatorname{Inn(C)}$ in familiar terms, as groups you would study in a first algebra course. Prove your result. ({\itshape Hint:} Where do generators go?)
\item Write $\operatorname{Aut}({\bf Z}_{12})$ down explicitly, giving its generic name and computing the order of every element. Show all work.
\end{enumerate}
Problem 3
Let be a commutative ring with . The characteristic of is the unique integer such that is the kernel of the homomorphism given by
Prove that if is a monomorphism of commutative rings with , then .
Prove by given an example that is not always preserved by ring homomorphisms.
View code
Let $R$ be a commutative ring with $1$. The {\bfseries characteristic} $\operatorname{char}(R)$ of $R$ is the unique integer $n\geq 0$ such that $\langle n\rangle \subset {\bf Z}$ is the kernel of the homomorphism $\theta:{\bf Z}\to R$ given by
\[
\theta(m)=\begin{cases} \underbrace{1_R+\cdots +1_R}_{m}, & \text{ if }m\geq 0 \\ \underbrace{-1_R+\cdots+-1_R}_{|m|}, & \text{ if }m<0\end{cases}
\]
\begin{enumerate}[label=\alph*)]
\item Prove that if $f:R\to S$ is a monomorphism of commutative rings with $1$, then $\operatorname{char}(R)=\operatorname{char}(S)$.
\item Prove by given an example that $\operatorname{char}(R)$ is not always preserved by ring homomorphisms.
\end{enumerate}
Problem 4
Let be the space spanned by the vectors
Compute the dimension of .
Let . Determine the dimension of , and explain how this following immediately from (a) using a theorem.
Find a basis for .
View code
Let$W\subset {\bf R}^5$ be the space spanned by the vectors
\[
\left\{\begin{bmatrix} 1 \\ -2 \\ 0 \\ 2 \\ 1\end{bmatrix},\begin{bmatrix} -2 \\ 4 \\ -1 \\ 1 \\ 2\end{bmatrix}, \begin{bmatrix} 0 \\ 1 \\ 2 \\ -2 \\1\end{bmatrix}\right\}.
\]
\begin{enumerate}[label=\alph*)]
\item Compute the dimension of $W$.
\item Let $W^{\perp}=\{{\bf v}\in {\bf R}^5\,\mid\, {\bf v}\cdot {\bf w}=0\text{ for all }w\in W\}$. Determine the dimension of $W^{\perp}$, and explain how this following immediately from (a) using a theorem.
\item Find a basis for $W^{\perp}$.
\end{enumerate}
Problem 5
Let be the orthogonal projection to a -dimensional linear subspace .
List the eigenvalues of .
Write the characteristic polynomial for .
Is diagonalizable? Briefly justify your answer.
View code
Let $T:{\bf R}^3\to {\bf R}^3$ be the orthogonal projection to a $1$-dimensional linear subspace $L\subset {\bf R}^3$.
\begin{enumerate}[label=\alph*)]
\item List the eigenvalues of $T$.
\item Write the characteristic polynomial $p_T(x)$ for $T$.
\item Is $T$ diagonalizable? Briefly justify your answer.
\end{enumerate}