2021-10-28から1日間の記事一覧
自由群の剰余群で群を表示するというアプローチがある。 典型的な群論の導入では、元の集合があって、そこに演算を定義していくため、「元の集合」と「逆元の集合」とが分離しているイメージはない。一方で自由群の場合、まず自由モノイドを用意して、そこに…
自由群の剰余群で群を表示するというアプローチがある。 典型的な群論の導入では、元の集合があって、そこに演算を定義していくため、「元の集合」と「逆元の集合」とが分離しているイメージはない。一方で自由群の場合、まず自由モノイドを用意して、そこに…
