matt grime

Uh? Why are you defining L(a) like that? L is the map of A/N to A/N, it sends cosets to cosets L[a]=[alpha(a)], and is obviously an isometry:

(L([a],L[b])= f(alpha(a)*alpha(b)) = f(a*b) hence is an isometry.