Bonjour à tous,
Je dispose d'un ensemble qui se met sous la forme suivante : où : sont des morphismes entre deux structures. ( Je ne précise pas ces structures pour l'instant ).
Alors, qu'est ce qu'il suffit de vérifier dans pour qu'il existe un élément , tel que : , soit linéaire, surjectif ?
Je précise que est l'ensemble : .
Merci d'avance.
-----