où l'étoile désigne le groupe contre nature. De plus, lorsque "G" est fini, il existe un double isomorphisme algébrique.
Lorsque l'étoile appelle le double groupe algébrique, il y a un isomorphisme non naturel lorsque " G " est fini.