目次 自由加群と射影的加群 函手を完全にする加群を射影的加群と呼んだ。ホム函手は常に左完全であるから、これは完全列が完全列を誘導することを意味する。つまりが全射のとき、任意のに対してとなるが存在する。このようなを一般にのによる持ち上げ（lifti…

目次 前回括弧付きで（コ）と書いたのに、本文では一言も触れてないという（笑）後で適当に加えておこう。 函手 二つの圏を対応付けるものとして函手を導入する。 定義 を圏とする。の対象に対しの対象が定まり、またの射に対しの射が定まるとする。恒等射に…

目次 アーベル圏における蛇の補題の証明は長くなりそうなので、別の場所に写すことにした。 （コ）ホモロジーの長完全系列 先に示した蛇の補題がどのような場面で使われるのかを見ながら、これから我々が考えていく対象について確認しておこう。 環に対し、-…

目次 アーベル圏に対する議論は自明に思えることでもきちんと示していく必要がある。 加群の場合 加群の完全系列に対して、良く知られている補題が幾つかある。今後の議論を冗長にしないためにも、ここで示しておこう。 補題 （5項補題（five lemma）） 加群…

Math.NETとは行列計算とかできるライブラリらしい。ゲームエンジンであるUnity上で使う用途はあまりないかもしれないが、Win8.1環境で導入できたので手順を以下にメモしとく。 まずNuGetのページでnupackファイルをダウンロードする。 Unityは.NETFramework…

目次 環や加群など、ある特定の対象を一斉に扱うことを可能にする概念が圏である。圏においては個々の対象よりも、その間の結びつきから全体像を捉えることに主眼が置かれる。 圏の定義と例 定義 圏（category）とは以下の条件を満たす対象（object）と射（m…

3章まで www.dropbox.com

余代数のグラフ表現についてを書いていて思ったことでもあるのだが、次の主張は正しいのだろうか？ 主張 を環、を-加群、をその部分加群とする。 はと同型である。 実は桂利行『代数学2』の2.2節(IV)に「証明」が載っている。として、の全射性までは正しいと…

目次 議論の流れが悪いので、PDFでは前回と合わせて並び替えをするかも。 埋め込みと分離拡大 有限次ガロア拡大の理論は、分離性と正規性という二つの言葉で表された。分離性とは最小多項式が重根を持たないことであり、正規性はその根を全て含むということ…

ディズニー研究所？ の論文 Binh Huy Le, Jessica K.Hodgins. Real-time Skeletal Skinning with Optimized Centers of Rotation. Disney Research. を見つけて、試したくなりUnityで組んでみた。 一般的なソフトウェアで使われるLBS(Linear Blend Skinning)…

目次 まだ公開していないPDFにおいて、前回の記事の最後に、有限次ガロア拡大における「縦」の関係について加筆しました。ブログ上では更新するつもりはないので簡単に述べておくと、有限次ガロア拡大の中間体に対し、がガロア拡大となる同値条件（）と、そ…

Dropboxに変えてみた。新しいのも作ってあるけど取りあえず古いので様子見。 www.dropbox.com

最近、ここのUnityに関するチュートリアルが面白くて、色々遊んでいる。一般的な入門とは異なり、シェーダをフルスクラッチで書いたりしているのがマニアックで自分好み。こんな良質なチュートがあって、しかも無料で読めて（パトロン系だったのが最近、一般…

目次 自分が初めてガロア理論を学んだ時に感じたのは、多項式の分離性および体の分離拡大への導入が幾分か唐突であるという印象だった。数学的にあまり意味のない行為ではあるが、こういったギャップに自分なりの解釈を立てたいというのが私の趣味である。今…

余代数の幾つかの例はグラフを用いて表現できる余代数の剰余として表される。

誕生日は割と一致する。

その0 用語と例 少し用語を整理しよう。線型合同法により生成される疑似乱数列は、組が与えられたとき漸化式で定められる。（は整数かつを満たす。*1）が取る状態の数は有限なので、必ずどこかで軌道が交わる。つまりあるが存在してが成り立つ。このときなら…

某所でメルセンヌ・ツイスターの話題があり、その仕組みを知りたくなって勉強を始めた。とは言え疑似乱数とは何ぞや？ 程度の知識しか無いため、当面はウィキペディアの受け売りになるけど纏めていく。 まずノイマン（John von Neumann）の貢献があって計算…

目次 修正 トレースの表記： ノルムの表記： 体の生成の表記： 最小分解体の定義：13節より今節へ移動。こちらの方が普遍的。 体の同型に関する延長の一般論 補題 を体の同型、を多項式とする。をの分解体、をの分解体とする。更にをそれぞれの根とする。こ…

目次 線型写像の行列表示 体上のベクトル空間に対し、-加群としての準同型を特に線型写像（linear mapping）と呼ぶ。即ちはに対しを満たす。今の次元をそれぞれとして基底を取る。ベクトル空間の元は基底を固定することでの元による一意的な表示を持つが、そ…

zakkuring.0.2.0.pdfをDocs.comに挙げました。今まで書いた分は全部載せて、可換図式とかちゃんと書いたり色々加筆修正しています。3章書き終わったら0.3.0かなぁ。 あとダウンロードの際、特にアカウントは必要ないように変えました。よくよく考えたら意味…

目下zakkuring.0.2.0.pdfを製作中ですが、和文フォントを変えるテストを色々やったので忘れないようにメモしておく。 まず0.1.0.pdfのプリアンブルは次の通り \usepackage{luatexja} \usepackage[no-math]{fontspec} % 欧文フォント用の設定 \setmainfont[Li…

に四苦八苦しながら作りましたよ。ブログの内容をそのまま流し込んだだけですが、一先ず9節まで。で分かったのは索引作るのが凄く難しいということ。項目の選び方ってどう考えるのが妥当なのだろうか。 zakkuring0.1.2—user202281Docs.com 権利関係は一応ク…

シャドウバースが面白い。Steamでリリースされてからやり始めてるが、短い時間で気軽に遊べて何より好みの絵柄なのが良い。全カードに声が付き演出も凝っていて、過去にリリースしたゲームの資産を上手く活用しているなといった印象。ルールが単純でチュート…

の環境を一新するにあたり、理由も無くを候補の一つに考えている。の言語を全く理解しておらず、また学ぶ気にもならなかった過去を反省し、役に立つか分からないけどLuaについて学ぼうと思い立った。 ウェブにある情報を見る限り、感覚的にはJavaScriptに似…

ニコニコ動画でこんな動画を見つけたので、紹介がてらちょっと考えてみた。 内容は、人で無作為に組まれたトーナメント戦を行うとき、実力のみで勝敗が決まる場合に勝利数の幅を計算してみたというもの。組合せの数が爆発的に増えるため、全数調査なら以上だ…

目次 古典的なガロア理論は大学数学における一つの山場であるが、普通はボトムアップに論理を積み上げていくので途中で何をやっているのか良く分からなくなる。可能なら枠組みを先に示すことで見通し良く理解したい。古くから知られている考え方にガロア接続…

数学者ラマヌジャンの半生を描いた映画、『奇蹟がくれた数式』（原題：The Man Who Knew Infinity)を観てきました。監督はマシュー・ブラウン、主演としてラマヌジャン役をデヴ・パテルが、またハーディー役をジェレミー・アイアンズが演じています。伝記映…

目次 ここから数回に渡る目標として体の有限次拡大におけるガロア理論の構築を掲げたい。体の拡大における中間体と、基礎体を固定する自己同型群における部分群、これらの間にある美しい対応は19世紀数学の一つの到達点と言えよう。あるいは、ある数学的な対…

前回の続き 前回やり残した証明 マトロイドの双対がマトロイドであることを示したい。前回は(I1), (I2)を示した。 （証明）とする。まずより、あるが存在してを満たす。このときであるためが従う。に対しを拡張したい。及びに対し(I3')を用いれば、あるが存…