自由群
free group
公理から来る自明なもの以外に元の間の等式がない群
もっとも単純な群
自由モノイド
参考
https://ja.wikipedia.org/wiki/自由群
https://tnomura9.exblog.jp/21045578/
http://sss.sci.ibaraki.ac.jp/student/btp/node20.html