「自由群」の版間の差分

二項関係では弱すぎる.
m (ロボットによる 追加: uk:Вільна група)
(二項関係では弱すぎる.)
'''自由群'''(じゆうぐん、''free group'')とは、公理から来る自明なもの以外に元の間に[[二項関係]]の等式がない[[群論|群]]のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。
 
==構成==