可算群 有限生成群 離散群 副有限群でシコるスレ