Věta 1: kde hvězda označuje nepřirozenou skupinu. Kromě toho, když `` G'' je konečná, existuje algebraický dvojitý 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?
Ne, ne.