semigroup algebras

Think i might be one the verge of a breakthrough in proving a certain isomorphism i've been working on :) hooray! i just need to try get the formulation of the map right. Could be tricky though. I'll keep working at it nonetheless!