Grup bebas: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 |
Fitur saranan suntingan: 2 pranala ditambahkan. |
||
Baris 29:
Grup gratis '' F<sub> S </sub> '' didefinisikan sebagai grup dari semua kata tereduksi dalam '' S '', dengan [[rangkaian]] kata (diikuti dengan pengurangan jika perlu) sebagai grup operasi. Identitas adalah kata kosong.
Sebuah kata disebut '''berkurang secara siklis''' jika huruf pertama dan terakhirnya tidak saling bertolak belakang. Setiap kata [[Konjugasi kelas|konjugasi]] menjadi kata yang direduksi secara siklis, dan konjugasi yang berkurang secara siklis dari kata yang dikurangi secara siklis adalah [[permutasi]] siklik dari huruf-huruf dalam kata tersebut. Contohnya ''b''<sup>−1</sup>''abcb'' tidak direduksi secara siklis, tetapi dikonjugasikan menjadi '' abc '', yang direduksi secara siklis. Konjugat '' abc '' yang berkurang secara siklis adalah '' abc '', '' bca '', dan '' cab ''.
== Sifat universal ==
Baris 45:
{{further|Grup abelian bebas}}
[[Grup abelian bebas]] pada himpunan '' S '' didefinisikan melalui properti universal dengan cara yang analog, dengan modifikasi yang jelas:
Pertimbangkan pasangan ('' F '', '' φ ''), di mana '' F '' adalah grup abelian dan ''φ'': ''S'' → ''F'' adalah sebuah fungsi. '' F '' dikatakan sebagai '' 'grup abelian bebas di' 'S' 'sehubungan dengan ''φ'' jika untuk grup abelian '' G '' dan fungsi apa pun ''ψ'': ''S'' → ''G'', ada homomorfisme yang unik ''f'': ''F'' → ''G
:''f''(''φ''(''s'')) = ''ψ''(''s''), untuk '' s '' dalam '' S ''.
|