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

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

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