Donde la estrella denota el grupo algebraico doble. Además, cuando "G" es finito, hay un isomorfismo no natural.
Donde la estrella llama al grupo dual algebraico, hay un isomorfismo no natural cuando "G'' es finita.