- 424 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/04/11(火) 17:16:01.23 ID:lkRTR/rP.net]
- >>368 補足
>>357の”素数”は、ベイカーの系３の”0 でも 1 でもない代数的数”だな。だから前段は系３の範囲内
で
>>357の”任意の代数的無理数 b_1, b_2,…, b_n ” vs ベイカーの系３の”1, β1,・・・,βnが、有理数上線形独立な代数的数”
の比較だが・・
{任意の代数的無理数 b_1, b_2,…, b_n} ⊃ {1, β1,・・・,βn が、有理数上線形独立な代数的数}
かな？
”1, βiが、有理数上線形独立な代数的数”(1<=i<=n)なら、βiは代数的無理数が言えると思うから、”β1,・・・,βn”は代数的無理数が言える。だから、任意の代数的無理数で”上線形独立”の制約を外せるから
だが、そんな拡張が簡単にできるのか？という疑念も湧いてくる（”素数”という制約が効いている？）
はてさて？
