Vamos analisar cada uma das alternativas em relação ao homomorfismo de anéis: A) Um homomorfismo de anéis precisa ser uma função sobrejetiva, garantindo que cada elemento do anel de destino seja mapeado por pelo menos um elemento do anel de partida. Incorreta. Um homomorfismo não precisa ser sobrejetivo; ele pode ser injetivo ou não. B) Um homomorfismo de anéis preserva a estrutura algébrica dos anéis, preserva a existência de inversos multiplicativos no anel de destino. Incorreta. Um homomorfismo não garante a preservação de inversos multiplicativos. C) Um homomorfismo de anéis não preserva a estrutura algébrica dos anéis, mas pode alterar a comutatividade da multiplicação no anel de destino. Incorreta. Um homomorfismo, por definição, preserva a estrutura algébrica. D) Um homomorfismo de anéis preserva a estrutura algébrica dos anéis e preserva a existência de inversos aditivos no anel de destino. Incorreta. Embora preserve a estrutura algébrica, não é garantido que os inversos aditivos sejam preservados no anel de destino. E) Um homomorfismo de anéis preserva a estrutura algébrica dos anéis, mas pode alterar a unidade multiplicativa no anel de destino. Correta. Um homomorfismo de anéis realmente preserva a adição e a multiplicação, mas a unidade multiplicativa não é necessariamente preservada. Portanto, a alternativa correta é: E.