  |
はてなキーワード: 可換環とは
フェミニズムの分類が多すぎると聞いて
記述集合論（Borel階層, Projective階層, 汎加法族）
モデル理論（型空間, o-極小, NIP, ステーブル理論）
再帰理論/計算可能性（チューリング度, 0′, 相対計算可能性）
構成主義, 直観主義, ユニバース問題, ホモトピー型理論（HoTT）
体論・ガロア理論
表現論
K-理論
初等数論（合同, 既約性判定, 二次剰余）
解析数論（ゼータ/ L-関数, 素数定理, サークル法, 篩法）
p進数論（p進解析, Iwasawa理論, Hodge–Tate）
超越論（リンドマン–ヴァイエルシュトラス, ベーカー理論）
実解析
多変数（Hartogs現象, 凸性, several complex variables）
関数解析
バナッハ/ヒルベルト空間, スペクトル理論, C*代数, von Neumann代数
フーリエ解析, Littlewood–Paley理論, 擬微分作用素
確率解析
マルチンゲール, 伊藤積分, SDE, ギルサノフ, 反射原理
常微分方程式（ODE）
偏微分方程式（PDE）
非線形PDE（Navier–Stokes, NLS, KdV, Allen–Cahn）
幾何解析
リッチ流, 平均曲率流, ヤン–ミルズ, モノポール・インスタントン
エルゴード理論（Birkhoff, Pesin）, カオス, シンボリック力学
点集合位相, ホモトピー・ホモロジー, 基本群, スペクトル系列
4次元トポロジー（Donaldson/Seiberg–Witten理論）
複素/ケーラー幾何（Calabi–Yau, Hodge理論）
スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間
多面体, Helly/Carathéodory, 幾何的極値問題
ランダムグラフ/確率的方法（Erdős–Rényi, nibble法）
加法的組合せ論（Freiman, サムセット, Gowersノルム）
彩色, マッチング, マイナー理論（Robertson–Seymour）
列・順序・格子（部分順序集合, モビウス反転）
測度確率, 極限定理, Lévy過程, Markov過程, 大偏差
統計学
ノンパラメトリック（カーネル法, スプライン, ブーストラップ）
実験計画/サーベイ, 因果推論（IV, PS, DiD, SCM）
時系列（ARIMA, 状態空間, Kalman/粒子フィルタ）
二次計画, 円錐計画（SOCP, SDP）, 双対性, KKT
非凸最適化
離散最適化
整数計画, ネットワークフロー, マトロイド, 近似アルゴリズム
Littleの法則, 重み付き遅延, M/M/1, Jackson網
常微分方程式の数値解法（Runge–Kutta, 構造保存）
エントロピー, 符号化（誤り訂正, LDPC, Polar）, レート歪み
公開鍵（RSA, 楕円曲線, LWE/格子）, 証明可能安全性, MPC/ゼロ知識
計算複雑性
機械学習の数理
量子場の数理
相転移, くりこみ, Ising/Potts, 大偏差
数理生物学
数理神経科学
無裁定, 確率ボラ, リスク測度, 最適ヘッジ, 高頻度データ
データ解析
https://megalodon.jp/2025-0911-1421-23/https://note.com:443/clever_oriole745/n/nf6a05f3f542d
先週こんなnoteが出たよ。
｜
｜
｜ └─ 教科書もそう書いてあるんだからそうなんだよ (教科書固執派)
｜ └─ 学習指導要領にもそう書いてあるよ (実は書いてない派)
｜
├― 理解を深める、理解力を測るために必要なんだよ (教育論派)
｜ ｜ └─ 日本の数学の教育水準は高いよ (相関因果混同派)
｜ └─ 根拠は無いよ (論外派)
｜ └─ 逆に順序がないという証拠を見せろよ (悪魔の証明派)
｜
｜
｜ └─ 不正解を貰うことで子供は考えるよ (正解を不正解にする派)
｜ └─ この程度で萎縮するようじゃどの道挫折するよ (マッチョ派)
｜
├― 逆が正解だよ (変則肯定派)
｜
├― 順序に反対したところで教育現場は変わらないよ (消極的肯定派)
｜ ｜ └― いまさら教材つくりなおしたくないよ (惰性派)
｜
├― ベクトルとか行列とか四元数とか知らないのかよ (非可換数学派)
｜ └─ 交換可能だと不確定性原理なりたたなくなるよ (ハイゼンベルク派)
｜ └― 不確定性は破れるよ (小澤の不等式派)
｜
└― 受けと攻めははっきりしておく必要があるよ (カップリング派)
└─ 受けと攻めは交換できないよ (固定カプ派)
｜
｜ ├─ 交換法則は学習指導要領にも書いてあるよ (書いてあるよ派)
｜ ├─ 交換法則は定理だから、書いてなくても成り立つよ (ペアノ算術派)
｜
｜ ├─ 数え方で順序は入れ替わるよ (トランプ配り派)
｜ └─ 面積を教えるときどうするんだよ (縦横派)
｜
｜ ├― 順序にこだわってるの、日本の教師だけだよ (国際派)
｜ ｜ ├─ 不正解にすることで子供が萎縮するよ (萎縮危惧派)
｜ ｜ ├─ 順序を重視するなら問題文に記せよ (無記述否定派)
｜ ｜ └─ "×"を使わず独自の記号を使えよ (算術記号原理派)
｜ ├─ 算術記号の"×"と言語の"掛ける"は別物だよ (算数国語分離派)
｜ ｜ └─ ×は「掛けるまたは掛けられる」という算術記号だよ (新定義派)
｜ ├─ 順序は教えるための道具でその場限りのローカルルールだよ (順序道具派)
｜ └─ 順序があるとする根拠が何も無いよ (根拠見せろ派)
｜ └─ 戦後日本に生えてきた突然変異体だよ (ゴジラ見ろ派)
｜
└― 受けと攻めは交換可能だよ (リバ派)
├─ どっちも美味しくいただけるよ (日替わりリバ派)
位数が有限な体のことです。
集合Fに二項演算+: F×F→Fが定義され、以下の性質を満たすとき、Fは群であるという。
Fの元の個数をFの位数という。
上に加えて、さらに次の性質を満たすとき、Fをabel群という。
Fが環であるとは、2つの二項演算+: F×F→F、*: F×F→Fが定義され、以下を満たすことである。
Fが環であり、さらに以下を満たすとき、Fは可換環であるという。
Fが環であり、さらに以下を満たすとき、Fは斜体または可除環であるという。
Fが可換環であり、斜体であるとき、Fは体または可換体であるという。
位数有限な斜体は、可換体である。（Wedderburn）
逆に、任意の素数pと自然数n≧1に対して、位数p^nである体が同型を除いて一意的に存在する。q=p^nとして、この体をF_qと書く。
有限体F_qの有限拡大はF_(q^m)の形。
これはすべてGalois拡大であり、そのGalois群はFrobenius準同型
φ_q: x→x^q
が、そこに至るまでの結論はわりと複雑で、単純に論じられる問題ではない。
いちおう言っておくと、自分は旧帝大の数学科出身で、代数学・計算機科学的な議論はひととおりできるし、教育にも携わったことがある。
まず第一の論点として、少し厳密性に欠ける話なのだが、掛け算の左右は本質的には同じものではない。
つまり、（結果として交換可能かどうかではなく）意味的に交換可能か、というと、これは交換不可能である。
すなわち「掛け算の右と左は全く異なる意味を持つ」ということができると思う。
そもそも掛け算というのは、●を▲回足す、といった素朴な定義からスタートしている（現代的な数学基礎論の立場でもこのように掛け算を定義していると言ってよい）。
●を▲回足すことと、▲を●回足すことは、結果の同一性は置いておいて、少なくとも意味としては異なる話であろう。
実際、たとえば●を▲回掛けることと▲を●回掛けることを比べると、これは結果すら異なってくるわけだから、素朴に交換してよい、という話にはならない。
（数学では、非可換環だとかベクトルの作用だとかわけわからんものが山ほどあり、そこでは乗法やそれに類する演算が交換不可能なことは日常茶飯事である）
ところがこれが交換可能になってしまうというのが、「交換法則」の主張するところである。
これは掛け算そのものがその定義の中に「自明に」有している主張ではなく、定義から証明することによって主張される、いわゆる「定理」である。
するとここで「学校教育において、未だ習っていない定理をテストの解答に使用してもよいか」という第二の論点が現れる。
これに対する解答は、「よくない」である。
例えば大学入試においてロピタルの定理を使うことは、それが問題を解くために非常に役に立つにもかかわらず、許されていない。
どうしても使用する場合は、自らそれを解答用紙中で証明したうえであれば使うことができる、というルールだ。
さらにいえば、仮に交換法則を使ってもよいとして、「交換法則を使った」ことを明記せずに最初から定理適用後の姿で立式してしまうことにも疑問点が残る。
この論点でもやはり基本的には交換不能である側の意見に理があると考える。
と、言うのも、基本的に文章題においては日本語を数式に変換するための「解釈」は解き手に委ねられているからだ。
つまり、３個ずつのリンゴを５人に配りました、という日本語から「３個を５回足すんだな」と解釈することにも、「５人を３回足せばいい」と考えることにも一定の妥当さがあり、そこには読み取りの自由がある。
これは算数や数学の問題というより、日本語としての読み取り方の部分に交換可能性が潜んでいるのである。
したがって、この文章を数式にするにあたって５×３と書いても、それは何ら減点要素ではない。
まとめると、
掛け算は意味的には交換可能ではないよ→でも交換法則があるよ→でも習ってない定理は使えないよ→でも日本語の読み取りの部分に交換可能性があるよ
ってことで、左右逆に書いても丸になるというのが結論。
数学専門の修士1年です。整数論を学ぶものの端くれとして助言させていただきます。とりあえず以下の分野について勉強なさることを薦めます。
微積分なら杉浦「解析入門」がおすすめ。線形代数なら佐武「線型代数学」か斎藤「線形代数の世界」がおすすめです。
Atiyah MacDonald「可換代数入門」、雪江「代数学1・2・3」あたりがよい。辞書として松村「可換環論」を買うといいかも。
Serre「A Course in Arithmetic」とか、斎藤・黒川・加藤「数論」の6章あたりまでとか。
これらは数学科学部3〜4年のカリキュラムに含まれる基本的な知識です。先の内容を学びたい気持ちもあると思いますが、まずこれらの分野を「十分」学んでください。各分野についてどれぐらい学ぶ必要があるかというと、買った本の各章の内容について、証明の内容も含め、何も見ずにだいたい説明できるぐらい読んでください。あともちろん演習問題は全部解いてください。詳しい数学の勉強の方法は東京大学河東先生のこのページを参考にしてください。
http://www.ms.u-tokyo.ac.jp/~yasuyuki/sem.htm
ここまで勉強なさると、宇宙際タイヒミュラー理論を学ぶハードルがどれだけか、少しイメージが湧くようになると思います。もっと勉強したいと思ったら、また増田に来てください。期待しております。
http://kenmogi.cocolog-nifty.com/qualia/2010/06/post-9d62.html
日本の大学入試は「プロクラステスのベッド」とか聞いた風なことを言ってる割に、自分自身の学識のなさを暴露しているんだから噴飯ものだ。
上に挙げた東京大学の入試のように、高校までのカリキュラムに出題範囲を限定した上で、その中で人工的な難しさを追求した出題をしていると、大学入試が終わるまでは、高校生はそのカリキュラムの範囲に足踏みすることになる。
こいつ本当に、自分がリンク張ってる東大入試の問題見てみたのかと思う。どの科目も基本的な良問がおおむね揃っている（英語については言いたいこともあるがこれは日本の英語教育自体の問題になる）。専門家がこの辺の問題に全く歯が立たなければ「廃業しろ」と言われても仕方ない種の問題だ。専門から離れていたら思い出すまでに時間こそかかるだろうが、一度は身につけておかなければ教科書の内容を習得したとは言えないレベルの、基本的な知識と考え方を試す問題でしかない。この程度に深く掘り下げる能力がなければ大学での本格的な勉強になんかついて行けないだろう。
というか、アメリカの大学生の勉強量が多いのは、日本の受験勉強と同じような内容を学部教育に詰め込んでいるからという面もかなりある。日本の大学の1年後期や2年前期の電磁気学や解析力学で使う米国製の教科書の序文に「本書は学部上級生から大学院生を対象としている」とか書かれていることなんて結構ザラ。
本当は、さっさと量子力学や統計力学、線型代数か解析幾何の進んだ内容を修得すれば良いのに、１８歳の段階では、いつまで経っても高校のカリキュラムの範囲であれこれと勉強をしなければならないことになる。
解析幾何ｗｗｗｗｗ知ったかぶりがもろばれなんですけど。
あのね、解析幾何っていうのは一口に言えば平面や空間に座標を引いて図形を扱うことで、思いっきり高校範囲です。せめて位相幾何とか微分幾何とか代数幾何とか言えないかね。門前の小僧でもそのぐらいの言葉は聞きかじっておいてくれよ。あんたこそ大学で何してたのかね。
それに、あの程度の数学や物理がわからない奴に量子力学や統計力学なんて理解できないよ。なんとかごまかして線型代数の試験で単位を取ることぐらいはまあできるかもしれないけど、線型代数なんて大学入学直後に習う「イロハのイ」なわけだからねえ。
学問というものは、ある程度の段階を超えると、標準化をすることが難しくなる。どの方向に伸びていくかは、分野によっても人によっても異なるからだ。
あのね、あなたが「進んだ内容」とか言ってる「線型代数」ですら「標準化」されたレベルの内容でしかないんですが何か？いわんや高校レベルをや。
「非可換代数」とか「無限集合論」とか素人臭い用語法（せめて「非可換環論」とか「公理的集合論」とかいえよ）が気になるが、東大や京大の数学科あたりに行けば、高校時代から大学レベルの数学に手を出している学生はかなり沢山いるよ。
だいいち、東大入試レベルの普通の数学を理解せずにそんなマニアックな分野（リー環論とかならマニアックとは言えないだろうが）に手を出してもありがたみが理解できないと思うのだがどうだろうか。つーかお前、非可換って言いたいだけちゃうんかと。
こんなんに釣られている奴がブクマ見ると結構いるのが驚きだよ。
