Se f é um homomorfismo de um conjunto B em B’ e se também é uma aplicação bijetora, dizemos que f é um isomorfismo ou que B é isomorfo a B’. Com base nessa definição, verifique se a

função (z, +) → ({ x E R/x é par}, +) x → 2x

é um homomorfismo de grupo.