Vravenie 1: kde hviezda označuje algebraickú duálnu skupinu. Okrem toho, keď je `` G'' konečné, existuje neprirodzený izomorfizmus Vravenie 2: Keď hviezda volá algebraickú dvojitú skupinu, existuje neprirodzený izomorfizmus, keď `` G'' je konečná. Otázka: Vyjadrujú veta 1 a veta 2 rovnaký význam? Áno alebo nie?
Áno, áno.