Stelling 1: de ster staat voor de algebraïsche duale groep. Bovendien is er een onnatuurlijk isomorfisme als G'' eindig is. Waar de ster de algebraïsche duale groep noemt, is er een onnatuurlijk isomorfisme als `` G'' eindig is. Vraag: Hebben zin 1 en zin 2 dezelfde betekenis? Ja of nee?
- Ja, hoor.