まず記号の説明ですが、
SLn(K)はdet=1となるようなn×n行列全体
Zを整数全体
Z/NZをZをNZで割った剰余類とします
問題
Nを自然数とする
SL2(Z)からSL2(Z/NZ)への写像を
____a__b____________a+NZ__b+NZ
(_________)_→_(_________________) と定めたとき
____c__d____________c+NZ__d+NZ
この写像が全射になることを示せ。
というものです。
ユークリッドの互除法を使うようですがなかなか解けません。
ヒントになるようなことでも結構ですから
アドバイスをお願いします。
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
No.2を書いたときは、cとdを互いに素にできることは
一般的にもまあ楽に示せるんだろうなあ、とか
無責任にも思っていたのですが、
いざ証明しようとなるとなかなかできないでいます。
cとdを互いに素にできない、と仮定すると
任意の整数u,vについて
(c+uN,d+vN)>1
となるわけですが
このままでは考えづらいのでu=0として
「任意の整数vについて(c,d+vN)>1 」
と仮定して何か矛盾を出す、という方針で考えました。
(c,d,N)=1 であることを使ってすぐにできるんだろうな
と思っていたのですが・・・
((c,d,N)=1であることはNo.1の(*)から分かります。)
・・・困り度3なのに、申しわけないです。
この回答への補足
やっぱり難しいですよねっこれ!
syusyouさんが言うようにこの問題は次の問題と同値になりました。
「(c+uN,d+vN)=1を満たすような u,v∈Zが存在することを示せ」
さらにこの時満たしている条件は(c,d,N)=1.
背理法でも考えてみましたが、やっぱり上手くいきませんでした・・
困り度が上昇傾向になってきました(笑)
とりあえず考えてる方向性に間違いが無いと思うことができたのが収穫かも・・
No.2
- 回答日時:
なるほど、鋭い!
またポカをやってしまったかと一瞬ひやっとしました。
しかしご安心を。修正できそうです。
私の回答の「dとcは互いに素です」を
「dとcは互いに素にすることができる」
に変えさせてください。
どういうことかというと、hismixさんの例でいうと
a=5,b=2,c=6,d=4,N=7
のdを11に変えてしまえばいいのです。
そうすれば、(c,d)=1になってくれます。
どうしてこんなことをしていいのかというと
mod 7で考えているのですから
SL2(Z/7Z)∋((5),(2),(6),(4))=((5),(2),(6),(11))
だからです。
分かりましたでしょうか。
なお、この例の場合
(5,9,6,11)→((5),(2),(6),(11))
となります。
この回答への補足
syusyouさんまたご回答してくれてありがとうございます。
今度は「dとcは互いに素にすることができる」ということですが
今の例では確かにdをずらせば、互いに素になることがわかりました。
けどこれを一般的に証明しなくてはいけないと思うのですが・・(困)
No.1
- 回答日時:
まず、(a)でZ/NZの代表元を表す、すなわち(a)=a+NZとします。
また、2×2行列を
((1,1)成分,(1,2)成分,(2,1)成分,(2,2)成分)
で表すことにします。例えば単位行列は(1,0,0,1)です。
((a),(b),(c),(d))∈SL2(Z/NZ) をとると
ad-bc=kN+1 (kは整数) ・・・・・・(*)
となっているわけですが、示すべきことは
「a,b,c,dを同じ剰余類の中でうまく取り直すと
(すなわち、たとえばaをa+3Nに変えるとか)
(そして取り直したものをa',b',c',d'と書くことにすると)
a'd'-b'c'=1
にすることができる」ということですね。
さてdとcは互いに素です。
(そうでないと(*)に矛盾します)
Ad-Bc=1 を満たすA∈(a),B∈(b) が存在する
ということを示せば十分ですね。
ところで
dx-cy=1 を満たす整数x,yはdとcが互いに素なので無数に存在しますが
xはc個おきに、yはd個おきに現れることは分かるでしょうか。
このことが分かれば、あとはcとdとNが互いに素であることから
Ad-Bc=1 を満たすA∈(a),B∈(b) が存在する
ことが言えます。
分かりにくい説明ですみません。質問があれば遠慮なくどうぞ。
この回答への補足
回答ありがとうございます!!本当にうれしいです。
1つ間違いがあったので恐縮ながら質問させていただきます
回答の上から8行目からの「」内は名言。まさにその通りです!
間違いは回答の13行目
「dとcは互いに素」というところにあります。
これは一般には言えないと思います。
例えば、a=5,b=2,c=6,d=4,k=1,N=7のとき(c,d)=2となって
互いに素にはなりません。
だから問題は(c,d)=m>1、つまりcとdの最小公倍数がmのときだと思います。
syusyouさん!また回答をまってます!!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 群準同型の個数 2 2023/08/21 22:13
- 数学 「f(z)=1/(z^2-1)に関して ローラン展開を使う場合、マクローリン展開を使う場合、テイラー 3 2022/08/27 19:56
- スピーカー・コンポ・ステレオ 真空管パワーアンプ このダイオードはどういうものでしょうか? 5 2022/05/10 11:12
- デジタルカメラ カメラ Nikon FレンズにZマウントボディ 5 2023/01/10 01:43
- Visual Basic(VBA) ACCESS DAO で不要なテーブルのフィールド(列)の削除 4 2022/06/23 12:13
- 数学 多様体の質問です。 S^1={(a_1,a_2)|a_1^2+a_2^2=1}と T^1=R/Z(R 1 2023/05/18 21:14
- その他(教育・科学・学問) NからZへの全単射を具体的に構成せよ。 N:自然数、Z:整数 を教えてください。 中々案が思いつかず 2 2023/07/11 10:59
- C言語・C++・C# LU分解法のピボット選択機能実装について(C言語・gcc-9) 1 2022/07/22 15:20
- 数学 数学の解法について こんばんは。最近数学の問題を解いています。証明問題を解いたのですが、解答とアプロ 4 2022/09/11 23:22
- オセアニア オーストラリアとNZの白人系には 日本はどう見えてるんですかね? 3 2022/06/19 11:02
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報