Sætning 1: hvor stjernen angiver den algebraiske duale gruppe. Når `` G'' er endeligt, er der en unaturlig isomorfisme. Sætning 2: Hvor stjernen kalder den algebraiske duale gruppe, er der en unaturlig isomorfisme, når `` G'' er endeligt. Spørgsmål: Har sætning 1 og sætning 2 samme betydning? - Ja eller nej?
- Ja, det gør jeg.