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）はこちら
「４次元以上の多様体はエフェクティヴに分類することができない：
これは、群の語問題、より正確には、自明性問題
（ある群の有限表示が与えられたとき、それが自明な群であるかどうか）
が解けないためである。」