2017年1月2日 (月) 09:18時点における版編集新規作成 (会話 \| 投稿記録) 17,390 回編集 m →‎群の表示 ← 古い編集		2018年4月20日 (金) 01:49時点における版編集取り消し Arkinjo (会話 \| 投稿記録) 15 回編集 m →‎構成新しい編集 →
15行目: ===定義=== 上の記法のもとで、''W''(Ω) の同値類の集合 ''F''(''X'') = ''W''(Ω)/~ は、積を ['''a''']['''b'''] = ['''ab'''] により定義することにより、''X'' で[[生成 (数学)\|生成]]される群になる。この群 ''F''(''X'') を文字集合 ''X'' 上の'''自由群'''という。

「自由群」の版間の差分