对，
题外话现在好像是对于阿贝尔群的同构问题解决起来很容易（就是准数分解）。但是一般群的同构目前还没有解决吧？这个可能涉及到了单群问题（虽然单群在上世纪80年代全部找出）
【 在 gtgtjing 的大作中提到: 】
: 当然不同构了
--
FROM 106.121.137.*