愛想モルフィズム

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