Hello, it is correct to say that the isomorphism of two algebraic systems must be homomorphism, because homomorphism is a mapping that keeps the structure of algebraic systems, and homomorphism is a generalization of isomorphism. Homomorphism and isomorphism are one of the most important and basic concepts in algebra. Algebraic systems and their homomorphic images have many similar operational properties. For two isomorphic algebraic systems, not only are their elements one-to-one, but they also maintain the corresponding operational relationship.