Olkoon $\text{[math]}$ on bijektio $\text{[math]}$ , missä $\text{[math]}$ . Olkoon $\text{[math]}$ , missä $\text{[math]}$ , kaikilla $\text{[math]}$ ja $\text{[math]}$ .

a) Osoita, että $\text{[math]}$ on ryhmä.

b) Onko $\text{[math]}$ ryhmän $\text{[math]}$ aliryhmä?

c) Onko $\text{[math]}$ ryhmän $\text{[math]}$ aliryhmä?