>>643
>なんか、おかしな事書いてないかな？
いいや
>松本幸夫「４次元のトポロジー」2009年版 は、手元にある
>P108 に"同じ群の表示かどうか判定する一般的に有効な手続き(argorithm)は存在しない
>ということが知られている"とはあるが

じゃ、第10章　４次元の罠の冒頭p155　見てくれる？
バッチリ、こう書いてあるから

「それどころか、４次元以上の閉多様体をすべて分類することは、実は不可能なのである
　いま、G＝・・・を、＜表示＞によって与えられた任意の群とする。
　すると、この群を基本群にもつような４次元連結閉多様体が存在することが証明できる。
　・・・
　ところが§７．２の終わりにちょっと注意しておいたように、
　すべての有限表示群を分類することは不可能なことが知られている（ノビコフ）。
　したがって、すべての４次元多様体の分類も不可能なのである。」

ちなみに僕が持ってる版は1979年版　
まだフリードマンやドナルドソンの結果も得られてない頃
二人がフィールズ賞を取ったのは僕が学生の頃よね