Maximality of codes in free monoids
It is well known that the monoid ring of the free product of a free group and a free monoid over a skew field is a fir. We give a proof of this fact that is more direct than the proof in the literature.