- 658 名前：１３２人目の素数さん mailto:sage [2018/08/26(日) 03:06:15.46 ID:deRkzPDx.net]
- おっちゃんです。
>>595
大きな語弊があって、誤解を招いた>>516の
>抽象化された代数の内容がそのままいつでも実数体や複素数体にも当てはまる
>とはいえないように、むやみな抽象化は失敗する。
の部分は
>抽象代数の内容だけでいつでも代数的数と超越数とを判定することが出来る
>とはいえないように、抽象代数は実数体や複素数体には無力なときがある。
という意味で書いた。このように訂正する。
eやπの超越性が積分や複素解析を用いて証明されたことからも納得いくだろう。
あとは人に聞かずに自分で ポントリャーギン 連続群論(上巻) でも読むこと。
代数的数と超越数との判定には、抽象代数の無力さは分かると思う。
