<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Polynomials on Chen Kai Blog</title><link>https://www.chenk.top/en/tags/polynomials/</link><description>Recent content in Polynomials on Chen Kai Blog</description><generator>Hugo</generator><language>en</language><lastBuildDate>Sat, 11 Sep 2021 09:00:00 +0000</lastBuildDate><atom:link href="https://www.chenk.top/en/tags/polynomials/index.xml" rel="self" type="application/rss+xml"/><item><title>Abstract Algebra (6): Polynomial Rings — Factorization and Unique Decomposition</title><link>https://www.chenk.top/en/abstract-algebra/06-polynomial-rings/</link><pubDate>Sat, 11 Sep 2021 09:00:00 +0000</pubDate><guid>https://www.chenk.top/en/abstract-algebra/06-polynomial-rings/</guid><description>&lt;p>Polynomials are the laboratory of algebra. Nearly every concept in ring theory &amp;mdash; ideals, quotients, factorization, irreducibility &amp;mdash; was first understood through polynomial examples before being abstracted. This is no coincidence: polynomial rings are rich enough to exhibit all the interesting phenomena yet structured enough to permit explicit computation.&lt;/p>
&lt;p>In this article we study the ring &lt;span class="math-inline">$R[x]$&lt;/span>
 of polynomials over a ring &lt;span class="math-inline">$R$&lt;/span>
. We develop the division algorithm, establish irreducibility criteria (Eisenstein, reduction mod &lt;span class="math-inline">$p$&lt;/span>
, the rational root test), define Unique Factorization Domains, and prove Gauss&amp;rsquo;s Lemma &amp;mdash; the bridge between factorization over &lt;span class="math-inline">$\mathbb{Z}$&lt;/span>
 and factorization over &lt;span class="math-inline">$\mathbb{Q}$&lt;/span>
. The payoff is a clear picture of &lt;em>when&lt;/em> and &lt;em>why&lt;/em> unique factorization holds, and what goes wrong when it fails.&lt;/p></description></item></channel></rss>