>>471
友人にひまなら見てみと言われて・・。
ＺＦ萌えのぼーやはよく調べたね。図書館か。なるほどね。その見当違いの文献から
ぼーやがどんな分野であれ数学を専攻している人間ではないことはわかった。
もしかしたら高校生ではないのかな。でも、んなことはどうでもいい。
おれ、しばらくひまだから相手してやる。でもね、お話するときには共通の基盤が必要だ。
あまりにもレベルが違いすぎると疲れる。したがってぼーやの数学についての知識と力を
試そう。ということでぼーやにはこれくらいが適当だろう。

群Ｇとその部分群Ｈにおいて、Ｇの元ｇに対してＧの部分集合Ｈｇを
Ｈｇ＝｛ｈｇ l ｈ∈Ｈ｝とする。
このときＨの位数はＧの位数の約数であることを証明せよ。

これをぼーやが適当だと思う公理群から演繹して証明してみ。当然位数の
定義も忘れるなよ。これは学部の演習なんかでよくつかう標準的な問題。
どこかの本でこの類題を見つけて、巻末の証明例を丸写ししてはいけないよ。
商売柄そんなのはすぐにわかる。そんなギャップのある証明は認めない。
あくまでも公理群から演繹して一から証明すること。ぼーやは「実用的」な
公理なんて言ったよね。では好きな公理群を実用的に使って証明してみ。
これを無視したり、言い訳したりして証明しなかったら、ぼーやはそていどのひと。
他の人の言うことに理解もしていないような小難しげな言葉を使っていただけという
ことになる。少なくともおれはそう判断して遊んでやらない。ぼーやがどう思うと勝手。
おれには深夜のひまつぶしだから。しかし、ちゃんと証明できたら、まじめに
遊んであげようね。