MarriageTheoremのこと

_ IACR ePrint 2014/534まで確認済み、ECCC 2003年分まで確認済み

_ 気になった論文：Groups With Two Generators Having Unsolvable Word Problem And Presentations of Mihailova Subgroups, Xiaofeng Wang and Chen Xu and Guo Li and Hanling Lin, http://eprint.iacr.org/2014/528

A presentation of a group with two generators having unsolvable word problem and an explicit countable presentation of Mihailova subgroup of F_2×F_2 with finite number of generators are given. Where Mihailova subgroup of F_2×F_2 enjoys the unsolvable subgroup membership problem.One then can use the presentation to create entities' private key in a public key cryptsystem.