岩波数学入門辞典で「自由群」を調べると、

「群の公理で要請される以外の関係式が、どれも成り立たない群のことをいう。」

などと書かれています。

意味不明ですよね？