it's a little bit tricky! here is an example: let be the algebra with the relation . let . note that is an ideal of because . now let be the ring of all matrices in the form where and . define the map by . then

1) for all

2) for all

3) there exist such that

i'll leave it to you to check that 1), 2) and 3) hold.