代数学総合スレッド
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のヒモだったら生活保護は無理でわ？
❷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パート
やさい
歯ブラシ
牛R
やよい
東大
弁護士
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乗が等しいことを主張しているね。
牛R
東大
弁護士
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)だったらどうだってこと。
ノート
牛R
放送大学
水虫
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
息抜き
東大
弁護士
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パート
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
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パート
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
[A]
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
TS10
SBR
VFK10
TKK
VF1
LCCR
SINX
VF1M4
VF1L2
VF1H2
EMPC
MPE
4231
4213
3331
3313
145
53A3
6236
EMPCB
EMJ
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
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
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
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
ノート
牛R
放送大学
水虫
やよいのゲップ
アラ右アラ左
掃除
左翼右翼
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元 削除依頼 ▲
初等整数論の問題② (932)
さてテストが迫ってきたのだが (723)
素数はなぜ不規則に現れるのか (226)
数学を哲学する (361)
マルクス主義的数学 (231)
代数学総合スレッド Part6 (249)
--log9.info------------------
じゃあ長島一茂とデブ大久保はどっちがすごいのよ？ (615)
野村克也監督の功績を語ろう (227)
★☆★2003年のプロ野球を語ろう★☆★ (523)
1989年パリーグペナントレース (206)
【ぴの】ファミスタの思い出【くどう】 (374)
西本聖を褒め称えるスレ (836)
二流から一流に変貌を遂げた選手 (281)
平成以降の日本球界名投手１００傑を決めよう (476)
1986年のプロ野球 (421)
山下大輔氏と共に12球団の苦難を乗り越えてゆくｽﾚ3 (322)
悲運の名将・西本幸雄 (782)
通説や俗説の類の真偽を検証するスレ (380)
パワプロ能力査定In殿堂板 第10試合 (926)
めっちゃ好きだった助っ人外国人 (424)
もし黒い霧事件が起きなければﾌﾟﾛ野球はどうなった? (502)
2000-2004年梨田近鉄バファローズを語る ２ (522)
--log55.com------------------
【+++】RAMMSTEIN ラムシュタイン17【+++】
【驚異の】BURRN!清家【新人】
筋肉少女帯 part.149【ﾜｯﾁｮｲ有】
THE冠/冠徹弥 その6
なんでLOUD PARKは無くなったの？
メタルを聴いてる奴の特徴
WHITESNAKE Part40
IRON MAIDEN part51