% Created 2023-03-26 Sun 19:34
% Intended LaTeX compiler: pdflatex
\documentclass[11pt]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{graphicx}
\usepackage{longtable}
\usepackage{wrapfig}
\usepackage{rotating}
\usepackage[normalem]{ulem}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{capt-of}
\usepackage{hyperref}
\notindent \notag \usepackage{ dsfont } \usepackage{amsmath} \usepackage[a4paper,margin=1in,landscape]{geometry} \usepackage{polynom}
\author{Lizzy Hunt}
\date{\today}
\title{Assignment Nine}
\hypersetup{
 pdfauthor={Lizzy Hunt},
 pdftitle={Assignment Nine},
 pdfkeywords={},
 pdfsubject={},
 pdfcreator={Emacs 28.2 (Org mode 9.6.1)}, 
 pdflang={English}}
\begin{document}

\maketitle
\setlength\parindent{0pt}

\section{Section 5.1}
\label{sec:org93c6765}
\subsection{Question One}
\label{sec:org1b933f1}
\subsubsection{b}
\label{sec:org9c622bd}
Yes. In \(F\), \(f(x) - g(x) = -x^3 + x = x^3 + x\).

\begin{equation*}
\polylongdiv[style=A]{x^3 + x}{x^2+1}
\end{equation*}

\subsubsection{c}
\label{sec:org3b14848}
No. \(f(x) - g(x) = x^5 - 2x^4 + 4x^3 - 8x^2 + 3x - 2\)

\begin{equation*}
\polylongdiv[style=A]{x^5 - 2x^4 + 4x^3 - 8x^2 + 3x - 2}{x^3 - x^2 + x - 1}
\end{equation*}

\subsection{Question Three}
\label{sec:org4de1470}
\(|\)\{ \(0, 1, x, x + 1, x^2, x^2 + 1, x^2 + x, x^2 + x + 1\) \}\(|\) = 8

\subsection{Question Four}
\label{sec:org7437458}
For every \(a,b,c \in \mathds{Z}_3\) we can generate a polynomial \(ax^2 + bx + c\), by part two of Corollary 5.5. \(3^3 = 27\)

\subsection{Question Six}
\label{sec:orgf9878df}
By Corollary 5.5, all the congruence classes in \(F[x]\) are \(c \ni c \in F\).

\subsection{Question Eight}
\label{sec:org7f80a1c}
\begin{align*}
f(x)k(x) &\equiv_{p(x)} g(x)k(x) \\
& \Rightarrow p(x) | f(x)k(x) - g(x)k(x) \\
& \Rightarrow p(x) | (f(x) - g(x))(k(x))
\end{align*}

By Theorem 4.10, since \(p(x)\) is relatively prime to \(k(x)\), \(p(x) | f(x) - g(x) \Rightarrow f(x) \equiv_{p(x)} g(x)\)

\subsection{Question Eleven - TODO}
\label{sec:orgbb6f81a}


\section{Section 5.2}
\label{sec:org105955c}
\subsection{Question One}
\label{sec:org2696380}
The congruence classes are those in Section 5.1, Question Three as above.

\begin{center}
\begin{tabular}{lllllllll}
+ & [0] & [1] & [x] & [x + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + x + 1]\\[0pt]
[0] & [0] & [1] & [x] & [x + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + x + 1]\\[0pt]
[1] & [1] & [0] & [x+1] & [x] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + x + 1] & [x\textsuperscript{2} + x]\\[0pt]
[x] & [x] & [x + 1] & [0] & [1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + x + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + 1]\\[0pt]
[x + 1] & [x + 1] & [x] & [1] & [0] & [x\textsuperscript{2} + x + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2}]\\[0pt]
[x\textsuperscript{2}] & [x\textsuperscript{2}] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + x + 1] & [0] & [1] & [x] & [x + 1]\\[0pt]
[x\textsuperscript{2} + 1] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + x + 1] & [x\textsuperscript{2} + x] & [1] & [0] & [x + 1] & [x]\\[0pt]
[x\textsuperscript{2} + x] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + x + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + 1] & [x] & [x+1] & [0] & [1]\\[0pt]
[x\textsuperscript{2} + x + 1] & [x\textsuperscript{2} + x + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2}] & [x+1] & [x] & [1] & [0]\\[0pt]
\end{tabular}
\end{center}

\begin{center}
\begin{tabular}{lllllllll}
\(\cdot\) & [0] & [1] & [x] & [x + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + x + 1]\\[0pt]
[0] & [0] & [0] & [0] & [0] & [0] & [0] & [0] & [0]\\[0pt]
[1] & [0] & [1] & [x] & [x + 1] & [x\textsuperscript{2}] & [x\textsuperscript{2} + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2} + x + 1]\\[0pt]
[x] & [0] & [x] & [x\textsuperscript{2}] & [x\textsuperscript{2}+x] & [x+1] & [1] & [x\textsuperscript{2}+x+1] & [x\textsuperscript{2}+1]\\[0pt]
[x + 1] & [0] & [x + 1] & [x\textsuperscript{2} + x] & [x\textsuperscript{2}+1] & [x\textsuperscript{2}+x+1] & [x\textsuperscript{2}] & [1] & [x]\\[0pt]
[x\textsuperscript{2}] & [0] & [x\textsuperscript{2}] & [x+1] & [x\textsuperscript{2}+x+1] & [x\textsuperscript{2}+x] & [x] & [x\textsuperscript{2}+1] & [1]\\[0pt]
[x\textsuperscript{2} + 1] & [0] & [x\textsuperscript{2} + 1] & [1] & [x\textsuperscript{2}] & [x] & [x\textsuperscript{2}+x+1] & [x+1] & [x\textsuperscript{2}+x]\\[0pt]
[x\textsuperscript{2} + x] & [0] & [x\textsuperscript{2} + x] & [x\textsuperscript{2}+x+1] & [1] & [x\textsuperscript{2}+1] & [x+1] & [x] & [x+1]\\[0pt]
[x\textsuperscript{2} + x + 1] & [0] & [x\textsuperscript{2} + x + 1] & [x\textsuperscript{2}+1] & [x] & [1] & [x\textsuperscript{2}+x] & [x\textsuperscript{2}] & [x+1]\\[0pt]
\end{tabular}
\end{center}

Yes, this is a field since by Theorem 5.7, it is a commutative ring with identity, and each
non-zero row in the multiplication table contains the multiplicative identity (each is a unit).

\subsection{Question Two - TODO}
\label{sec:org55dc879}

\subsection{Question Three - TODO}
\label{sec:orga648a70}

\subsection{Question Six}
\label{sec:orgc033877}
By Corollary 5.5, each congruence class can be rewritten with \(a,b \in \mathds{Q}\): \([ax + b]\).

Addition is defined as \([ax + b] + [cx + d] = [(a + c)x + bd]\).

\((ax + b)(cx + d) = acx^2 + dax + bcx + bd = acx^2 + (da + bc)x + bd\)

\begin{equation*}
\polylongdiv[style=A]{acx^2 + (da + bc)x + bd}{x^2 - 2}
\end{equation*}

Multiplication is thusly defined as \([ax + b] \cdot [cx + d] = [(ad + bc)x + (2ac + bd)]\)

\subsection{Question Nine}
\label{sec:org76f0944}
Given that \([a + bx]\) is a nonzero congruence class, either
\(a > 0\) or \(b > 0\). Then let \(c = \frac{-a}{a^2 + b^2}\) and \(d = \frac{b}{a^2 + b^2}\).

\begin{equation*}
\polylongdiv[style=A]{acx^2 + (da + bc)x + bd}{x^2 + 1}
\end{equation*}

\begin{align*}
[ax + b][cx + d] & = [(ad + bc)x + (bd - ac)] \\
&= [(\frac{ab}{a^2 + b^2} + \frac{-ab}{a^2 + b^2})x + \frac{b^2}{a^2 + b^2} - \frac{-a^2}{a^2 + b^2}] \\
&= [0x + \frac{b^2 + a^2}{a^2 + b^2}] \\
&= [1]
\end{align*}

\section{Section 5.3}
\label{sec:org82d2650}
\subsection{Question One}
\label{sec:org2711f62}
\subsubsection{a}
\label{sec:org805523d}
\(x^3 + 2x^2 + x + 1\) does not have any roots in \mathds{Z}\textsubscript{3}, so by Corollary 4.19 it must be irreducible,
and thus a field by 5.10

\subsubsection{b}
\label{sec:orgf91e167}
This is not a field by Theorem 5.10 since 2 is a root in \(Z_5\), so by Corollary 4.19 it must be reducible.

\subsubsection{c}
\label{sec:orgaf8d3bb}
This is not a field by Theorem 5.10 since \(x^4 + x^2 + 1 = (x^2 - x + 1)(x^2 + x + 1) \equiv_2 (x^2 + x + 1)^2\) shows \(x^4 + x^2 + 1\) is reducible.

\subsection{Question Two}
\label{sec:org09929ee}
\subsubsection{a}
\label{sec:org889a4d4}
Since \(\mathds{Q} (\sqrt{2})\) is a subset of \(\mathds{R}\), multiplication and addition are associative, commutative, and distributive.

The additive identity of \$\mathds{Q} (\sqrt{2}) is \(0 + 0\sqrt{2}\) and the multiplicative identity is \(1 + 0\sqrt{2}\).

It must be a field since every non-zero element \(a + b \sqrt{2}\) is a unit:

\begin{align*}
(a + b\sqrt{2})x = 1 & \Rightarrow x = \frac{1}{a + b\sqrt{2}} \\
& \Rightarrow x = \frac{a - b\sqrt{2}}{(a + b\sqrt{2})(a - b \sqrt{2})} \\
& \Rightarrow x = \frac{a}{a^2 - 2b^2} - \frac{b}{a^2 - 2b^2}\sqrt{2} \\
\end{align*}

\subsubsection{b}
\label{sec:orgbfbb6ba}
Every element in \(\mathds{Q} / (x^2 - 2)\) can be rewritten as a member of the congruence class \([ax + b]\) with \(a, b \in \mathds{Q}\) by Corollary 5.5.

Then, we can define a function \(f\) such that \(f([ax + b]) = a + b\sqrt{2}\) so that \(f(x) \in \mathds{Q}(\sqrt{2})\).

\(f\) is thus an isomorphism since (a chance of redemption from my midterm \(\ddot\smile\)):

\begin{itemize}
\item \(f\) is injective since \(f([ax + b]) = f([cx + d]) \Rightarrow a + b\sqrt{2} = c + d\sqrt{2} \Rightarrow a = c \wedge b = d\)
\item \(f\) is surjective since each \(a + b\sqrt{2}\) is uniquely mapped to \([ax + b]\)
\item \$f([ax + b] + [cx + d]) = f([(a + c)x + (b + d)]) = (a + c) + (b + d)\sqrt{2} = (a + b\sqrt{2}) + (c + d\sqrt{2}) = f([ax + b]) + f([cx + d])
\end{itemize}

\subsection{Question Five}
\label{sec:org246fde8}
\subsubsection{a}
\label{sec:org748a4c5}
Since \(\mathds{Q} (\sqrt{3})\) is a subset of \(\mathds{R}\), multiplication and addition are associative, commutative, and distributive.

The additive identity of \$\mathds{Q} (\sqrt{3}) is \(0 + 0\sqrt{3}\) and the multiplicative identity is \(1 + 0\sqrt{3}\).

It must be a field since every non-zero element \(r + s \sqrt{3}\) is a unit (by first assuming that the inverse of \(r + s\sqrt{3}\) from the
back of the book, \(\frac{r}{r^2 - 3s^2} s \frac{s}{r^2 - 3s^2}\sqrt{3}\):

\begin{align*}
(a + b\sqrt{3})x = 1 & \Rightarrow x = \frac{1}{a + b\sqrt{2}} \\
& \Rightarrow x = \frac{a - b\sqrt{2}}{(a + b\sqrt{2})(a - b \sqrt{2})} \\
& \Rightarrow x = \frac{a}{a^2 - 2b^2} - \frac{b}{a^2 - 2b^2}\sqrt{2} \\
\end{align*}
\end{document}