Talk:Dyadic monoid

I think this redirect page should point to Free monoid, where the term might usefully be defined. The current redirect, to Modular group, which should presumably be Modular group anyway, can only be to one particular instance of the concept, even assuming that the concerns expressed on that articles talk page are resolved. Richard Pinch (talk) 06:05, 16 July 2008 (UTC)