- 1 名前：１３２人目の素数さん mailto:sage [03/02/21 07:18]
- 代数に関する話題全般のスレッドです。
宿題の丸投げは止めましょう。
前スレ
代数学総合スレッド
science.2ch.net/test/read.cgi/math/1011536232/l50
- 403 名前：１３２人目の素数さん mailto:sage [03/07/29 23:48]
- >>401
＞＞両辺に(ah)^(-1)をかけると HbH=bkH=bH.
ここのどこがまづいの？
- 404 名前：３６７ mailto:sage [03/07/30 00:01]
- >>403
いや、いま読みなおしたら問題なかった。へんないちゃもんつけてｺﾞﾒｿ。
- 405 名前：１３２人目の素数さん mailto:sage [03/07/30 00:13]
- そろそろその話は止めない？簡単な問題だけど、口直しになる事を期待。
（問）Gを有限群、Hを部分群とし、a,b,c∈Gを固定する。
double cosetsをHaH=∪_iHa_i, HbH=∪_jHb_j, HcH=∪_kHc_kと表す時、
#{(i,j)|Ha_ib_j=Hc_k}はa,b,cに依存する事を示せ。
- 406 名前：訂正 mailto:sage [03/07/30 00:14]
- a,b,cに「のみ」依存する
- 407 名前：１３２人目の素数さん mailto:sage [03/07/30 02:09]
- >>402
ではもう一つ
集合Ａが半群であることの定義は？
- 408 名前：１３２人目の素数さん mailto:sage [03/07/30 02:14]
- ３６０と３６７は本当にもう一度勉強したほうがいいよ
数学の方法論がわかってないから
- 409 名前：１３２人目の素数さん mailto:sage [03/07/30 02:29]
- まだわかってないのがひとりいるね。
- 410 名前：１３２人目の素数さん mailto:sage [03/07/30 02:58]
- >>408
オマエガナー
- 411 名前：１３２人目の素数さん mailto:sage [03/07/30 08:48]
- >>360 >>367のほうがまともだね。彼らがおかしいと言ってるやつらは
「剰余群の定義」の話と混同してるんだろ。それで「漏れはちゃんと定義しって
るもんねー」見たいな感じでいい気になってるんだろ。
>>408がその口の代表！
最初の問題（>>353）よく読め！
- 412 名前：１３２人目の素数さん [03/07/30 11:01]
- >>353
貴方の主張は、NがGの正規部分群のときのみ成立します。
『Gを群、Hをその部分群、{a,b,…}をHを法とする左完全代表系とする。
このとき、代表系の任意の元a,b に対して aH・bH = abH が成り立つならば、
H はG の正規部分群である。』
証明） 上の関係式より (b~Hb)H ＝ H を得る。（但し、b~はｂの逆元を表す)
H は G の部分群より、b~Hb は H に含まれる。これより、代表系の元は
Hの正規化群の元であることがわかる。
次に、Gの任意の元ｇを取ってきて、ｇ＝ah とする。（すなわち、
ｇはHを法とするaのcoset の元とする） このとき、
g~Hg = (ah)~ H(ah) = h~a~Hah = h~Hh = H .
よって、ｇもHの正規化群N(H)の元となり、G=N(H) といえる。これは、
H は G の正規部分群であることを示している。
メデタシ、メデタシ！！ (完）
- 413 名前：360 mailto:sage [03/07/30 11:11]
- >>407
写像f:A×A -> A で任意のa,b,c∈Aに対して
f(f(a,b),c)=f(a,f(b,c))
を満たすものが与えられていること
まさかP(G)にそんな写像が与えられてないなんて言うんじゃなかろうな
- 414 名前：360 mailto:sage [03/07/30 11:15]
- >>412
>貴方の主張は、NがGの正規部分群のときのみ成立します。
その言い方は変では？むしろ
「G/HがP(G)の部分半群となることとHが正規であることが同値」
とか
｢主張が成り立つならばHは正規である｣
とでも言うべきだと思うのだけど。
- 415 名前：１３２人目の素数さん [03/07/30 11:16]
- >>353
明らか。
aH・bH ∋ab
仮定および上記より、aH・bH はabを含む左剰余系になる。
∴ aH・bH = abH
- 416 名前：360 mailto:sage [03/07/30 11:22]
- >>415
あ、ほんとに明らかだ
すっきりしますた
- 417 名前：４１２ [03/07/30 11:24]
- 訂正：１行目のNは、H の間違えです。どうもすみません。
- 418 名前：１３２人目の素数さん mailto:sage [03/07/30 11:39]
- お馬鹿な人達も増えてきたんでそろそろちゃんとした話を書きましょうか
G/H は一般にただの集合で、この集合の元 (aH)(bH) の積が G/H において閉じている
ためには H が正規部分群であることが必要十分。奇しくも >>402 において自分自身で
それを示しているのだが。ところで >>397 や >>374 などでは G/H を半群と仮定しているので、
実はその時点で H を正規部分群としているわけである。
ここで「 H が正規部分群である＝任意の a∈G に対して aH=Ha （※）」に注意
集合 G/H は H が正規部分群のときに限って、積 (aH)(bH) が再び G/H に属する
（積が閉じている）ので、このとき G/H に群構造を入れることができる。その積の定義が
(aH)(bH)=abH である。
ここで問題なのは積が well defind かどうかということのみ。 Hが正規部分群なので、集合と
して aHbH=abH なのは当たり前。実際 ahbh'∈aHbH とすれば、（※）よりある h''∈H があって
hb=bh'' となるから ahbh'=abh''h'∈abH 。逆も同様で abh∈abH に対して bh=h'b となる h'∈H
があるから abh=ah'b∈aHbH 。
（３６０派は一生懸命 aHbH=abH を計算していたが、Hの正規性を認識できていれば
こんなのは当然のこととすぐわかったはず）
また積が G/H 上で well defind であることを見るには、aH=cH , bH=dH である c , d に対して
c'HdH=abH となることを確かめれば良いが、これも H の正規性を用いればすぐわかる。
結局問題だったのは G/H の積が閉じているとはどういったことなのか
また G/H に群構造を入れるときには何を見ることが大事なのか
という非常に基本的な事柄である。
これがわかってないから >>353 を変に解釈して元々当たり前のことを
問題として設定してしまい、必要のない計算までしてしまう。
夏休みなので教科書を初めから読むなりして下さい。
- 419 名前：１３２人目の素数さん mailto:sage [03/07/30 11:46]
- >>397
＞このとき>>353の問題は、G/HがP(G)の部分半群ならばその積は
＞通常の剰余類群の積(aH)(bH)=abHとなることを示せ、と読める。
G/Hが半群＝積について閉じてる＝Hが正規＝剰余集合は剰余群
となるのだから↑の２行目は同じことを言ってるっていうか、すでに１行目に答えを含んでる
- 420 名前：１３２人目の素数さん mailto:sage [03/07/30 11:47]
- この場合は半群であることはイコール群ね
- 421 名前：360 mailto:sage [03/07/30 11:47]
- >>419
だからそれを証明しろという問題でしょ
- 422 名前：１３２人目の素数さん mailto:sage [03/07/30 11:48]
- >>418
＞ G/H において閉じているためには H が正規部分群であることが必要十分。
を示す問題が>>353だと気付かないなんて、救えない。
- 423 名前：１３２人目の素数さん mailto:sage [03/07/30 11:50]
- >>418の
c'HdH はミスです。
c' じゃなくて c でした。
- 424 名前：１３２人目の素数さん mailto:sage [03/07/30 11:52]
- 群の演算から群のある部分群による剰余類の空間に演算が「誘導」されるのは
部分群が正規なときだが、元の群とは関係のない演算が剰余類に入るときは
どうするつもり？>>418
- 425 名前：１３２人目の素数さん mailto:sage [03/07/30 11:54]
- >>422
違うじゃん。>>353では「Ｈを法とする任意の２つの左剰余類
の積が，Ｈを法とするある左剰余類となると仮定する」ってしてるんだから
ここでHが正規だと仮定してるでしょ
- 426 名前：360 mailto:sage [03/07/30 11:55]
- 正規でなければそもそも演算など入らないと言うつもり？
- 427 名前：１３２人目の素数さん mailto:sage [03/07/30 11:56]
- >>425
その仮定が、H が正規と仮定するのと同値 というのを示す問題。
頭大丈夫？
- 428 名前：１３２人目の素数さん mailto:sage [03/07/30 11:56]
- >>424
＞元の群とは関係のない演算が剰余類に入るときは
＞どうするつもり？
何を言ってるのかよくわからない。
元の群とは G のこと？
そして元の群とは関係のない演算とは？
またその演算は何と何を処理するもの？
- 429 名前：１３２人目の素数さん mailto:sage [03/07/30 12:00]
- >>426
G/H上には入らないよ。正規じゃなくても
たんなる集合としてaHbHは考えられるけど
それがG/Hに入るかは別問題
- 430 名前：１３２人目の素数さん mailto:sage [03/07/30 12:00]
- >>428
ぷ。君は一つの集合に入る群演算は天賦のもので唯一つとでも言うんだね？
- 431 名前：１３２人目の素数さん mailto:sage [03/07/30 12:01]
- >>429
香具師は P(G) 上に入るっていってるんだと思うが・・・？
んでそれが G/H に入る条件が正規ということであり>>353という問題になる。
- 432 名前：360 mailto:sage [03/07/30 12:02]
- >>428
たとえば
H<Gが正規でないとしてG'を別の群とする時
全単射G/H -> G'
によってG/HにGと無関係な演算を入れたらどうか、
というように読んだ。
でもそれってここでの話とは関係ないよ･･･
Gから誘導される演算しか考えないのが前提でしょう
>>429
あ、そうか。失礼
でもP(G)には入るよね
それで部分半群云々と言う話になる
- 433 名前：１３２人目の素数さん mailto:sage [03/07/30 12:03]
- >>427
>>353をそう読むとしたら日本語を独自に解釈し過ぎてる
大学の教官にでも同じこと聞いてみな
- 434 名前：424 mailto:sage [03/07/30 12:04]
- >>432
いや、>>418のあまりにも狭量な見解にどうしても言いたかったので。
- 435 名前：１３２人目の素数さん mailto:sage [03/07/30 12:05]
- >>431
G/Hが半群（G/H内で積が閉じている）ならば
ってはっきり書いてあるけど
- 436 名前：１３２人目の素数さん mailto:sage [03/07/30 12:06]
- >>434
関係ない話をすることが狭量じゃないことなのか？
- 437 名前：424=427 mailto:sage [03/07/30 12:06]
- >>433
おいおい；
- 438 名前：１３２人目の素数さん mailto:sage [03/07/30 12:07]
- G/Hが半群って書いたらもうHは正規だって言ってることになりますよ
- 439 名前：424=427 mailto:sage [03/07/30 12:08]
- >>436
関係なくは無いだろう？>>418には
＞結局問題だったのは G/H の積が閉じているとはどういったことなのか
＞また G/H に群構造を入れるときには何を見ることが大事なのか
＞という非常に基本的な事柄である。
なんてことが書いてある。
- 440 名前：360 mailto:sage [03/07/30 12:08]
- >>435
どこで書いたか覚えてないけど
正しくはP(G)の部分半群ね
紛らわしい書き方をしてたなら悪かった
- 441 名前：１３２人目の素数さん mailto:sage [03/07/30 12:08]
- >>424の「どうするつもり？」が全く意味不明なんだけど
元の群とは関係のない演算が剰余類に入るときは
今回の場合に何がどうなっちゃうわけかね
- 442 名前：１３２人目の素数さん mailto:sage [03/07/30 12:10]
- >>440
紛らわしいというか、今の場合それは決定的に状況が異なるよ
- 443 名前：１３２人目の素数さん [03/07/30 12:11]
- >>353が入れ食いっぷりに笑ってます
- 444 名前：424=427 mailto:sage [03/07/30 12:11]
- >>441
もともとの>>353を忘れたの？ 剰余類の積が剰余類になるってかいてる時点で
その「積」が何なのかって事から話がこじれたんだろうに。
- 445 名前：360 mailto:sage [03/07/30 12:12]
- >>442
もしかして>>419に書いてあるもののことを言ってる？
- 446 名前：１３２人目の素数さん mailto:sage [03/07/30 12:12]
- >>439
積が具体的に書かれてるのにか？ｗ
aHbHとまで書いてあって「どんな演算が入るかわかんねーぞ」
とか言うのなら降伏します
- 447 名前：１３２人目の素数さん mailto:sage [03/07/30 12:14]
- >>424
>元の群とは関係のない演算が剰余類に入るときは
>どうするつもり？>>418
どうもこうも積はaHbHだって初めから書いてあるじゃんよ
だから関係ない話だってのに・・・ はあ
- 448 名前：_ mailto:sage [03/07/30 12:16]
- homepage.mac.com/hiroyuki44/2ch.html
- 449 名前：360 mailto:sage [03/07/30 12:16]
- >G/H の積が閉じているとはどういったことなのか
ということはP(G)に演算が入っていることを仮定しているのではないかと思う
- 450 名前：424=427 mailto:sage [03/07/30 12:18]
- >>446
ちゃんと嫁。積が閉じているという仮定の後 (aH)(bH)=(abH) とは書いて
あるから、「積」は P(G) における自然な積のことだろう。
と考えるのが自然で, 漏れもそう思う。
で、そこで G/H における(G から誘導される)自然な積だと言い張ってるのが
>>418なわけだ。
漏れは、>>418に落ち着いて問題を把握しろと言いたいだけ。
- 451 名前：424=427 mailto:sage [03/07/30 12:20]
- >>447
あのな、剰余類の積と書いてあるのを G/H に入った積と思い込んでる
>>418 に「それしか積が入らないのか？」と訊くのが「関係ない」のか？
- 452 名前：424=427 mailto:sage [03/07/30 12:22]
- >>451訂正
「H の正規性を仮定して」G/H に入った積と思い込んでる
- 453 名前：１３２人目の素数さん mailto:sage [03/07/30 12:28]
- >>450-451
ある集合に様々な積を入れられる可能性があることと
それらを考察する必要性は別の話だと思うけど
あなたは後者を言ってるわけだよね、「関係ない」ことを否定してるのだから
それならば今回の場合に様々な積の可能性を考察することが
どう関係してくるかを具体的に書けばいいと思う
- 454 名前：424=427 mailto:sage [03/07/30 12:29]
- 蛇足ながら漏れがいってる aH と bH の積は
P(G)における積：aHbH={ah_1bh_2 | h_i ∈ H}
G/H における積：aHbH=abH （こちらは H が正規でないと well-defined じゃない）
剰余類の積が剰余類ってだけなら、 aHbH=cH なる c ∈ G があるってだけで
「積」がどう定義されてるかというのは別に決まってない。
そのうえで、G/H が P(G) の積で群になるなら aHbH=abH 若しくは同じことだが
H が正規となることを言えと言う話が >>353 だろ。
というのが漏れの主張。
- 455 名前：１３２人目の素数さん mailto:sage [03/07/30 12:30]
- （ａＨ）（ｂＨ）＝ｃＨならば（ａＨ）（ｂＨ）＝ａｂＨを示せ。
- 456 名前：424=427 mailto:sage [03/07/30 12:33]
- ちなみに
＞剰余類の積が剰余類ってだけなら、 aHbH=cH なる c ∈ G があるってだけで
＞「積」がどう定義されてるかというのは別に決まってない。
ここでいう aHbH は P(G) における積という意味でいってるのでは無い。
aH・bH とでも書いておいたほうが良かった・・・。
- 457 名前：360 mailto:sage [03/07/30 12:37]
- >>418
>G/H は一般にただの集合で、この集合の元 (aH)(bH) の積が G/H において閉じている
>ためには H が正規部分群であることが必要十分。
ここは正規でなくてもG/Hより大きい集合、たとえばP(G)
の中では演算が考えられることを示唆している。
それは大方の見解と一致してるし異論はない。
たぶん>>418本人もP(G)における演算を考えていたと思う。
>集合 G/H は H が正規部分群のときに限って、積 (aH)(bH) が再び G/H に属する
>（積が閉じている）ので、このとき G/H に群構造を入れることができる。
つまり何度も出てきているように
G/HがP(G)の部分半群⇔Hが正規
である。ここも全くその通りだと思う。
それにも拘らずこれに続いて
>その積の定義が (aH)(bH)=abH である。
とある。
いきなりP(G)の演算がどこかへ消えてしまっている。
どういうことなのか説明してほしいのだが
- 458 名前：360 mailto:sage [03/07/30 12:39]
- >>456
それは積と呼ばなくてもいいけど積になるよね？
P(G)上の二項演算でしょ
- 459 名前：１３２人目の素数さん mailto:sage [03/07/30 12:41]
- >>353だけでなく>>353-355と読んだほうがいい
- 460 名前：360 mailto:sage [03/07/30 12:42]
- ごめん、読み間違い
- 461 名前：424=427 mailto:sage [03/07/30 12:43]
- >>458
ごめん。だから、単に漏れが P(G) における積というときは、>>454 の
上のほうでことわった「自然な」積の意味のつもりですた・・・。
- 462 名前：１３２人目の素数さん mailto:sage [03/07/30 12:45]
- てか、肝心のおヴァカ>>418が他に発言したのはどれとどれ？
それとも逃げた？
- 463 名前：１３２人目の素数さん mailto:sage [03/07/30 12:50]
- レベル低いね、このスレ。
- 464 名前：360 mailto:sage [03/07/30 12:52]
- >>361以降で異議を唱えているのはほとんど418なのかな？
一昨夜の人はなんとなく違うような気もするが
>>463
漏れのせいかな
だったらｽﾏｿ
- 465 名前：１３２人目の素数さん mailto:sage [03/07/30 13:03]
- >>427
>>355
- 466 名前：424=427 mailto:sage [03/07/30 13:08]
- >>465
何が言いたいの？>>353では H の正規性が仮定されて無いのに
なんで正規でないと成り立たないような条件を証明するの？って
>>353は訊いたんだろ？
そこにアンカーをはることで、何の意味が存在するの？
- 467 名前：１３２人目の素数さん mailto:sage [03/07/30 13:13]
- >>459
あれだろ、>>354が間抜けなことを言ってるってことだろ？
- 468 名前：１３２人目の素数さん mailto:sage [03/07/30 13:30]
- で、>>418の言い訳マダー？
- 469 名前：353 mailto:sage [03/07/30 13:37]
- ３５３＠こんなに伸びるとは・・です。
みなさん，レスありがとうございます。
元の問題>>353は，「代数系入門」松坂和夫著（岩波書店）p65の演習問題の１１番
がベースになっています：
『Ｈを群Ｇの部分群とし，Ｈを法とする任意の２つの左剰余類の積は，Ｈを法とす
る１つの左剰余類になるとする。そのとき，ＨはＧの正規部分群であることを
示せ。』ここで，集合Ａ，Ｂの積ＡＢは，ＡＢ={ab｜a\in A, b\in B｝と定義
されています（p62参照）。
この問題の答えがp347に書いてあります：『問題の仮定が成り立つならば，任意の
a,b\in Gに対して，当然(aH)(bH)=abHでなければならない。・・・』
これが私が尋ねた問題です（１時間考えても証明できなかったので，本当に
成り立つのか疑う方向に頭が逝ってしましました）。
結論としては，>>367で私は納得できました。
Infinitely many thanks to all of you, especially >>360
- 470 名前：１３２人目の素数さん mailto:sage [03/07/30 14:36]
- ほとんどの奴は、問題を正しく認識することすら出来てない。
>>415が正解だよ。
- 471 名前：１３２人目の素数さん mailto:sage [03/07/30 14:59]
- >>470=>>415
- 472 名前：360 mailto:sage [03/07/30 15:05]
- >>415をもう少し丁寧にやったのが>>367
- 473 名前：470 mailto:sage [03/07/30 15:05]
- >>471
はずれ。
- 474 名前：１３２人目の素数さん mailto:sage [03/07/30 15:07]
- 結局のところwell-definedが問題なんじゃないの？
- 475 名前：470 mailto:sage [03/07/30 15:15]
- >>474
おまいもDQN。
あほくさ、オレはもう降りる。
厨房同士で空虚な議論でもしてろ。
お前達にも理解できる内容は久しぶりだろうからな。
- 476 名前：１３２人目の素数さん [03/07/30 15:22]
- 晒し上げ
- 477 名前：１３２人目の素数さん [03/07/30 15:24]
- こんなに自作自演が横行しているスレも最近では珍しいね。
しかし、そろそろ自分の愚に気づいてもよいのではないか。>>360
- 478 名前：１３２人目の素数さん [03/07/30 15:32]
- >>477は放置しる！
- 479 名前：１３２人目の素数さん mailto:sage [03/07/30 15:35]
- ＞しかし、そろそろ自分の愚に気づいてもよいのではないか。>>360
>>360は正しいわけだが・・。
- 480 名前：１３２人目の素数さん [03/07/30 15:36]
- ☆貴方を癒す美女が待ってます（＾−＾）☆
endou.kir.jp/yuminet/link.html
endou.kir.jp/marimo/link.html
- 481 名前：ぼるじょあ ◆yEbBEcuFOU [03/07/30 15:44]
- 自作自演を堪能させて貰いますた(ｹﾗｹﾗ
- 482 名前：360 mailto:sage [03/07/30 15:47]
- もしかして傍から見たら漏れがピエロですか
- 483 名前：１３２人目の素数さん [03/07/30 15:47]
- 本日の無料ムービーはホットラインストーリー33と本物！！！素人 2 みゆき１？才
の二本です。素人ハメ撮りならやっぱりここ
www.cappuchinko.com/
- 484 名前：_ mailto:sage [03/07/30 15:51]
- homepage.mac.com/hiroyuki44/kaz04.html
- 485 名前：１３２人目の素数さん mailto:sage [03/07/30 15:57]
- 「自作自演」という言葉は厨房がそれ以外に何も言えなくて困った時に使う物ですよ。
- 486 名前：１３２人目の素数さん [03/07/30 16:58]
- >>477の沙羅氏安芸
- 487 名前：ぼるじょあ ◆yEbBEcuFOU [03/07/30 17:03]
- 自作自演を堪能させて貰いますた(ｹﾗｹﾗ
- 488 名前：４７７ [03/07/30 17:23]
- お前ら釣られすぎｗｗｗ
- 489 名前：１３２人目の素数さん mailto:sage [03/07/30 18:01]
- このスレのレベルを下げる（＝aHbHが積云々のやり取り）
のは程々にして下さい。お願いします。
- 490 名前：１３２人目の素数さん mailto:sage [03/07/30 18:15]
- >>360はピエロというより自作自演野郎ですpu
- 491 名前：１３２人目の素数さん [03/07/30 18:26]
- あんな糞問で100レス以上消費するとは・・。
- 492 名前：１３２人目の素数さん mailto:sage [03/07/30 18:29]
- >>360は、特別にスレをたてることを許すのでそこで一人でやれ。
そもそもお前は数学に向いていないから、この板には二度と来ない
ことをお勧めする。
- 493 名前：１３２人目の素数さん mailto:sage [03/07/31 01:06]
- 別に書き込んでも構わないでしょ。
余計な煽りをする人がいるからレスが増えてしまった訳で。その人がいなくなった方が良い。
- 494 名前：１３２人目の素数さん [03/07/31 10:23]
- >>469
質問自体の解答が>>415 で、引用された問題の解答が>>412,
ということですね。
- 495 名前：１３２人目の素数さん [03/07/31 10:59]
- みんな！！違法取立てバカの闇金、八島総業が名前と電番変えて必死だぞ！！
イタ電だ！！！
八島総業＝須賀興業＝大谷興業＝朝妻興業だ！！
住所にはいつも必ず1-7-1を使っている！！
↓↓詳しくはこちら！！↓↓
【闇金融】違法取立て馬鹿の自称八島総業を叩くスレ！！
www.megabbs.com/cgi-bin/readres.cgi?bo=rage&vi=1059058002
- 496 名前：１３２人目の素数さん mailto:sage [03/07/31 11:03]
- >>492
>>360は別に間違った事は書いてないと思うのだが・・・？
どっちかっつーと、>>418他を書いた（恐らく一人と思われる）香具師が問題で(ry
- 497 名前：１３２人目の素数さん [03/07/31 11:15]
- >>418 は痛いな！！ 如何にも上辺だけの知識晒してどうすんの。
- 498 名前：ぼるじょあ ◆yBEncckFOU [03/07/31 12:42]
- （・３・） エェー aHbH=abHはあくまで定義であって、証明すべきことは、
その定義がwell-definedであるこだYO！
>>360はそこのところが理解できていないないように思うYO！
G/HはGとHから作られる別の空間であると思った方が
いいかもNE！
- 499 名前：ぼるじょあ ◆yBEncckFOU [03/07/31 12:50]
- （・３・） エェー 例えば、こんな風に考えたらどうかNA？
集合としての全射φ：G→G/HをつくるYO！
G/Hに積をφ(a)φ(b)=φ(ab)で定義すると、
これが矛盾のない定義になるということだYO！
- 500 名前：１３２人目の素数さん mailto:sage [03/07/31 12:56]
- ５００
- 501 名前：１３２人目の素数さん mailto:sage [03/07/31 12:58]
- >>499
well-definedなのかと。
- 502 名前：ぼるじょあ ◆yBEncckFOU mailto:sage [03/07/31 13:15]
- >>501
（・３・） エェー aHという書き方で誤解している人がいるみたい
だから書き換えただけだYO！
- 503 名前：360 mailto:sage [03/07/31 14:48]
- >>498
たぶんそうしてる本が多いんだろうね。
別にaHbH=abHを定義にしてもいいんだよ。
その場合には当然P(G)がどうのとかいう話は不要で、
そのかわりにwell-definednessが証明すべきことになる。
それぐらいわかってるんだけどなあ。
上のほうで散々書いてたのは、
それと同値な別の定義が存在するという話。
|
 |
