「自由群」の版間の差分

'''自由群'''（じゆうぐん、''free group''）とは、公理から来る自明なもの以外に元の間に[[二項関係]]の等式がない[[群論|群]]のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。