[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
978(1): 2020/05/17(日)12:15 ID:OxYJzrF1(12/22) AAS
>>975
＞4 以上の次元では、すべての有限表示群は、多様体の基本群である
これ、しれっと書いてるけど、何気にすごい結果だよね
群の表示
外部ﾘﾝｸ:ja.wikipedia.org
「集合 X から生成された自由群を F とし、
R を X 上の語からなる集合とする。
省17
980(1): 2020/05/17(日)12:23 ID:OxYJzrF1(13/22) AAS
>>978の続き
有限表示群における決定不能問題
「Novikov–Boone の定理
群に対する語の問題に対する否定的な解答として、
任意の有限表示 ⟨S | R⟩ に対して、
与えられた二つの語 u, v がその群の同じ元を定めるか否か
を決定するアルゴリズムは存在しないことが知られている。
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s