>>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）はこちら

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