Talk:Monoid factorisation