ここに戻る

>>518
ID:lt99Vx/mさん、どうも。スレ主です。

>c0≠c1 かつ 1<|c0|=|c1| となる複素数もあるので、１〜３の論証に問題あり
> ４.で定義された写像が単射であるということ自体は正しいから
>ちょっと修正すればいける

鋭いね。当たっている。
で、>>508に９．を追加する
９．c0≠c1 かつ 1<|c0|=|c1| となる場合にも、c0 ∉ G1 が言えるので、「複素数C→部分群Bの単射が定義できる」はなお有効である。
　（∵ G1の定義*)から、群G1の要素でc1^r(rは任意の有理数)として、r=1の場合はc0≠c1^rであり、r≠1場合は|c0|≠|c1^r|であるからc0 ∉ G1 が言える。）

*)G1の定義は、>>508の括弧および>>501だが、>>501後述のように修正する