自由半群の自由積における自己相似性の保存

自由半群の自由積は、片方の半群から他方の半群への準同型写像が存在する場合、自己相似的な半群となる。