Section I.5.3

Polynomial ring factorization

[7/0%]
Show
LaTeX
Problem I.5.3.1

Show that

nZ+mZ=Z⋅gcd⁡(n,m),nZ∩mZ=Z⋅lcm⁡(n,m). \begin{aligned} n \mathbb {Z}+m \mathbb {Z} & =\mathbb {Z} \cdot \gcd (n, m), \\ n \mathbb {Z} \cap m \mathbb {Z} & =\mathbb {Z} \cdot \operatorname {lcm}(n, m). \end{aligned}
?
Problem I.5.3.2

Let f,gf, g be monic polynomials from Z[X]\mathbb {Z}{}[X]. Show that in the expression gcd⁡(f,g)=fu+gv\gcd (f, g)=f u+g v with u,v∈Z[X]u, v \in \mathbb {Z}{}[X] one may take deg⁡u<deg⁡g\operatorname {deg} u<\operatorname {deg} g, deg⁡v<deg⁡f\operatorname {deg} v<\operatorname {deg} f.

?
Problem I.5.3.3

Are the rings Z[−3]\mathbb {Z}{}[\sqrt{-3}] and Z8[X]\mathbb {Z}_{8}[X] factorial?

?
Problem I.5.3.4

Factor into irreducible factors in Z[X]\mathbb {Z}{}[X] the polynomials Xn−1X^{n}-1 for 5⩽n⩽125 \leqslant n \leqslant 12.

?
Problem I.5.3.5

Prove that the irreducible factors of the homogeneous polynomial

f(X,Y)=a0Xn+a1Xn−1Y+…+an−1XYn−1+anYn∈Q[X,Y] f(X, Y)=a_{0} X^{n}+a_{1} X^{n-1} Y+\ldots +a_{n-1} X Y^{n-1}+a_{n} Y^{n} \in \mathbb {Q}{}[X, Y]

are homogeneous, and f(X,Y)f(X, Y) is irreducible if and only if the polynomial f(X,1)=a0Xn+a1Xn−1+…+an−1X+an∈Q[X]f(X, 1)=a_{0} X^{n}+a_{1} X^{n-1}+\ldots +a_{n-1} X+a_{n} \in \mathbb {Q}{}[X] is irreducible.

?
Problem I.5.3.6

Let PP be a field and f(X)=∑i⩾0aiXif(X)=\sum_{i \geqslant 0} a_{i} X^{i} a formal power series from P[[X]]P[[X]] (see Exercise 5 from § 2). The condition a0≠0a_{0} \neq 0, or, equivalently, ω(f)=0\omega (f)=0, is necessary and sufficient for the existence of a power series g(X)∈P[[X]]g(X) \in P[[X]] inverse to f:fg=1f: f g=1. For example, (1−X)−1=∑i⩾0Xi(1-X)^{-1}=\sum_{i \geqslant 0} X^{i}. Up to associates, XX is the unique prime element in P[[X]]P[[X]]. The ring P[[X]]P[[X]] is factorial. Justify these statements.

?
Problem I.5.3.7

Show that det⁡(xij)=∑π∈Snεπxπ(1),1…xπ(n),n\operatorname {det}\left(x_{i j}\right)=\sum_{\pi \in S_{n}} \varepsilon_{\pi } x_{\pi (1), 1} \ldots x_{\pi (n), n} is an irreducible homogeneous polynomial of degree nn in n2n^{2} independent variables xijx_{i j}.

?