- 締切済み
代数学の問題なのですが
代数のレポートなのですが、苦手なのでよくわかりません。 一問だけでもいいのでどなたか教えてください。 m、n;互いに素な自然数 f;z/mnz → z/mz×z/nzをf(a+mnz)=(a+mz,a+nz)と定義する。 (1)fはwell-definedであることを示せ。 (2)fは全単射であることを示せ。 (3)fは(z/mnz)* を(z/mz)* × (z/nz)*の上にうつすことを示せ。 (4)(3)を使ってψ(mn)=ψ(m)ψ(n)を示せ。 お願いします。
- みんなの回答 (2)
- 専門家の回答
関連するQ&A
- 写像がwell-definedであることを示す問題がわかりません。
写像がwell-definedであることを示す問題がわかりません。 mを正の偶数とし、写像f:Z/mZ→Z/2mZを次のように定義する。 f([a])=[a^2] ただし、[a]∈Z/mZ,[a^2]∈Z/2mZである。 この写像fはwell-definedであることを示せという問題なのですが どうやって示せば良いかわかりません。 どなたか教えていただけると助かります。
- 締切済み
- 数学・算数
- どうやって証明したらいいですか。
代数の問題で、 m,nが互いに素でその時 写像f:Z/mnZ→Z/mZ×Z/nZ(Zは有理整数環)を a+mnZ→(a+mZ,a+nZ)と定義したとき fが全射であることの証明と、 Kerf=mnZの証明の仕方が分かりません。 どちらか片方だけでもいいので、 どのように導いたらいいのか教えてください!
- ベストアンサー
- 数学・算数
- 代数
自然数m、任意の整数aに対して、[a]=a+nZ:={a+mn|nは整数}とする。また集合Z/mZ:={[x]|xは整数}と定義する。 (1)整数a,a'に対して、[a]=[a']⇔ a≡a'(mod m)を証明せよ。 <←は、[a]≠[a']として、背理法で解けばよいのでしょうか?> (2)Z/mZの元[a][b]に対して、[a]+[b]を[a+b]とおき、これが演算であることを証明せよ。 <[a]∋a+mn,[b]∋b+mn'として解いていっても大丈夫ですか?> (3)[a]+[b]:=[a+b]で、Z/mZで可換群になることを証明せよ。 <群であることをまず証明し、その後、[a]+[b]=[b]+[a]を示せばよいのですか?あと、(2)の解法のようにすることは可能ですか?> 長々となりましたが、<>の部分を教えてください。
- 締切済み
- 数学・算数
- 代数の問題です。
大学の代数でこのような問題がでて きて、わからないので教えてくださ い 。よろしくお願いします。加法群G=Zの部分群H=nZ(n≧1は 自然数)に関する剰余類aHをa+nZと加 法的に表す。 また、a,b∈Zに対し、a-bがnの倍数 のときa≡b(mod n)と表し、aとbはn を法として合同であるという。 これは、a+nZ=b+nZと同値である。 剰余類の集合G/H=Z/nZをZnと表す。 Cn:位数nの巡回群={e,a,a^2,…a^n-1}a ^n=eとする (1)a≡a′(mod n),b≡b′(mod n)な らば、a+b≡a′+b′(mod n)を示せ 。 これより剰余類の集合Znに(a+Z)+(b+Z )=a+b+Zによって 積(この場合は和)が定義されることを 示し、 Znに群の構造が入ることを示せ。(Zn をnによる剰余類群という。) (2)剰余類群Znは巡回群Cnと同型であ ることを示せ
- ベストアンサー
- 数学・算数
- 大学の代数学の、群についての問題です。
大学の代数学の、群についての問題です。 非負整数nを固定する。 nの各約数kに対し、 kZ/nZ?{0,k,2k,3k,・・・,(m-1)k} (ただし、m=n/k)とするとき、 Z/nZの部分群はこれらに限る。 という問題がわかりません。 ・各kに対し、kZ/nZがZ/nZの部分群になること。 ・一意性 を示さなくちゃいけないことはわかるのですが、 代数が苦手なもので、証明方法がピンときません。 どなたかわかる方、よろしくお願いします。
- ベストアンサー
- 数学・算数
- 巡回群が加法群Zと同型であることを示す、代数学の問題です。
Gを巡回群とすると、任意のGの元はa^n(n∈Z)(aは生成元)となり、 f:Z→Gをf(n)=a^nで定める。 このあと全単射を示すところで単射を示す際、 a^n=a^m から、 n=m とできますか? また、ここまでのやり方はあってますか? 回答お願いします。
- 締切済み
- 数学・算数
- 代数の問題です。
加法群G=Zの部分群H=nZ(n≧1は 自然数)に関する剰余類aHをa+nZと加 法的に表す。 また、a,b∈Zに対し、a-bがnの倍数 のときa≡b(mod n)と表し、aとbはn を法として合同であるという。 これは、a+nZ=b+nZと同値である。 剰余類の集合G/H=Z/nZをZnと表す。 Cn:位数nの巡回群={e,a,a^2,…a^n-1}a ^n=eとする (1)a≡a′(mod n),b≡b′(mod n)な らば、a+b≡a′+b′(mod n)を示せ 。 これより剰余類の集合Znに(a+Z)+(b+Z )=a+b+Zによって 積(この場合は和)が定義されることを 示し、 Znに群の構造が入ることを示せ。(Zn をnによる剰余類群という。) (2)剰余類群Znは巡回群Cnと同型であ ることを示せ
- 締切済み
- 数学・算数
- 数学の幾何学の問題がわからないです。
n∈Nに対し、Z上の同値関係~nを次のように定め、x∈Zの同値類を[x]n、商集合をZ/~nをZ/~nZで表す。 x~ny⇔(x-y)/n∈Z 次の写像の定義はwell definedかどうか調べよ。 (1) f: Z/4Z → Z/2Z ; [x]4 → [x]2 (2) g: Z/2Z × Z/3Z → Z/6Z ; ( [x]2 , [x]3 ) → [xy]6 どちらか片方だけでもおしえてくれませんか?? さっぱりわからないのです。
- 締切済み
- 数学・算数
お礼
ありがとうございます。 位相空間のほうは最近ようやくわかるようになってきました。 今度は代数学のほうを重点的に勉強していこうかと思います。 図書館で調べるなり、先生に聞くなりして勉強していきたいと思います。 代数学は必修なので、がんばります。