18/08/19 22:56:05.52 71nwnngo.net
>>431
>log|p_1|, …, log|p_n|, 1 は実数の代数的数全体の体上一次独立。
そんなことは無条件には言えないよ。一次独立の定義から読み直してみろ。
「log|p_1|, …, log|p_n|, 1が一次独立」ならばまず、それより弱い
「log|p_1|,log|p_2|が一次独立」が成立するはずだが、p_1,p_2について
条件なしでそんなことは言えないことは分かるだろ。
18/08/19 22:56:05.52 71nwnngo.net
>>431
>log|p_1|, …, log|p_n|, 1 は実数の代数的数全体の体上一次独立。
そんなことは無条件には言えないよ。一次独立の定義から読み直してみろ。
「log|p_1|, …, log|p_n|, 1が一次独立」ならばまず、それより弱い
「log|p_1|,log|p_2|が一次独立」が成立するはずだが、p_1,p_2について
条件なしでそんなことは言えないことは分かるだろ。