代数学総合スレッド
http://science.2ch.net/test/read.cgi/math/1011536232/
代数学総合スレッド Part2
http://science3.2ch.net/test/read.cgi/math/1045779496/
代数学総合スレッド part3
http://science6.2ch.net/test/read.cgi/math/1116279106/
代数学総合スレッド Part4
http://science6.2ch.net/test/read.cgi/math/1188000000/
代数学総合スレッド Part5
http://kamome.2ch.net/test/read.cgi/math/1233450000/
猫
のヒモだったら生活保護は無理でわ？
❷R
❸BHG
❹ラミ
❺センター
❻マセマ
❼バーチャ
❽ウイイレ
❷R
❸BHG
❹ラミ
❺センター
❻マセマ
❼バーチャ
❽ウイイレ
❸BHG❹ラミ
❺センター❻マセマ
❼バーチャ❽ウイイレ
g: Ｎ→Ｎ とする。
∀n g(g(g(g(n)))) = 2n,
を満たす g(n) を挙げよ。
整域 A、A の素イデアル P、A のイデアル I で P を
含むもの、があるとします。
A の二元 a、b に対して
ab が IP の元、a が I の元だけど IP の元でないならば、
b は P の元になりますか？
・集合論などの基本的知識や環の定義、イデアルの定義は既知としてよいが、
ほかの概念は出来るだけ詳しく説明せよ。
・剰余環がどのような集合にどのような演算を定めたものなのかを
はっきりと述べよ。
・剰余環の具体例をひとつ挙げ、計算例も説明せよ。
ご享受願えませんでしょうか。。。
a=X, b=2
教育法に関する質問はご遠慮願います。
この内容でレポートが出て、手がつけられませんで・・・。
剰余環とは何か、簡単に説明してもらえませんかm(__)m
同値関係と剰余類は分かってるのか？
それが分かれば終了。
> ・初学者に対して〜説明せよ。
という課題に挑もうという人が、教え方を論じるどころか
逆に誰かに内容を教えてもらわないといけないってのは、
だめだろ、いろいろと。
玉川の通信教育学部の悪夢再来か？
> 玉川の通信教育学部の悪夢再来か？
何それ？
ヒントありがとうございました！！
では、失礼します。
g:Ｚ→Ｚ とする。
∀n; g(g(g(g(n)))) = 2n,
を満たす g(n) を挙げよ。
>>19
反例ありがとうございます！！
>>19
考えていた問題が一箇所間違えていました。
済みません。
I と P の包含関係が逆でした。
以下の主張の反例が欲しいです。
A：可換環
I ⊂ P ⊂ A：イデアル, P は素イデアル
a,b ∈ A
「ab ∈ IP, a ∈ I」 だが 「a ∈ IP ではない」
⇒ b ∈ P
a=X, b=Y
素晴らしいです
どうもありがとうございます
標数 0 の体 K の二つの線形無関連な
有限次巡回拡大 L,M があるとします。
それぞれ定義多項式 f,g ∈ Z[X] が与えられて
いるとします。
何でも良いので合成体 LM の定義多項式を一つ
(f,g の係数を使って)一般に与えたいのですが可能
でしょうか？
deg(f)=2 のときは αβ (f,g の根)の最小多項式
を基本対称式を用いて(係数に出てくる対称式を基本
対称式で表して)出来たのですが、一般に書くのは難
しそうでした。但し、ベキの基本対称式
e_i(α_1^d,…,α_n^d)
は Newton identities があるので既知とします。
α_i は f の根たち、e_i は i 次基本対称式です。
面白そうだから考えてみたけど、それで本業のレポート間に合わなくなったｗ
g^0(n)=n
g(g^k(n))=g^(k+1)(n)
と書くことにする。
以下が証明出来ればいい。
gが、g^4(n)=2nを満たすためには、gが次の形に書けることが必要十分である。すなわち、
数列a_n(０≦ｎ)を奇数のみからなり、すべての（正の）奇数が重複なく、一回ずつ現れるものとすると、
g(0)=0
(任意の0以外の自然数は自然数ｒ,mと3以下の自然数iによって一意的にa_(4r+i)(2^m)とかけるので）
g((a_(4r+i))2^m)=a_(4r+i+1))2^m (i≠3の時)
=a_(4r)2^(m+1) (r=3の時)
証明：
十分性：
n=0のときはg^4(n)=2nは明らか。
よってg^4(a_(4r+i)2^m)(ｒは自然数,iは３以下の自然数)について言えばいいが、
a_nが奇数だけからなることより、
g^4(a_(4r+i)2^m)
=g^3(a_(4r+i+1)2^m)
...
=g^(i+1)(a_(4r+3)2^m)
=g^i((a_4r)2^(m+1))
=g^(i-1)((a_(4r+1))2^(m+1))
...
=g^0((a_(4r+i))2^(m+1))
=(a_(4r+i))2^(m+1)
=2(a_(4r+i)2^m)
gを任意の自然数nに対してg^4(n)=2nが成り立つものとする。
(i) g(n)は単射
g(n)=g(m)とすると、
g^4(n)=g^4(m)
条件より、2n=2mであるから、n=m.
(ii) g(0)=0
2g(0)=g^4(g(0))=g(g^4(0))=g(2*0)=g(0)
したがってg(0)=0
(iii) R={r;r=g(n)となるnが存在しない}とするとき、Rの元rに対して、
g^i(r)はiが３以下の自然数の時、奇数であり、iが３より大きい時は偶数。
i<4のとき、もし、g^i(r)＝2nだとすると、g^4(n)=g^i(r)であり、gは単射だから、
r=g^(4-i)(n)=g(g^(3-i)(n))であるからRの定義に反する。
また、i>3のとき、g^i(n)=g^4(g^(i-4)(n))=2g^(i-4)i(n)だから後半も成り立つ。
(iv)Rは奇数からなる無限集合（したがって加算）である。
Rの元が奇数であることは（iii）でi=0とすればいい。
Rが有限とする。
Rt={g^i(r);r∈R,i∈N}とするとき、（iii）より、Rtは有限個の奇数しか含まない。
そこで、これに含まれない奇数をnとする。
R⊂Rtだから、n=g(n_0)となるn_0がある。すると、n_0はRtに含まれない。
したがってn=g(n_1)=g^2(n_2)を満たす、Rtに属さないn_1がある。
これを繰り返して、
n=g^4(m)=2mを満たすmがある。しかしこれはnが奇数である事に反する。
と定義する。ただし、｛a_4r｝にはRのすべての元が一回ずつ重複なく現れるように取る。
この時、a_nは奇数だけからなり、すべての奇数が重複なく一回ずつ現れる。
奇数のみからなることはa_nの定義と（iii）から明らか。
すべての奇数が現れることは、(iii)より、Rtがすべての奇数を含むことを、
重複がないことを言うにはa_(4r_1+i)=a_(4r_2+j)のとき、
r_1＝r_2、i＝jを言えばいい。
前者はRtに含まれない奇数をnとすると、（iv）と同じ論法で矛盾をきたす。
後者は、i≧jとしてもよい。gは単射であり、a_(4r_1+i)=a_(4r_2+j)のとき、
g^i(a_(4r_1))=g^j(a_(4r_2))
a_(4r_2)=g^(i-j)(a_(4r_1))
もし、i≠jだとa_4rとRの定義に反するのでi=j.
つまり、a_(4r_1)＝a_(4r_2). a_4rの定義より、r_1＝r_2。
0以外の任意の自然数n=(a_(4r+i))2^m(0≦i<4)に対して、g(n)は上で定義したa_nによって
g((a_(4r+i))2^m)=a_(4r+i+1))2^m (i≠3の時)
=a_(4r)2^(m+1) (i=3の時)
とかける。
g((a_(4r+i))2^m)
=g^(4m+1)(a_(4r+i))
=g^4m(g(a_(4r+i))) --☆
ここでi≠3なら、g(a_(4r+i))=a_(4r+i+1)より、
=g^4m(a_(4r+i+1))
=a_(4r+i+1))2^m
また、i＝3なら、
g(a_(4r+3))
=g(g^3(a_4r))
=g^4(a_4r)=2*(a_4r)
よって
☆＝g^4m(2*(a_4r))
=a_(4r)2^(m+1)
[証明終]
つまり以下のようになる。
0≦i<4のとき、
g(0)=0
g((8r+2i+1)2^m)=(8r+2(i+1)+1)2^m (i≠3の時)
=(8r+1)2^(m+1) (i=3の時)
>>27
a_nを負の添え字まで拡張して負の奇偶まで考えれば上と同様。
特に最後の具体例はそのまま適応できる。
どや？
もしかしたら、群論とか半群論の言葉をつかってもっと綺麗に言い表せるのかもしれないが。
わからん。誰か頼む。いい方法ないの？
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
東大
弁護士
Bパート
いいなぁー
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
東大
弁護士
Bパート
やさい
歯ブラシ
牛
やよい
東大
弁護士
Bパート
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
Aの元がｎ個のとき写像ｇ：A→Aに対して
ｇ^ｎ(A)＝ｇ^(ｎ+１)(A)であることを示せ.
がわかりません。
どなたか分かる方いたら教えてください(＞＜;
ｇ^ｎはｎ個のｇの合成写像です。
それは、互換 (12) の2乗と3乗が等しいことを主張しているね。
牛
東大
弁護士
Bパート
どういうことですか（？。？
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
>>50じゃないが、どういうこともなにもそのままの意味だろ、
n=2のときg=(1 2)だったらどうだってこと。
ノート
牛
放送大学
水虫
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
息抜き
東大
弁護士
Bパート
あら済まない．
g^n(A) を g^n(x) と読み違えていた．
g^k(A)⊇g^{k+1}(A) であることと
k で等号が成立すれば m≧k で g^m(A)=g^{m+1}(A) となることを使う．
東大
弁護士
Bパート
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
東大
弁護士
Bパート
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
東大
弁護士
Bパート
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
[A]
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
ノート
牛
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
東大
弁護士
Bパート
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
東大
弁護士
Bパート
東大
弁護士
Bパート
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
LC
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
LC
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
LC
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
LP
CJ
F4
LC
東大
弁護士
Bパート
東大
弁護士
Bパート
東大
弁護士
Bパート
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
双有理幾何学 (212)
【和算もｵｯｻﾝも】▲初等幾何ｽﾚｯﾄﾞ2●【代数で解析】 (656)
【自治スレ】猫対策本部 (328)
【院生】統合失調症のスレ2【非常勤】 (632)
数学系大学院院試情報スレ（４） (358)
マイナス掛けるマイナスはマイナスである。 (346)
--log9.info------------------
こんな電車は嫌だ (520)
校長ですらイジメと認めざるをえないあだ名 (493)
こんな名前のお笑いコンビ・トリオは嫌だ！ (957)
レベル１くらいの自慢 (682)
ブラインドタッチで打って間違っても修正するな ２ (487)
３年Ｂ組○○先生 (450)
嘘の豆知識まるで本当の事のように語るスレ2 (395)
死にたくなるような恥ずかしい出来事５ (931)
秋元康が次にやりそうなこと (593)
●一人暮らしにありがちなこと (446)
喫煙所〜京都府在住、31歳フリーターの男性 (726)
芦田愛菜ちゃんの将来 (513)
こんな飼い犬はイヤだ!! 五匹目 (886)
赤ちゃんが初めて発した言葉 (858)
おまいらが車運転してる時の独り言 (229)
こんな吉田類は嫌だ！ (432)
--log55.com------------------
【ウェザーニューズ】SOLiVE24実況 Part77【WNI】
静岡ローカルを実況スレ3
静岡ローカルを実況スレ
放送大学
☆★★★★放送大学 実況スレ第12回★★★★★
☆★★★★放送大学 実況スレ第11回★★★★★
☆★★★★放送大学 実況スレ第10回★★★★★
☆★★★★放送大学 実況スレ第9回★★★★★