es decir los elementos de "G*H" son palabras "reducidas" de "letras" alternadas que son elementos de los dos grupos "G" y "H" respectivamente.