段論 #2 自由下段環

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