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