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