donde la estrella denota el grupo antinatural. Además, cuando "G" es finito, existe un isomorfismo algebraico dual.
Donde la estrella pasa por el grupo dual algebraico, hay un isomorfismo no natural cuando ``G'' es finita.