a) Olkoot $\text{[math]}$ ja $\text{[math]}$ ryhmiä, $\text{[math]}$ isomorﬁsmi ja $\text{[math]}$ . Osoita, että

\text{[math]}

b) Olkoon $\text{[math]}$ ryhmä ja $\text{[math]}$ . Millainen kaava saadaan a-kohdan tuloksesta, kun tarkastellaan isomorﬁsmia $\text{[math]}$ , $\text{[math]}$ ja valitaan $\text{[math]}$ .