Tenemos "G^^" isomorfo a "G", de un modo natural que es comparable al doble dual de los espacios vectoriales finito-dimensionales (un caso especial, para los espacios vectoriales reales y complejos).