# homomorphism

(redirected from*homomorphic*)

Also found in: Dictionary, Thesaurus, Medical, Wikipedia.

## homomorphism

[‚hä·mə′mȯr‚fiz·əm]## Homomorphism

a concept of mathematics and logic that first appeared in algebra but proved to be very important in understanding the structure and the area of possible applications of other branches of mathematics. The concept of homomorphism applies to a set of objects with prescribed operations (or relations). Thus, a homomorphism (homomorphic mapping) of a group *G* onto a group *H* is a mapping that associates to every element G∈G a definite element h∈H (the image of *g*) and satisfies the requirements that every element of *H* is the image of some element in *G*, and the image of the product (sum) of two elements in *G* is the product (sum) of their images. For example, the mapping that associates to an integer *a* the remainder when *a* is divided by a fixed positive integer *m* is a homomorphism of the group of integers (under addition) onto the group of residues modulo *m*. (The latter consists of *m* elements represented by the remainders 0, 1, . . . , *m* - 1.) The sum of two elements is represented by the sum of the corresponding remainders possibly diminished by *m*.

## homomorphism

where the *s are the respective group operations.