Esimene lause, kus täht tähistab algebrilist dualist rühma. Pealegi, kui `` G'' on lõplik, on olemas ebaloomulik isomorfism. Teine lause: Kui täht kutsub algebrilist duaalrühma, siis on olemas ebaloomulik isomorfism, kui `` G'' on lõplik. Küsimus: Kas 1. ja 2. lause tähendus on sama? Jah või ei?
Jah, ma tean.