Yes ([Hirshon][1]), even if $G_1, G_2$ are not finite. Related: http://mathoverflow.net/questions/114139/ http://mathoverflow.net/questions/83395/ [1]: http://www.jstor.org/discover/10.2307/2317133?uid=3737864&uid=2&uid=4&sid=21103081075687]