Hence F is twice as long as G.
The map k is no longer continuous.
It turns out that this is independent of the representations taken (as long as they are faithful). [= provided that they are faithful]
It has long been known that......
a long-standing conjecture