- 502 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/04/15(土) 09:51:01.55 ID:4+NnYKN2.net]
- >>431 まとめ
ということは、>>420-421で示したように
おっちゃんの命題>>357
a_1,a_2 ,…, a_n を任意の相異なる2個以上のn個の素数とする。
このとき、任意の代数的無理数 b_1, b_2,…, b_n に対して、
(a_1)^{b_1}・…・(a_n)^{b_n} は超越数である。
は、>>368 ベイカーの定理1 の 系3 α1,・・・,αnを 0 でも 1 でもない代数的数とする。また、 β1,・・・,βnを、 1, β1,・・・,βnが、有理数上線形独立な代数的数としたとき、α1^β1・・・,αn^βn は、超越数である。
https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%AB%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86
と、一部重なるね。系3で
「1, β1,・・・,βnが、有理数上線形独立な代数的数」という条件を落としたらどうなるか？
（おっちゃんは「代数的無理数」と書いたから、「有理数上線形独立な代数的数」とほぼ重なるかな？）
（私は、そもそも系３の「1, β1,・・・,βnが、有理数上線形独立な代数的数」という条件とベイカーの定理1との関係があまり理解できてないレベルだが・・）
あとは、おっちゃんのレス待ちやね
目が覚めたら頼むよ（＾＾
|
 |
