Bonjour.
Je me posais la question de savoir si ce qui suit est un morphisme :
On a (A,B,•) une structure telle que A et B sont des ensembles et • une loi de AxB dans A.
Etant données deux de ces structures (A,B,•) et (C,D,+)
f une application allant de A dans C
Il existe une application g de B dans D telle que : pour tous a de A et b de B : f(a•b)=f(a)+g(b).
On dirait pas, mais c'est ce que j'ai trouvé de plus proche d'un morphisme avec une loi externe.
Sinon, y a-t-il un terme plus général que morphisme incluant le cas des lois externes ?
Merci, bonne journée
-----