[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
757(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/15(日)10:48 ID:fdSQKtbP(2/21) AAS
>>756
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
体の拡大
代数性・超越性
K/k を体の拡大とするとき、K の元 α が k 上代数的（だいすうてき、algebraic over k）であるとは、k 係数多項式 f(X) で α が f(X) の根となるようなものが存在するときにいう[6]。k 上代数的な K の元 α を根に持つ k 係数多項式でモニックかつ次数最小のものを α の k 上の最小多項式（さいしょうたこうしき、minimal polynomial）とよび[7]、Irr(α, k, X) のように記す。拡大 K/k で K の各元がすべてk 上代数的であるとき、拡大 K/k は代数的であるといい[8]、K を k の代数拡大体という。拡大 T/k がk 上代数的でないとき、拡大 T/k は超越的（ちょうえつてき、transcendencial）であるという[8]。T の元 t はk 上代数的でないとき k 上の超越元という。t がk 上超越的であることは、「k 上の多項式 f(X) が f(t) = 0 となるならば f = 0 である」ことと同値であり「k に t を添加した体 k(t) は一変数代数関数体 k(X) に同型である」こととも同値である。拡大 T/k が超越的であることは、k 上超越的な T の元 t が少なくともひとつ存在する事と同値である。
省2
855(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/17(火)18:28 ID:3oKQI8/3(3/5) AAS
>>854
つづき
（参考）
>>756-757より再録
外部ﾘﾝｸ:ja.wikipedia.org
体の拡大
多元環は積を持つベクトル空間であるから、拡大 K/k において上の体 K を下の体 k 上のベクトル空間と見なすことができる。k ベクトル空間としての K の次元のことを拡大 K/k の次数（じすう、degree of field extension）といい、[K : k] などで表す[3]。特に、体 K が有限次元 k ベクトル空間なら、拡大 K/k は有限次拡大であるといい、そうでないとき無限次元拡大という
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s