愛想モルフィズム

I saw what I am

個人研究

SymPy 備忘録 #1 sympy.poly.polytools 周辺

個人的な備忘録.

ムゲンの実の数学 #1 有限ムゲンの実問題

n袋のムゲンの実を使って食べることができる味(実の組み合わせ)の最大値はいくつか?

段論 #3.5 下段環を用いた準加算の概論

見切れている数式はスクロールすると読めます dafuyafu.hatenablog.com 下段環の理論では,与えられた群や環についてその下のレベルの演算を持つ対象を構成する方法を導入した.巨大数論では「コンウェイのチェーン表記」等の高いレベルの演算を導入してより…

段論 #3 群・環の下段環

見切れている数式はスクロールすると読めます dafuyafu.hatenablog.com 前回までの記事で一般にモノイドの場合について下段環を構成した.今回は群や環についての理論を整理する. 群の下段環 を群, をその自由下段環とする. 命題3.1 群 がアーベル群であ…

段論 #2 自由下段環

見切れている数式はスクロールで見れます dafuyafu.hatenablog.com dafuyafu.hatenablog.com 前回の続きを書きます. 一般化 導入記事と前回の記事では与えられたモノイド上の自由群の剰余群から自然数モノイドへ準同型を作り,それを用いて下段環を定義した…

トライアドコードとグラフ理論 #2

見切れている数式はスクロールすると読めます dafuyafu.hatenablog.com 今回は前回の記事の続きです.定義などは前回の記事に倣います. 今回からはトライアドコードグラフを同型を除いて分類することを考えます.トライアドコードグラフは構成の定義から高…

トライアドコードとグラフ理論 #1

見切れている数式はスクロールで読めます 先日,オムニバス講義のグラフ理論回で, トライアドコードのグラフをつなげてメービウスの帯を作る という大変興味深い研究を知りました. ここでは詳しくは説明しませんが,「n-triad coloring」と検索すれば出て…

段論 #1 導入・簡単な例

見切れている数式はスクロールで見れます dafuyafu.hatenablog.com 本記事は,上の記事を受けて理論をより単純な形で一般化することを目的とし,前記事では触れられなかった他の例について考察を与えるものである.この記事には前記事の訂正や改良を含み,主…

モノイド上の自由群の剰余群の代数構造と準加算について

見切れている数式はスライドで表示できます. この記事では は0を含まないとし、通常の積について単位元1をもつモノイドだと考える.この記事はまずはじめに形式的な議論を述べ,次に例と考察を与える. 本論 を単位元 をもつモノイドとし,その演算を とす…

同値関係よりも弱いなにか

この記事は 日曜数学 Advent Calendar 2017 の 6 日目の記事です。前日の記事は横山明日希さん(@asunokibou)の「僕が好きな放物線の小ネタ3選」でした. asunokibou.net 前置き だふやふです.どうぞよろしくお願い致します. 僕は趣味でボーカロイド曲を作…