věta 1: kde hvězda označuje algebraickou duální skupinu. Kromě toho, když je `` G'' konečné, existuje nepřirozený izomorfismus. Věta 2: Kde hvězda volá algebraickou duální skupinu, existuje nepřirozený izomorfismus, když `` G'' je konečná. Otázka: Vyjadřují věta 1 a věta 2 stejný význam? Ano nebo ne?
Ano, ano.