Talk:Cohen–Hewitt factorization theorem