On olemassa homomorﬁsmi $\text{[math]}$ , joka määräytyy ehdosta $\text{[math]}$ . Luettele muiden alkioiden kuvat. Määrää tämän homomorﬁsmin ydin ja kuva.