Homomorphism
The mathematical definition of group homomorphism is as follows.
Let G_{1} and G_{2} be groups with the operations O_{1} and O_{2},
respectively. A mapping M from G_{1} to G_{2} is a homomorphism
if M(O_{1}(x,y)) = O_{2}(M(x),M(y)) for all x,y \in G_{1}.
The difference from modeling is that in homomorphism the operations
are defined on the pairs of elements from the group, while in modeling
the operations are defined on pairs where the first element is
a state of the world or the model, and the second  an action,
in the world or the model, respectively.
Copyright© 1997 Principia Cybernetica 
Referencing this page


