{"id":403,"date":"2023-06-20T16:39:12","date_gmt":"2023-06-20T08:39:12","guid":{"rendered":"https:\/\/qwq.cafe\/?p=403"},"modified":"2023-06-20T16:39:12","modified_gmt":"2023-06-20T08:39:12","slug":"abstract-algebra-1-4-from-arithmetic-to-polynomials","status":"publish","type":"post","link":"https:\/\/qwq.cafe\/?p=403","title":{"rendered":"Abstract Algebra \u2013 1.4 From Arithmetic to Polynomials"},"content":{"rendered":"<p><strong>Theorem 1.4.1 (Division Algorithm)<\/strong> If $K$ is a field and $f(x),g(x)\\in K[x]$ with $f\\ne 0$, then there are unique polynomials $q(x),r(X)\\in K[x]$ with<br \/>\n$$g(x)=q(x)f(x)+r(x),<br \/>\n$$<br \/>\nwhere either $r=0$ or $\\deg r(x)&lt;\\deg f(x)$.<\/p>\n<p><strong>Definition 1.4.1<\/strong> If $f(x)$ and $g(x)$ are polynomials in $K[x]$, where $K$ is a field, then the polynomials $q(x)$ and $r(x)$ occurring in the Division Algorithm are called the <strong>quotient<\/strong> and the <strong>remainder<\/strong> after dividing $g$ by $f$.<\/p>\n<p><strong>Corollary 1.4.1<\/strong> Let $R$ be a commutative ring, and let $f(x)\\in R[x]$ be a monic polynomial. If $g(x)\\in R[x]$, then there exist $q(x),r(x)\\in R[x]$ with<br \/>\n$$g(x)=q(x)f(x)+r(x),<br \/>\n$$<br \/>\nwhere either $r=0$ or $\\deg r(x)&lt;\\deg f(x)$.<\/p>\n<p><strong>Theorem 1.4.2<\/strong> If $K$ is a field, then every ideal $I$ in $K[x]$ is a principal ideal; that is, there is $d\\in I$ with $I=(d)$, then $d$ can be chosen to be a monic polynomial. Moreover, if $I\\ne (0)$, then $d$ can be chosen to be a monic polynomial.<\/p>\n<p><strong>Definition 1.4.2<\/strong> If $f(x)\\in R[x]$, where $R$ is a ring, then a <strong>root<\/strong> of $f(x)$ in $R$ is an element $a\\in R$ with $f(a)=0$.<\/p>\n<p><strong>Lemma 1.4.1<\/strong> Let $f(x)\\in K[x]$, where $K$ is a field, and let $u\\in K$. Then there is $q(x)\\in K[x]$ with<br \/>\n$$f(x)=q(x)(x-u)+f(u).<br \/>\n$$<br \/>\n<strong>Proposition 1.4.1<\/strong> If $f(x)\\in K[x]$, where $K$ is a field, then $a$ is a root of $f(x)$ in $K$ if and only if $x-a\\mid f(x)$.<\/p>\n<p><strong>Proposition 1.4.2<\/strong> Let $K$ be a field and let $f(x)\\in K[x]$. If $f$ has degree $n$, then $f$ has at most $n$ roots in $K$.<\/p>\n<p><strong>Corollary 1.4.2<\/strong> Every $n$th root of unity in $\\mathbb C$ is equal to<br \/>\n$$e^{2\\pi ik\/n}=\\cos(2\\pi k\/n)+i\\sin(2\\pi k\/n),<br \/>\n$$<br \/>\nwhere $k=0,1,2,\\dots,n-1$.<\/p>\n<p><strong>Corollary 1.4.3<\/strong> Let $K$ be an infinite field and let $f(x)$ and $g(x)$ be polynomials in $K[x]$. If $f$ and $g$ determine the same polynomial function (that is, $f(a)=g(a)$ for all $a\\in K$), then $f=g$.<\/p>\n<p>Proof.<\/p>\n<p>Let $h(x)=f(x)-g(x)$. Then if $h\\ne 0$, $h$ has some degree.<\/p>\n<p>However, the roots of $h$ are too much, which contradicts the Proposition 1.4.2. $\\square$<\/p>\n<p><strong>Corollary 1.4.4<\/strong> Let $K$ be a (possibly finite) field, let $f(x),g(x)\\in K[x]$, and let $\\deg f(x)\\le\\deg g(x)=n$. If $f(a)=g(a)$ for $n+1$ elements $a\\in K$, then $f=g$.<\/p>\n<p>Proof.<\/p>\n<p>Let $h(x)=f(x)-g(x)$. Then if $h\\ne 0$, $\\deg h(x)\\le n$.<\/p>\n<p>That $h(x)$ have $n+1$ roots contradicts the Proposition 1.4.2. $\\square$<\/p>\n<p><strong>Proposition 1.4.3<\/strong> Let $f(X),g(X)\\in K[X]=K[x_1,\\dots,x_n]$, where $K$ is an infinite field.<\/p>\n<ol>\n<li>If $f(X)$ is nonzero, then there are $a_1,\\dots,a_n\\in K$ with $f(a_1,\\dots,a_n)\\ne 0$.<\/li>\n<li>If $f(a_1,\\dots,a_n)=g(a_1,\\dots,a_n)$ for all $(a_1,\\dots,a_n)\\in K^n$, then $f=g$.<\/li>\n<\/ol>\n<p><strong>Theorem 1.4.3<\/strong> Let $K$ be a field. If $G$ is a finite subgroup of the multiplicative group $K^\\times$, then $G$ is cyclic. In particular, if $K$ is finite, then $K^\\times$ is cyclic.<\/p>\n<p>Proof.<\/p>\n<p>$G$ is an abelian group and $x^m-1$ have less than $m$ roots in $K$ (also in $G$).<\/p>\n<p>For \u547d\u98981.1.7 in <a href=\"https:\/\/qwq.cafe\/?p=332\">\u62bd\u8c61\u4ee3\u6570\u7b14\u8bb0<\/a>, $G$ is cyclic. $\\square$<\/p>\n<p><strong>Definition 1.4.3<\/strong> If $K$ is a finite field, a generator of the cyclic group $K^\\times$ is called a <strong>primitive element<\/strong> of $K$.<\/p>\n<p><strong>Definition 1.4.4<\/strong> If $f(x)$ and $g(x)$ are polynomials in $K[x]$, where $K$ is a field, then a <strong>common divisor<\/strong> is a polynomial $c(x)\\in K[x]$ with $c\\mid f$ and $c\\mid g$. If $f$ and $g$ in $K[x]$ are not both $0$, define their <strong>greatest common divisor<\/strong> abbreviated $\\gcd$, to be the monic common divisor having largest degree. If $f=0=g$, define $\\gcd(f,g)=0$.<\/p>\n<p><strong>Theorem 1.4.4<\/strong> If $K$ is a field and $f(x),g(x)\\in K[x]$, then their gcd $d(x)$ is a linear combination of $f$ and $g$; that is there are $s(x),t(x)\\in K[x]$ with<br \/>\n$$d=sf+tg.<br \/>\n$$<br \/>\nProof.<\/p>\n<p>The set $(f,g)$ of all linear combinations of $f$ and $g$ is an ideal in $K[x]$.<\/p>\n<p>Since every ideal in $K[x]$ is a principle ideal, there is $d(x)\\in K[x]$ such that $(d)=(f,g)$.<\/p>\n<p>Then there are $s(x),t(x)\\in K[x]$ with $d=sf+tg$.<\/p>\n<p>Because $f(x),g(x)\\in (d)$, $d$ is a common divisor of $f$ and $g$.<\/p>\n<p>If $q(x)$ is a common divisor of $f$ and $g$, then there are $f_1(x),g_1(x)\\in K[x]$ with $f=f_1q,g=g_1q$.<\/p>\n<p>$d=sf+tg=(sf_1+tg_1)q$ shows that $q$ is a divisor of $d$, and $\\deg q(x)\\le\\deg d(x)$.<\/p>\n<p>Therefore, $d$ is the gcd of $f$ and $g$. $\\square$<\/p>\n<p><strong>Corollary 1.4.5<\/strong> Let $K$ be a field and let $f(x),g(x)\\in K[x]$.<\/p>\n<ol>\n<li>A monic common divisor $d(x)$ is the gcd if and only if $d$ is divisible by every common divisor; that is, if $h(x)$ is a common divisor, then $h\\mid d$.<\/li>\n<li>$f$ and $g$ have a unique gcd.<\/li>\n<\/ol>\n<p><strong>Definition 1.4.5<\/strong> An element $p$ in a domain $R$ is <strong>irreducible<\/strong> if $p$ is neither $0$ nor a unit and, in every factorization $p=uv$ in $R$, either $u$ or $v$ is a unit.<\/p>\n<p>For example, a prime $p\\in \\mathbb Z$ is irreducible element, as is $-p$.<\/p>\n<p><strong>Proposition 1.4.4<\/strong> If $K$ is a field, then a polynomial $p(x)\\in K[x]$ is irreducible if and only if $\\deg(p)=n\\ge 1$ and there is no factorization in $K[x]$ for the form $p(x)=g(x)h(x)$ in which both factors have degree smaller than $n$.<\/p>\n<p><strong>Corollary 1.4.6<\/strong> Let $K$ be a field and let $f(x)\\in K[x]$ be a quadratic or cubic polynomial. Then $f$ is irreducible in $K[x]$ if and only if $f$ has no roots in $K$.<\/p>\n<p><strong>Theorem 1.4.5 (Gauss&#8217;s Lemma)<\/strong> Let $f(x)\\in \\mathbb Z[x]$. If $f(x)=G(x)H(x)$ in $\\mathbb Q[x]$, where $\\deg(G),\\deg(H)&lt;\\deg(f)$, then $f(x)=g(x)h(h)$ in $\\mathbb Z[x]$, where $\\deg(g)=\\deg(G)$ and $\\deg(h)=\\deg(H)$.<\/p>\n<p>Proof.<\/p>\n<p>Clearing denominators, there are positive integers $n&#039;,n&#039;&#039;$ such that $g(x)=n&#039;G(x)$ and $h(x)=n&#039;&#039;H(x)$.<\/p>\n<p>Setting $n=n&#039;n&#039;&#039;$, we have<br \/>\n$$nf(x)=n&#039;G(x)n&#039;&#039;H(x)=g(x)h(x)\\text{ in }\\mathbb Z[x].<br \/>\n$$<br \/>\nIf $p$ is a prime divisor of $n$, consider the map $\\mathbb Z[x]\\to \\mathbb Z_p[x]$, denoted by $g\\to \\overline g$, which reduces all coefficients mod $p$. The equation becomes<br \/>\n$$0=\\overline g(x)\\overline h(x).<br \/>\n$$<br \/>\nBut $\\mathbb Z_p[x]$ is a domain, and so at least one of these factors is $0$. <\/p>\n<p>Let&#8217;s assume that $\\overline g(x)=0$; that is all the coefficients of $g(x)$ are multiples of $p$.<\/p>\n<p>Therefore, we may write $g(x)=pg&#039;(x)$, where all the coefficients of $g&#039;(x)$ lie in $\\mathbb Z$. If $n=pm$, then<br \/>\n$$pmf(x)=pg&#039;(x)h(x)\\text{ in } \\mathbb Z.<br \/>\n$$<br \/>\nCancel $p$, and continue canceling primes until we reach a factorization $f(x)=g^*(x)h^*(x)$ in $\\mathbb Z[x]$. $\\square$<\/p>\n<p>The contrapositive version of Gauss&#8217;s Lemma is more convenient to use. If $f(x)\\in \\mathbb Z[x]$ has no factorization in $\\mathbb Z[x]$ as a product of two polynomials, each having degree smaller than $\\deg(f)$, then $f$ is irreducible in $\\mathbb Q[x]$.<\/p>\n<p><strong>Lemma 1.4.2<\/strong> Let $K$ be a field, let $p(x),f(x)\\in K[x]$, and let $d(x)=\\gcd(p,f)$. If $p$ is a monic irreducible polynomial, then<br \/>\n$$d(x)=\\begin{cases}<br \/>\n1,&amp;p\\nmid f,\\\\<br \/>\np(x),&amp;p\\mid f.<br \/>\n\\end{cases}<br \/>\n$$<\/p>\n<p>Proof. Since $d\\mid p$, we have $d=1$ or $d=p$. $\\square$<\/p>\n<p><strong>Theorem 1.4.6 (Euclid&#8217;s Lemma)<\/strong> Let $K$ be a field and let $f(x),g(x)\\in K[x]$. If $p(x)$ is an irreducible polynomial in $K[x]$, and $p\\mid fg$, then either<br \/>\n$$p\\mid f\\text{ or }p\\mid g.<br \/>\n$$<br \/>\nMore generally, if $p\\mid f_1(x)\\cdots f_n(x)$, then $p\\mid f_i$ for some $i$.<\/p>\n<p>Proof.<\/p>\n<p>Assume that $p\\mid fg$ but that $p\\nmid f$.<\/p>\n<p>Since $p$ is irreducible, $\\gcd(p,f)=1$, and so $1=sp+sf$ for some polynomials $s$ and $t$.<\/p>\n<p>Therefore $g=spg+sfg$. Because $p\\mid fg$, $fg=hp$ for some polynomial $h$.<\/p>\n<p>Then $g=spg+shp=(sg+sh)p$, so $p\\mid g$. $\\square$<\/p>\n<p><strong>Definition 1.4.6<\/strong> Two polynomials $f(x),g(x)\\in K[x]$, where $K$ is a field, are called <strong>relatively prime<\/strong> if their gcd is $1$.<\/p>\n<p><strong>Corollary 1.4.7<\/strong> Let $f(x),g(x),h(x)\\in K[x]$, where $K$ is a field, and let $h$ and $f$ be relatively prime. If $h\\mid fg$, then $h\\mid g$.<\/p>\n<p><strong>Definition 1.4.7<\/strong> If $K$ is a field, then a retaional function $f(x)\/g(x)\\in K(x)$ is in <strong>lowest terms<\/strong> if $f(x)$ and $g(x)$ are relatively prime.<\/p>\n<p><strong>Theorem 1.4.7 (Euclidean Algorithms)<\/strong> If $K$ is a field $f(x),g(x)\\in K[x]$, then there are algorithms for computing $\\gcd(f,g)$, as well as for finding a pair of polynomials $s(x)$ and $t(x)$ with<br \/>\n$$\\gcd(f,g)=sf+tg.<br \/>\n$$<br \/>\n<strong>Corollary 1.4.8<\/strong> Let $k$ be a subfield of a field $K$, so that $k[x]$ is a subring of $K[x]$. If $f(x),g(x)\\in k[x]$, then their gcd in $k[x]$ is equal to their gcd in $K[x]$.<\/p>\n<p><strong>Corollary 1.4.9<\/strong> If $f(x),g(x)\\in \\mathbb R[x]$ have no common root in $\\mathbb C$, then $f,g$  are relatively prime in $\\mathbb R[x]$.<\/p>\n<p><strong>Theorem 1.4.8 (Unique Factorization)<\/strong> If $K$ is a field, then every polynomial $f(x)\\in K[x]$ of degree $\\ge1$ is a product of a nonzero constant and monic irreducibles. Moreover, if $f(x)$ has two such factorizations,<br \/>\n$$f(x)=ap_1(x)\\cdots p_m(x) \\text{ and } f(x)=bq_1(x)\\cdots q_n(x)<br \/>\n$$<br \/>\nthat is, $a$ and $b$ are nonzero constants and the $p$&#8217;s and $q$&#8217;s are monic irreducibles, then $a=b,m=n$ and the $q$&#8217;s may be reindexed so that $q_i=p_i$ for all $i$.<\/p>\n<p><strong>Definition 1.4.8<\/strong> Let $f(x)\\in K[x]$, where $K$ is a field. A <strong>prime factorization<\/strong> of $f(x)$ is<br \/>\n$$f(x)=ap_1(x)^{e_1}\\cdots p_m(x)^{e_m},<br \/>\n$$<br \/>\nwhere $a$ is a nonzero constant, the $p_i$ are distinct monic irreducible polynomials, and $e_i\\ge 0$ for all $i$.<\/p>\n<p>Let $K$ be a field, and assume that there are $a,r_1,\\dots,r_n\\in K$ with<br \/>\n$$f(x)=a\\prod_{i=1}^n(x-r_i);<br \/>\n$$<br \/>\nwe say that $f$ <strong>splits<\/strong> over $k$. If $r_1,\\dots,r_s$, where $s\\le n$, are the distinct roots of $f(x)$, then a prime factorization of $f(x)$ is<br \/>\n$$f(x)=a(x-r_1)^{e_1}(x-r_2)^{e_2}\\cdots(x-r_s)^{e_s}.<br \/>\n$$<br \/>\nWe call $e_j$ the <strong>multiplicity<\/strong> of the root $r_j$.<\/p>\n<p><strong>Definition 1.4.9<\/strong> If $f$ and $g$ are elements in a commutative ring $R$, then a <strong>common multiple<\/strong> is an element $m\\in R$ with $f\\mid m$ and $g\\mid m$. If $f$ and $g$ in $R$ are not both $0$, define  their <strong>last common multiple<\/strong>, abbreviated $\\operatorname{lcm}(f,g)$, to be a common mutiple $c$ of them with $c\\mid m$ for every common multiple $m$. If $f=0=g$, define their $\\operatorname{lcm}(f,g)=0$, If $R=K[x]$, we require lcm&#8217;s to be monic.<\/p>\n<p><strong>Proposition 1.4.5<\/strong> If $K$ is a field and  $f(x),g(x)\\in K[x]$ have prime factorizations $f(x)=a_0p_1^{a_1}\\cdots p_n^{a_n}$ and $g(x)=b_0p_1^{b_1}\\cdots p_n^{b_n}$ in $K[x]$, then<\/p>\n<ol>\n<li>\n<p>$f\\mid g$ if and only if $a_i\\le b_i,\\forall i$.<\/p>\n<\/li>\n<li>\n<p>If $m_i=\\min\\{a_i,b_i\\}$ and $M_i=\\max\\{a_i,b_i\\}$, then<br \/>\n$$<br \/>\n\\gcd(f,g)=p_1^{m_1}\\cdots p_n^{m_n}\\text{ and }\\operatorname{lcm}(f,g)=p_1^{M_1}\\cdots p_n^{M_n}.<br \/>\n$$<\/p>\n<\/li>\n<\/ol>\n<p><strong>Corollary 1.4.10<\/strong> If $K$ is a field and $f(x),g(x)\\in K[x]$ are monic polynomials, then<br \/>\n$$\\gcd(f,g)\\operatorname{lcm}(f,g)=fg.<br \/>\n$$<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Theorem 1.4.1 (Division Algorithm) If $K$ is a field an [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12,6],"tags":[11,8],"class_list":["post-403","post","type-post","status-publish","format-standard","hentry","category-abstract-algebra","category-6","tag-11","tag-8"],"_links":{"self":[{"href":"https:\/\/qwq.cafe\/index.php?rest_route=\/wp\/v2\/posts\/403","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/qwq.cafe\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/qwq.cafe\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/qwq.cafe\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/qwq.cafe\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=403"}],"version-history":[{"count":1,"href":"https:\/\/qwq.cafe\/index.php?rest_route=\/wp\/v2\/posts\/403\/revisions"}],"predecessor-version":[{"id":404,"href":"https:\/\/qwq.cafe\/index.php?rest_route=\/wp\/v2\/posts\/403\/revisions\/404"}],"wp:attachment":[{"href":"https:\/\/qwq.cafe\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=403"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/qwq.cafe\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=403"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/qwq.cafe\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=403"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}