InitHEADmain

1 files changed, 213 insertions, 0 deletions

diff --git a/Homework/math4310/alg_structures_assn_9.tex b/Homework/math4310/alg_structures_assn_9.tex
new file mode 100644
index 0000000..f118c8b
--- /dev/null
+++ b/Homework/math4310/alg_structures_assn_9.tex
@@ -0,0 +1,213 @@
+% 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}
\ No newline at end of file