20/08/16 06:45:48.04 0IMtsn2Y.net
>>311 トリビア蛇足の追加
>花木章秀 信州大 問題 22
>すぐに分かるように gzf = idS が成り立ち、よって gz は f の左逆元、f は gz の右逆元である。
>これによって左 (右) 逆元は、存在しても一意的ではないことも分かる。
"gz(a)
=a - 1 (a >= 2)
or
=z (a = 1)
で定める"
で、”=z (a = 1)”で、変数zを導入しています
つまり、zは、自然数であれば、なんでも良いわけです
なので、これが「一意的ではないことも分かる」に、つながります
そして、gz(a)は、群の元には成れない
f(a)も、群の元には成れない
この例は、秀逸ですね
覚えておくと良いと思います
ちょっと自慢できそう