例題形式で探求する代数学のエッセンス
SGCライブラリ - 136
例題形式で探求する代数学のエッセンス
方程式から拡がる世界
小林正典 著
2017年9月25日 初版発行
方程式の複素数解
除法の原理
を 係数多項式とし、 のとき、
となる 係数多項式 と より低次の 係数多項式 が一意的に存在する。
となるとき、 は を割り切るといい、 と表す。
は の倍元、 は の約元であるという。
剰余定理
多項式 を で割った余りは に等しい。
因数定理
分母の有理化
を体とし、文字 に関する 係数多項式の全体を で表す。
を体 上代数的な数とする: で となるものが存在する。
のうち、次数が最小のものを 1 つとり とする。
は の 上の最小多項式と呼ばれる。
因数定理:拡張版
を 上代数的な数、 を の 上の最小多項式とする。
このとき、 に対し次が成り立つ。
定数でない多項式 は、定数でない を用いて の形に書けないとき、 上既約であるという。
を体 上代数的な数とし、 はモニックで を満たすとすると、次が成り立つ。
が の 上の最小多項式 が 上既約
係数多項式の比 で表せる数( 係数有理式)の全体を で表す。
は体である。
次は同値である。
- が 上代数的である。
- は体である。(つまり )
よって、代数的数の有理式は、分母が有理数(整数)にできることが保証される。
2 つの剰余定理
余りを点での値に置き換える剰余定理:
一般化された剰余定理
を実数、 を正整数とする。
実数係数多項式 を で割った余りは で与えられる。
余りを各点(素数)での値(余り)に分解する剰余定理:
中国式剰余定理
を単位的可換環 の互いに素なイデアルとするとき、次の同型が存在する。
体 上の多項式環 において、 のとき と は互いに素である。
は相異なるとし、 を正の整数とする。
に対し次の同型がある。
次数が より小さい多項式は、中国式剰余定理により因子 たちで割った余りの組と一対一対応する。
後者は、一般化された剰余定理によって における 次までの微分係数で決まる。
したがって、 個分の剰余の条件を与えたとき、高々 次で条件を満たす多項式が唯一つ存在する。
因数分解
可換環 は、0 と異なる乗法の単位元 1 をもち、0 以外に零因子をもたないとき整域という。
- 単元 : となる が存在する。
- 既約元 : ならば あるいは が単元となる。
- 素元 : ならば または となる。
は次の条件 A を満たすと仮定する。
条件 A
任意の主イデアルの昇鎖 に対し、ある自然数 が存在して、 ならば となる。
条件 A を満たしているならば、いつかはすべての因子を分解しきることができる。
既約分解
を条件 A を満たす整域とする。
の 0 でも単元でもない任意の元 は、( は既約元)と表せる。
既約分解の一意性は次のように述べられる。
を条件 A を満たす整域とすると、次は同値である。
- の任意の既約元は素元である。
- 任意の に対し、最大公約元が存在する。
- 0 でも単元でもない の既約分解 において、既約元 は単元倍と並べる順序を除き一意的に から定まる。
0 でも単元でもない任意の元に対し既約分解が存在して単元倍と並べる順序を除いて一意的である整域を、素元分解整域・一意分解整域(UFD)という。
素因数分解の存在と一意性
0 でない任意の整数 に対し となる非負整数 、素数 が存在する。
は順序を除いて から一意的に定まる。
共役元とノルム
を体 上代数的な数とする。
の 上の最小多項式 の任意の根 に対し、 は の 上の最小多項式でもある。
同じ最小多項式をもつ元は 上共役であるという。
の 上の共役元すべての積 を の 上のノルムと呼ぶ。
解と係数の関係
解と係数の関係
体 上のモニックな 次方程式
の解を重複度を込めて とするとき、次が成り立つ。
左辺の和は から相異なる 個を選ぶ方法すべてに関する和であり、 個の項からなる。
判別式
体 に係数をもつ 次式 は、適当な有限拡大体において と因数分解できる。
を の根という。
のとき、根のうち等しいものがある条件(重根条件)は、 の何れかが成り立つことであるから、 の差積 が 0 となることと同値である。
に対し は根の対称式であり、根の並べ方によらない。
を の判別式と呼ぶ。
多項式 、 に対し、 を終結式という。
終結式に対して、次が成り立つ。
- と が共通根をもつ
- が重根をもつ