ひゃだ！学部生ならともかく、数学科の院生に「わかってないんだけどわかっている振りをする」子がよくいるの！？
数学って、わかってるフリしてごまかす意味がない学問ナンバーワンだと思うけどw
（でも学生もいろいろ大変で周りから評価されるストレスとかあるだろうから、その気持ちも少し分かるかも）
確かに>>299の書き込みはワケわかんないわw
ものぐささんの言いたいことはよくわかるけど、せっかく「数学好きのゲイ」ていうマイノリティが集まってるスレだから、私はなるべくダメ出しとかは避けて仲良くお話ししたいと思ってるの。
あんまり厳しくして、気軽に書き込めない雰囲気にはなって欲しくないの。
「うさぎへの課題」ってのも、いぢわる課題のつもりでないなら、「うさぎなら解決してくれそう」て期待で書いた、てポジティヴにとらえたから大丈夫よ。
225とか243みたいなのは数学的内容が全く無い単なる中傷だからほんと嫌だけど、281は数学的内容があるから、ちゃんとスレに貢献してくれていると思ったわ。
>>306
なるほど、アタシは★を (1) ∃c ∈ {2, …, p－1} ∀k ∈ {1, …, p－2} c^k ≢ 1 と理解していたけど
あなたは (2) ∀k ∈ {1, …, p－2} ∃c ∈ {2, …, p－1} c^k ≢ 1 のつもりだったのね？
(1)が正しければ自動的に(2)も正しいけど、逆はそうでないから、(2)の方が論理的に弱い命題のはずね。
(2)を示せれば十分だから、(1)と同値である「 (Z/pZ)^× は巡回群である」までは言う必要がないってことね？
調べたんだけど、与えられた正の整数nに対して、すべての a ∈ (Z/nZ)^× について a^m ≡ 1 (mod n) となる最小の正の整数mを返す関数をカーマイケル関数λって言うのね。
例えばλ(7) = φ(7) = 6 となるわ。（φはオイラー関数ね。）
これを使うと、(2)を示すことは「pが素数ならλ(p) = p－1」を示すことと同値になるわね。