目次 環や加群など、ある特定の対象を一斉に扱うことを可能にする概念が圏である。圏においては個々の対象よりも、その間の結びつきから全体像を捉えることに主眼が置かれる。 圏の定義と例 定義 圏（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）の貢献があって計算…