Morphisme d'algèbres et image du neutre
Bonjour,
Pourriez-vous m'aider s'il vous plaît ?
Pour démontrer qu'une application ayant pour ensembles de départ et d'arrivée des algèbres, j'ai appris qu'il faut montrer que l'application est linéaire, et qu'elle est un morphisme pour la troisième loi.
J'ai cependant remarqué dans certaines démonstrations que l'on prouve également que l'image du neutre est le neutre. Est-il nécessaire de démontrer cela pour prouver que l'application est un morphisme d'algèbres ? Si les deux algèbres sont unitaires, peut-il exister des morphismes d'algèbres tels que l'image du neutre ne soit pas le neutre ?
Bien cordialement,
Germanium
Pourriez-vous m'aider s'il vous plaît ?
Pour démontrer qu'une application ayant pour ensembles de départ et d'arrivée des algèbres, j'ai appris qu'il faut montrer que l'application est linéaire, et qu'elle est un morphisme pour la troisième loi.
J'ai cependant remarqué dans certaines démonstrations que l'on prouve également que l'image du neutre est le neutre. Est-il nécessaire de démontrer cela pour prouver que l'application est un morphisme d'algèbres ? Si les deux algèbres sont unitaires, peut-il exister des morphismes d'algèbres tels que l'image du neutre ne soit pas le neutre ?
Bien cordialement,
Germanium
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Je n’ai pas compris cette phrase.
[Inutile de recopier un message présent sur le forum. Un lien suffit. AD]
Bonjour Amathoué,
Je vous prie de m'excuser pour ce manque de clarté. Une algèbre fait intervenir trois lois : deux de ces lois font de l'algèbre un K-ev (une loi interne et une loi externe), et il en existe en plus une troisième (interne). C'est de cette dernière que j'évoquais en parlant de "troisième loi".
Est-ce que cela répond à votre question, ou est-ce que le problème de compréhension était ailleurs ? Dans le second cas, n'hésitez pas à me l'indiquer.
Bien cordialement,
Germanium
Dans mon cours, il est dit explicitement qu'une algèbre ne comporte pas nécessairement d'élément neutre pour la multiplication interne. Cela doit être pour cela que la condition que l'image du neutre soit le neutre pour la multiplication n'est pas imposée.
Bien cordialement,
Germanium