23/02/16 14:33:12.67 9RxLLE7O.net
Q. 群(もしくは位相空間、多様体等)の定義は？
A. 何であれ人は好き勝手に言葉の意味を定義できる
しかし定義しさえすれば言葉が指し示すものを
完全に理解したと言えるのか？答は断じて否だ
群の定義の３条件を満たす対象を全て列挙できるか？
有限単純群は多大な苦労の末成し遂げられた
しかし有限表示群については異なる表示の２つの群が
同型か否かを判定するアルゴリズムが存在し得ない
つまり分類など不可能ということだ
多様体についても４次元以上の場合、
任意の有限表示群についてそれを基本群とするものが
存在するからやはり同相分類は不可能だ
君がいったい如何なる動機で定義を尋ねたか知らんが
答えられたから偉いわけでもなく、
答えられないから恥ずかしいわけでもない！
…ああ、メンドクサ😮💨