求 $(a_1+a_2+a_3+\cdots+a_n)^m$ 的展开式

例如: 

\[(a+b)^n=a^n+na^{n-1}b+\frac{n(n-1)}{2}a^{n-2}b^2+\cdots+nab^{n-1}+b^n=\sum_{k=0}^{n}C_n^k a^{n-k}b^k\]

\[
(a+b+c)^2=a^2+b^2+c^2+2ab+2bc+2ca
\]

\[
\begin{split}
(a+b+c)^3&=(a+b)^3+3(a+b)^2 c+3(a+b)c^2+c^3\\
&=a^3+b^3+c^3+3a^2 b+3a^2 c+3b^2 a+3b^2 c+3c^2 a+3c^2 b+6abc
\end{split}
\]

Specht 多项式(Specht polynomials)和Specht 模(Specht modules)不仅被应用于对称群的表示理论, 而且也被应用于其他 反射群(reflection groups), 例如八面体群(octahedral groups).

对称群和八面体群都属于反射群.

群 $G$ 的一个表示是指一群同态 $G\rightarrow GL(V)$, 其中 $V$ 是复数域 $\mathbb{C}$ 上的一个有限维向量空间, 也可以等价于 $\mathbb{C}[G]$ 上的一个模(module).

参考

rt.representation theory - Specht polynomials for dihedral groups - MathOverflow

http://www.cmi.ac.in/~pdeshpande/projects/irreps.pdf

求下列一元三次方程的根.

(1)    $x^3-x^2-x-2=0$;

(2)    $x^3-3x^2+2x^1-2=0$;

(3)    $x^3+1=0$;

(4)    $x^3-15x-126=0$

(5)    $x^3+x^2+x+1=0$

(6)    $x^3-6x+2=0$

(1)   $f(x)=x^5-5x^4+7x^3-2x^2+4x-8$;

(2)   $f(x)=x^4+4x^2-4x-3$

(1)    $f(x)=x^4+x^3-3x^2-4x-1$,    $g(x)=x^3+x^2-x-1$;

(2)    $f(x)=x^4-4x^3+1$,    $g(x)=x^3-3x^2+1$;

(3)    $f(x)=x^4-10x^2+1$,    $g(x)=x^4-4\sqrt{2}x^3+6x^2+4\sqrt{2}x+1$.

1.  用 $g(x)$ 除 $f(x)$, 求商 $q(x)$ 与余式 $r(x)$:

(1)  $f(x)=x^3-3x^2-x-1$,  $g(x)=3x^2-2x+1$;

(2)  $f(x)=x^4-2x+5$,  $g(x)=x^2-x+2$.

题目来自 [1] P. 44

References:

[1] 北京大学数学系几何与代数教研室代数小组 编《高等代数》

设 $f(x)$ 是一个多项式, 具有标准分解式

\[
f(x)=cp_1^{r_1}(x)p_2^{r_2}(x)\cdots p_s^{r_s}(x)
\]

$f(x)$ 和 $f'(x)$ 的最大公因式必具有标准分解式

\[
p_1^{r_1-1}(x)p_2^{r_2-1}(x)\cdots p_s^{r_s-1}(x)
\]

于是

\[
\frac{f(x)}{(f(x),f'(x))}=cp_1(x)p_2(x)\cdots p_s(x)
\]

不含有重因式.

因此, 要判断 $f(x)$ 是否含有重因式, 这是一个可以尝试的办法. 只要 $f(x)$ 和 $f'(x)$ 不是互素的, 则上式也给出了对 $f(x)$ 作因式分解的一个思路.

参见 [1] P.24

References:

[1] 北京大学数学系几何与代数教研室代数小组 编《高等代数》

使用辗转相除法求两个多项式的最大公因式.

设 $f(x)$ 和 $g(x)$ 是两个多项式, 通过带余除法, 经过有限步后总可以使得最后的余式为零. 具体的, 可设

\[
\begin{aligned}
f(x)&=q_1(x)\cdot g(x)+r_1(x),\\
g(x)&=q_2(x)\cdot r_1(x)+r_2(x),\\
r_1(x)&=q_3(x)\cdot r_2(x)+r_3(x),\\
r_2(x)&=q_4(x)\cdot r_3(x)+r_4(x),\\
&\vdots\\
r_{s-3}(x)&=q_{s-1}(x)\cdot r_{s-2}(x)+r_{s-1}(x),\\
r_{s-2}(x)&=q_{s}(x)\cdot r_{s-1}(x)+r_{s}(x),\\
r_{s-1}(x)&=q_{s+1}(x)\cdot r_s(x)+0.
\end{aligned}
\]

假设用 Rvec 向量存储 $\{f(x), g(x), r_1(x), r_2(x), \ldots, r_s(x)\}$,  Qvec 向量存储 $q_1(x), q_2(x), \ldots, q_{s+1}(x)$.

上面最后一式为 $r_{s-1}=q_{s+1}r_s$ (以下均省写 $(x)$ ), 将其代入倒数第二式得到 $r_{s-2}$ 关于 $q_j$ 和 $r_s$ 的表达式, 依次类推.

\[r_{s-1}=q_{s+1}r_s\]

\[
r_{s-2}=q_s (q_{s+1}r_s)+r_s=(q_s q_{s+1}+1)r_s
\]

\[
\begin{split}
r_{s-3}&=q_{s-1}\cdot r_{s-2}+r_{s-1}\\
&=q_{s-1}(q_s q_{s+1}+1)r_s+q_{s+1} r_s\\
&=(q_{s-1}q_s q_{s+1}+q_{s-1}+q_{s+1})r_s
\end{split}
\]

可以看到, $r_k$ 都可以用 $q_j$ 和 $r_s$ 来表示. 但我们要找的是 $r_s$ 关于 $f$ 和 $g$ 的线性表示式. (这里的“线性”表示式, 系数并不是常数.)

从倒数第二式出发,

\[
r_s=r_{s-2}-q_s r_{s-1}
\]

如果 $r_{s-2}$, $r_{s-1}$ 能够写成 $f$ 和 $g$ 的线性表示式即可.

\[
\begin{split}
r_1&=f-q_1 g\\
r_2&=g-q_2 r_1=g-q_2(f-q_1 g)=-q_2 f+(1+q_2 q_1)g\\
r_3&=r_1-q_3 r_2=(f-q_1 g)-q_3(-q_2 f+(1+q_2 q_1)g)\\
&=(1+q_3 q_2)f+(-q_1-q_3(1+q_2 q_1))g\\
r_4&=r_2-q_4 r_3=\bigl(-q_2 f+(1+q_2 q_1)g\bigr)-q_4\cdot\Bigl[(1+q_3 q_2)f+(-q_1-q_3(1+q_2 q_1))g\Bigr]\\
&=\Bigl[-q_2-q_4(1+q_3 q_2)\Bigr]f+\Bigl[(1+q_2 q_1)+q_4(q_1+q_3(1+q_2 q_1))\Bigr]g\\
r_5&=r_3-q_5 r_4=\bigl((1+q_3 q_2)f+(-q_1-q_3(1+q_2 q_1))g\bigr)\\
&\qquad-q_5\biggl(\Bigl[-q_2-q_4(1+q_3 q_2)\Bigr]f+\Bigl[(1+q_2 q_1)+q_4(q_1+q_3(1+q_2 q_1))\Bigr]g\biggr)\\
&=\biggl[(1+q_3 q_2)+q_5\bigl(q_2+q_4(1+q_3 q_2)\bigr)\biggr]f+\biggl[\bigl(-q_1-q_3(1+q_2 q_1)\bigr)+(1+q_2 q_1)+q_4\bigl(q_1+q_3(1+q_2 q_1)\bigr)\biggr]g\\
\end{split}
\]

将 $r_s$ 表示为 $(k,h)$, 意思是 $kf+hg$. 于是我们有

\[
\begin{split}
r_1&=(1,-q_1)\\
r_2&=(0,1)+(-q_2)(1,-q_1)=(-q_2, 1+q_2 q_1)\\
r_3&=(1,-q_1)+(-q_3)\cdot(-q_2, 1+q_2 q_1)=(1+q_3 q_2, -q_1-q_3(1+q_2 q_1))\\
r_4&=(-q_2, 1+q_2 q_1)-q_4(1+q_3 q_2, -q_1-q_3(1+q_2 q_1))\\
&=(-q_2-q_4(1+q_3 q_2), 1+q_2 q_1+q_4(q_1+q_3(1+q_2 q_1)))
\end{split}
\]

因此, 编程的话, 只需通过这些公式, 依次计算 $r_1, r_2, r_3, \ldots$, 直到 $r_s$. 

例子: 设 $f(x)=x^4+3x^3-x^2-4x-3$, $g(x)=3x^3+10x^2+2x-3$, 求 $(f(x),g(x))$, 并求 $u(x), v(x)$ 使

\[(f(x),g(x))=u(x)f(x)+v(x)g(x).\]

Remark:

例子来源于 [1] P. 15

References:

[1] 北京大学数学系几何与代数教研室代数小组 编《高等代数》, 高等教育出版社. 2000 年.

定理. (Eisenstein判别准则) 设 $f(x)=a_0+a_1 x+\cdots+a_n x^n\in\mathbb{Z}[x]$. 如果存在素数 $p$, 使得 $p|a_i$, $i=0,1,2,\ldots,n-1$, 且 $p\not| a_n$, $p^2\not| a_0$, 则 $f(x)$ 在 $\mathbb{Z}$ 上不可约.

见 [1] P.33

[DevPlan] 利用 Eisenstein 判别准则判断整系数多项式的不可约性.

References:

[1] 李炯生、查建国  编著 《线性代数》

实数域内分解 $1+x^4$.