Prove from the definition along that there are no nonabelian groups of order less than .
View code
Prove from the definition along that there are no nonabelian groups of order less than $5$.
Problem 2
Let denote the alternating group on a -element set . The set of automorphisms of form a group, denoted . The group of conjugations of , denoted , is the subgroup of consisting of automorphisms of the form where . Explicitly, for any .
Prove that the function , taking to , is a surjective homomorphism.
Prove that is isomorphic to .
View code
Let $A_5$ denote the alternating group on a $5$-element set $\{1,2,3,4,5\}$. The set of automorphisms of $A_5$ form a group, denoted $\operatorname{Aut}(A_5)$. The group of {\bfseries conjugations} of $A_5$, denoted $\operatorname{Conj}(A_5)$, is the subgroup of $\operatorname{Aut}(A_5)$ consisting of automorphisms of the form $\gamma_s:=s(-)s^{-1}$ where $s\in A_5$. Explicitly, $\gamma_s(x)=sxs^{-1}$ for any $x\in A_5$.
\begin{enumerate}[label=\alph*)]
\item Prove that the function $\gamma:A_5\to \operatorname{Conj}(A_5)$, taking $s\in A_5$ to $\gamma_s$, is a surjective homomorphism.
\item Prove that $A_5$ is isomorphic to $\operatorname{Conj}(A_5)$.
\end{enumerate}
Problem 3
Let be the ring of polynomials with integer coefficients, and let be the kernel of the "evaluation at " homomorphism
Characterize as a set.
Determine whether is a maximal ideal. Fully justify your conclusion.
Determine whether is a principal ideal. Justify by either exhibiting a generator or proving that there isn't one.
View code
Let ${\bf Z}[X]$ be the ring of polynmomials with integer coefficients, and let $K\subset {\bf Z}[X]$ be the kernel of the ``evaluation at $1
Problem 4
Let .
Determine whether is diagonalizable, and if so, give its diagonal form along with a diagonalizing matrix.
Compute . Remember to show all work.
View code
Let $A=\begin{bmatrix} 0 & 0 & -2 \\ 1 & 2 & 1 \\ 1 & 0 & 3\end{bmatrix}$.
\begin{enumerate}[label=\alph*)]
\item Determine whether $A$ is diagonalizable, and if so, give its diagonal form along with a diagonalizing matrix.
\item Compute $A^{42}$. Remember to show all work.
\end{enumerate}
Problem 5
Let denote the field of nine elements.
Show that each nonzero is a root of .
Use the Pigeonhole Principle to prove that has an element of multiplicative order 8. (Include a proof that the Pigeonhole Principle applies.)
View code
Let ${\bf F}_9$ denote the field of nine elements.
\begin{enumerate}[label=\alph*)]
\item Show that each nonzero $a\in {\bf F}_9$ is a root of $X^3-1=(X-1)(X^2+1)(X^4+1)\in {\bf F}_3[X]$.
\item Use the Pigeonhole Principle to prove that ${\bf F}_9$ has an element of multiplicative order 8. (Include a proof that the Pigeonhole Principle applies.)
\end{enumerate}
' homomorphism > \begin{align*} > \varepsilon_1:{\bf Z}[X] &\to {\bf Z}_3\\ > f(X) &\mapsto [f(1)]_3. > \end{align*} > \begin{enumerate}[label=\alph*)] > \item Characterize $K$ as a set. > \item Determine whether $K$ is a maximal ideal. Fully justify your conclusion. > \item Determine whether $K$ is a principal ideal. Justify by either exhibiting a generator or proving that there isn't one. > \end{enumerate} > ```