>>181
モノイド M から環 A の乗法モノイドへの準同型 f：M → A があるとする。
このときモノイド環 Z[M] から A への準同型 g で f の拡張になっているものが一意に存在する。
だから Z[M] は M の拡張である環の中で最小の環と見なされるってことだろ。
これを小難しく言ってるだけだろ。