自由群 - Wikipedia

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "自由群" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年11月) 自由群（じゆうぐん、free group）とは、公理から来る自明なもの以外に元の間の等式がない群のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。 文字の集合 X = {xλ} λ∈Λ に対し、新たに文字の集合 X-1 = {xλ-1} λ∈Λ をつくり、Ω = X ∪ X-1 とおく。 Ω に含まれる文字からなる長さ有限な文字列を、文字集合 Ω 上の語（ご、word）と呼ぶ。 Ω の二つの