Talk:Group isomorphism problem
Add topicLatest comment: 7 years ago by 138.246.2.252 in topic Who solved this?
| This is the talk page for discussing improvements to the Group isomorphism problem article. This is not a forum for general discussion of the subject of the article. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Who solved this?
[edit]This article is missing one of the most basic facts: who proved this was undecidable, and when? Was it Novikov in 1955, when he proved the word problem was undecidable? --Dylan Thurston (talk) 01:02, 31 March 2016 (UTC)
There seems to be confusion between this and NP-intermediate, which implies that Group Isomorphism is not only decidable, but no worse than NP-hard. 130.126.255.15 (talk) 20:00, 1 June 2016 (UTC)
This article talks about finite _presented_ groups, while group isomorphism for finite groups is decidable and in NP. This is probably meant by the NP-intermediate article. --138.246.2.252 (talk) 12:03, 5 October 2018 (UTC)