wobei der Stern die unnatürliche Gruppe bezeichnet. Wenn „G“ endlich ist, gibt es einen algebraischen dualen Isomorphismus.
Wenn der Stern die algebraische Dualgruppe benötigt, ergibt sich bei endlichem „G” ein unnatürlicher Isomorphismus.