Questions in category: 域和伽罗瓦理论 (Galois theory)
代数 >> 域和伽罗瓦理论
<[1] [2] >

1. 研究集合的置换群的意义

Posted by haifeng on 2020-05-30 07:50:11 last update 2020-05-30 07:52:07 | Answers (0) | 收藏


设 $K=F(a)$ 是关于域 $F$ 的一个 Galois 扩张. 令 $f=\min(F,a)$, 则 Galois 群 $\mathrm{Gal}(K/F)$ 可以视为 $f$ 的所有根组成的置换群(permutation group)的一个子群.

判别式(discriminant)将确定这个子群何时只由偶置换组成.

 

2. 多项式求根公式的问题

Posted by haifeng on 2020-05-30 07:41:42 last update 2020-05-30 07:41:42 | Answers (0) | 收藏


到十六世纪中叶, 数学家们已经发现了二次、三次以及四次多项式的求根公式.

三次和四次多项式求根公式的成功发现让人们相信任意次数的多项式也有类似的求根公式. 但是, 十九世纪初 Abel 证明了无法找到一个关于任意五次多项式的代数求根公式. Galois 利用他的新理论解释了为何一些多项式有求根公式而另一些则没有.

 

3. $\pi$ 和 $e$ 在有理数域 $\mathbb{Q}$ 上都是超越的.

Posted by haifeng on 2020-05-30 07:32:45 last update 2020-05-30 07:33:16 | Answers (0) | 收藏


$\pi$ 和 $e$ 在有理数域 $\mathbb{Q}$ 上都是超越的.

4. 单用尺规无法三等分任意角

Posted by haifeng on 2020-05-30 07:30:33 last update 2020-05-30 07:30:33 | Answers (0) | 收藏


单用尺规无法三等分任意角.

这个问题的解决需要用到域扩张的理论.

5. Galois 理论的参考书

Posted by haifeng on 2020-05-30 07:19:53 last update 2020-05-30 07:19:53 | Answers (0) | 收藏


本类别所记笔记等如未特别注明, 都参考自以下关于“域和Galois理论”的参考书:

GTM 167, 《域和伽罗瓦理论》

Patrick Morandi, Field and Galois Theory.

6. Galois 理论的主要思想

Posted by haifeng on 2020-05-30 07:17:05 last update 2020-05-30 07:17:05 | Answers (0) | 收藏


Galois 理论的主要思想是对一个域扩张(field extension)赋予一个 Galois 群. 从而可将域理论中的问题转换为群理论的问题.

有限维扩张的 Galois 群是有限的. 

7. 有限域 $GF(2^8)$ 的四则运算及拉格朗日插值

Posted by haifeng on 2019-04-11 22:20:25 last update 2020-05-30 07:13:24 | Answers (0) | 收藏


关于有限域 $GF(2^8)$ 的四则运算及拉格朗日插值, 下面的链接解释得很清楚

https://www.cnblogs.com/codingtao/p/5916786.html

8. 三次方程的 Cardan 公式

Posted by haifeng on 2016-01-05 22:23:15 last update 2016-01-05 22:25:21 | Answers (0) | 收藏


\[
x^3+ax^2+bx+c=0,
\]

令 $x=y-\frac{a}{3}$, 代入得,

\[(y-\frac{a}{3})^3+a(y-\frac{a}{3})^2+b(y-\frac{a}{3})+c=0.\]

化简,

\[
\begin{split}
\Rightarrow & (y^3-3y^2\cdot\frac{a}{3}+3y(\frac{a}{3})^2-(\frac{a}{3})^3)+a(y^2-2\cdot\frac{a}{3}\cdot y+(\frac{a}{3})^2)+b(y-\frac{a}{3})+c=0.\\
\Rightarrow & y^3 +(b-\frac{a^2}{3})y+(c-\frac{ab}{3}+\frac{2a^3}{27})=0.
\end{split}
\]

也就是化为

\[
y^3+py=q
\]

的形式, 其中 $p=b-\frac{a^2}{3}$, $q=+\frac{ab}{3}-\frac{2a^3}{27}-c$.

 

9. 有限域的例子

Posted by haifeng on 2015-12-15 21:54:01 last update 2015-12-15 21:55:54 | Answers (0) | 收藏


最简单的有限域是 $\mathbb{F}_4$, 它有四个元素 $\{0,1,A,B\}$. 其中 $0$ 是加法单位元, $1$ 是乘法单位元.

所谓加法单位元就是 $0$ 加上任何其他数都等于该数. 乘法单位元 $1$ 是指乘以任何数都等于该数. 所以分别使用我们通常理解的 $0$ 和 $1$ 记之.

$0,1,A,B$ 之间的关系如下图. 

$\cdot$ 0 1 A B
0 0 0 0 0
1 0 1 A B
A 0 A B 1
B 0 B 1 A

 

$+$ 0 1 A B
0 0 1 A B
1 1 0 B A
A A B 0 1
B B A 1 0

10. 证明 $\mathbb{F}_2\otimes_{\mathbb{Z}}\mathbb{F}_5=\{\bar{0}\}$

Posted by haifeng on 2015-06-30 15:31:30 last update 2015-06-30 19:49:41 | Answers (1) | 收藏


证明 $\mathbb{F}_2\otimes_{\mathbb{Z}}\mathbb{F}_5=\{\bar{0}\}$

这里 $\mathbb{F}_2$ 和 $\mathbb{F}_5$ 指有限域.


一般的, 只要 $(p,q)=1$, 都有 $\mathbb{F}_p\otimes_{\mathbb{Z}}\mathbb{F}_q=\{\bar{0}\}$.

 


Remark: 问题来自于焦荣政

 

<[1] [2] >