设f为由代数系统到代数系统的一个同态映射。如果是群，那么同态像也是群