00.3.体の様々な定義
体の同型写像
$E,E'$:Field$f:E \longrightarrow E' \quad$ (Bijection)
$\forall x,y \in E$
$f(xy) = f(x)f(y)$
$f(x + y) = f(x) + f(y)$
then $f$ is called (Field) Isomorphism(同型写像).
if $E = E'$ then $f$ is called Automorphism($\text{Aut}(E)$:自己同型写像).
体の拡大
$E,F$:体$E \supset F$
$\forall x,y \in F$
$x (+_E) y = x (+_F) y$
$x (*_E) y = x (*_F) y$
then
$F$ is a partial field of $E$(部分体)
$E$ is a extension field of $F$(拡大体)
$E,F,E',F'$:Field
$E \supset F$
$E' \supset F'$
$\sigma_0:F \longrightarrow F'\quad$ (同型写像)
$\sigma:E \longrightarrow E'\quad$ (同型写像)
$\forall x \in F,\sigma_0(x) = \sigma(x)$ のとき
$\sigma$ is extension of $\sigma_0$
$\sigma_0$ is restriction of $\sigma$
と呼ぶ.
when $F = F',\sigma_0(x)=x \stackrel{\text{def}}{\Leftrightarrow} \sigma$:Isomorphism over $F$($F$上の同型写像)
when $F = F', E = E' \stackrel{\text{def}}{\Leftrightarrow} \sigma$:Automorphism over $F$($F$上の自己同型写像)
$E$ and $E'$ is isomorphic over $F$($F$上同型)
と呼び.
$E \stackrel{\sigma}{\simeq} E'$ と書く.
拡大次数
$E/F$then $E$ is a vector space over $F$.
$E = \{\sum_{i=1}^n f_i e_i | e_i \in E, f_i \in F\}$
$E$ is a vector space over F.
$n$ is called 拡大次数.($n = \dim E = [E:F]$)
if $n \lt \infty$ then 有限次拡大
if $n = \infty$ then 無限次拡大
Example
$\mathbb{C}/\mathbb{R}$$\mathbb{C} = \{a + bi|a, b \in \mathbb{R}\}$
$[\mathbb{C}:\mathbb{R}] = 2$
有限次拡大
$E/F$:Field Extension$[E:F] \lt \infty$ then
$E$ is called Finite Extension
$[E:F] = \infty$ then
$E$ is called Infinite Extension over $F$
単拡大(Simple Extension)
$E/F$:Field Extension$\exists \theta \in E, E = F(\theta)$
then
$E$ is called Simple Extension over $F$
モニック(monic)な多項式
最高次数係数が"1"の多項式.代数的な元
$F$:Field$J_\alpha = \{f(x) \in F[x]|f(\alpha) = 0\}$
If
$J_\alpha \neq \{0\}$
Then $\alpha$ は $F$ 上、代数的(algebraic over $F$).
Else if
$J_\alpha = \{0\}$
Then $\alpha$ は $F$ 上、超越的(transcendental over $F$).
すなわち $\alpha$ が $F$ 上、代数的とは、 $F$ 係数多項式で $\alpha$ を解に持つものが存在するということ.
最小多項式(minimal polynomial)
$F$:Field$\alpha$:Algebraic over $F$.
$J_\alpha = \{f(x) \in F[x]|f(\alpha) = 0\}$
then
$\exists p(x) \in F[x]$ such that $J_\alpha = (p(x))$ ($\because F[x]$ is PID)
$p(x)$ の最高次数係数を $a \in F$ とすると
$a^{-1}p(x)$ is called a minimal polynomial of $\alpha$ over $F$.
($\alpha$ の $F$ 上最小多項式).
体の元の次数
$F$:Field$\alpha$: $F$ 上代数的
$p(x)$: $\alpha$ の $F$ 上、最小多項式.
then
$\text{deg} p(x)$ is called degree of $\alpha$ over $F$.
($\alpha$ の $F$ 上の次数.)
代数的拡大
$E/F$:Field$\forall \alpha \in E,\alpha:$ is algebraic over $F$
then
$E$ is a algebraic extension of $F$
代数的閉体(Algebraically Closed Field)
$F$:Field$\forall f(x) \in F[x], f(\alpha) = 0 \Rightarrow \alpha \in F$
($\Leftrightarrow \forall f(x) \in F[x], \exists a, \alpha_1, \cdots , \alpha_n \in F, \text{ s.t. } f(x) = a(x - \alpha_1)\cdots(x - \alpha_n)$)
Then
$E$ is a Algebraically Closed Field.
代数的閉包(Algebraic Closure)
$E/F$:Algebraic Extension$E$:Algebraic Closed Field
Then
$E$ is a Algebraic Closure over $F$
分解体(Splitting Field)・最小分解体(Minimal Splitteing Field)
$E/F$:Field$f(x) \in F[x], \text{deg} f(x) = n \gt 0$
$f(\alpha) = 0 \Rightarrow \alpha \in E$
then $E$ is called a Splitting Field of $f(x)$ over $F$.
$E = F(\alpha_1, \cdots , \alpha_n)$
then $E$ is called a Minimal Splitting Field of $f(x)$.
$E = \bar F$
重根(Multiple Root)
$F$:Field$f(x) \in \bar F[x]$
$\alpha \in \bar F,f(\alpha) = 0$
if $(x - \alpha)^2 | f(x)$
then
$\alpha$ is a 重根 of $f(x)$
導多項式
$F$:Field$f(x) \in F[x]$
$f(x) = a_n x^n + \cdots + a_1 x + a_0$
Then $f'(x) = n a_n x^{n-1} + \cdots + a_1$ is called a derivative of $f(x)$
分離多項式(Separable Polynomial)
$F$:Field$f(x) \in F[x]$
if $\alpha \in \bar F,f(\alpha) = 0 \Rightarrow (x - \alpha)^2 \nmid f(x)$
then $f(x)$ is a Separable Polynomial.(=分離多項式)
if $\alpha \in \bar F,f(\alpha) = 0 \Rightarrow (x - \alpha)^2 \mid f(x)$
then $f(x)$ is a Inseparable Polynomial.(=非分離多項式)
分離的元(Separable)
$E,F$:Field.$E/F$:Algebraic Extension.
$\alpha \in E$:Algebraic over $F$.
$f(x) \in F[x]$:Minimal Polynomial of $\alpha$.
if $f(x)$:Separable Polynomial, then
$\alpha$ is Separable over $F$.
分離的拡大(Separable Extension)
$E,F$:Field.$E/F$:Algebraic Extension.
if $\forall \alpha \in E$ is Separable over $F$, then
$E$ is a Separable Extension of $F$.
標数(Characteristic)
$F$:Field$1_F \in F$:identity element of $F$
if $\exists n \in \mathbb{Z}, n \cdot 1_F = 0$ then
the smallest number of $n$ is called characteristic of $F$
if $\nexists n \in \mathbb{Z}, n \cdot 1_F = 0$ then
characteristic of $F$ is defined by 0
完全体(Perfect)
$F$:Fieldthen
$F$:完全体
is defined by
$\forall f(x) \in F[x]$:Irreducible $\Rightarrow f(x)$:Separable
$\Leftrightarrow$
$\forall E/F$:Algebraic Extension $\Rightarrow E/F$:Separable Extension
共役
$E/F$:Field$\alpha,\beta \in E$
if $\exists \sigma \in \text{Aut}(E/F) \text{ s.t. } \sigma(\alpha) = \beta$
then $\beta$ is defined as a conjugate of $\alpha$
正規拡大(Normal Extension)
$E,F$:Field$E/F$:Algebraic Extension
$\forall \alpha_1 \in E,\exists f(x) \in F[x] \text{ s.t. }f(x)$:Irreducible
$\text{dim}f(x) = n$
then
$\exists \alpha_2, \cdots , \alpha_n \in E,f(x) = a(x - \alpha_1)(x - \alpha_2) \cdots (x - \alpha_n)$
$\forall \alpha \in E \Rightarrow \forall \alpha'(:\text{ Conjugate of } \alpha) \in E$
$E/F$ is called Normal Extension
.
ガロア拡大(Galois Extension)
$E,F$:Field$E/F$:Separable Normal Extension
then
$E/F$ is called Galois Extension
ガロア群(Galois Group)
$E/F$:Galois Extensionthen
$\text{Aut}_F(E)$ is defined as a Galois Group
written by $\text{Gal}(E/F)$
巡回拡大(Cyclic Extension)
$E,F$:Field$E/F$:Galois Extension
$\text{Gal}(E/F)$:Cyclic Group
then
$E/F$ is defined as a Cyclic Extension
固定体(Fixed Field)
$F$:Field$G \subset Auto(F)$
then, define
$F^G = \{x \in F| \forall g \in G, g(x) = x\}$
$F^G$ is called Fixed Field(固定体).
アーベル拡大(Abelian Extension)
$E,F$:Field$E/F$:Galois Extension
$\text{Gal}(E/F)$:Abelian Group
then
$E/F$ is defined as a Abelian Extension
可解拡大(Solvable Extension)
$E/F$:Galois Extensionthen
$E/F$ is defined as a Solvable Extension, if $Gal(E/F)$ is a Solvable Group.
冪根拡大(Radical Extension)
$F$:Field$f(x) \in F[x]$
$L_f$:Minimal Splitting Field of $f(x)$
$F_0 = F, F_1 = F_0(\sqrt[n_1]{\alpha_1}), \cdots, F_i = F_{i-1}(\sqrt[n_i]{\alpha_i}) \quad(\alpha_i \in F_{i-1})$
$\exists n \in \mathbb{Z}, L_f \subset F_n$
Then
$L_f/F$ is defined as a Radical Extension
可解な多項式
$F$:Field$f(x) \in F[x]$
$L_f$:Minimal Splitting Field of $f(x)$
$L_f/F$:Radical Extension
then
$f(x)$ is defined as "Radically Solvable".
冪乗根
$f(x) = x^n - 1$(i) if $f(\alpha) = 0$ then $\alpha$:n-th root of unity(n乗根).
(ii) if $f(\alpha) = 0$ and $1 \le \forall d \lt n, \alpha^d - 1 \neq 0$ then $\alpha$:primitive n-th root of unity(原始n乗根).