23/12/22 13:00:45.06 4UrQceou.net
>>727
>Manifolds in dimension 4 and above cannot be effectively classified:
>This is due to the unsolvability of the word problem for groups,
>or more precisely, the triviality problem (given a finite presentation for a group, is it the trivial group?).
>ってことですね
>これが結論じゃないですか?
質問
上記の文の意味を説明せよ
日本語訳(DeepL)はこちら
「4次元以上の多様体はエフェクティヴに分類することができない:
これは、群の語問題、より正確には、自明性問題
(ある群の有限表示が与えられたとき、それが自明な群であるかどうか)
が解けないためである。」